Scientific publications

2017 A Framework for Analyzing Adaptive Autonomous Aerial Vehicles Ian Mason , Vivek Nigam , Carolyn Talcott and Alisson Vasconcelos De Brito In Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, pages 406–422, 2017. Details URL DOI BIB

2017 A rewriting framework and logic for activities subject to regulations Max Kanovich , Tajana Ban Kirigin , Vivek Nigam , Andre Scedrov , Ranko Perovic and Carolyn Talcott Mathematical Structures in Computer Science, 27(3):332–375, 2017. Details URL DOI BIB

2017 Analysis of design strategies for unmanned aerial vehicles using co-simulation Jose de Sousa Barros , Thyago Oliveira , Vivek Nigam and Alisson Brito Design Autom. for Emb. Sys., 21(3-4):157–172, 2017. Details URL DOI BIB

2017 Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern Mario Gleirscher and Carmen Cârlan In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), pages 53–60, 2017. IEEE. Details DOI BIB

2017 Arguing on Software-Level Verification Techniques Appropriateness Carmen Cârlan , Barbara Gallina , Severin Kacianka and Ruth Breu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 10488 of LNCS, pages 39–54, Cham, 2017. Springer International Publishing. Details DOI BIB

2017 autoCode4: Structural Controller Synthesis Chih-Hong Cheng , Edward A. Lee and Harald Rueß In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, pages 398–404, 2017. Details DOI BIB

2017 Erstellung einer Referenzarchitektur anhand von individuellen Unternehmensanforderungen Andreas Reidt , Markus Duchon and Helmut Krcmar , ():23-42, 2017. Details BIB

2017 Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems Ben Schneider , Alois Zoitl , Monika Wenger and Jan Olaf Blech In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details URL PDF BIB

2017 Increasing Control Application Reusability through Generic Device Configuration Model Waldemar Eisenmenger , Johannes Meßmer , Monika Wenger and Alois Zoitl In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details BIB

2017 Living Safety Arguments for Open Systems Carmen Cârlan In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017. IEEE. Details DOI BIB

2017 Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng , Georg Nührenberg and Harald Rueß In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, 2017. Details BIB

2017 Minimizing Test Suites with Unfoldings of Multithreaded Programs Olli Saarikivi , Hernán Ponce de León , Kari Kähkönen , Keijo Heljanko and Javier Esparza ACM Trans. Embedded Comput. Syst., 16(2):45:1–45:24, 2017. Details DOI BIB

2017 Modeling and verifying behavioral constraints for automation systems Benjamin Brandenbourger , Milan Vathoopan and Alois Zoitl In Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on, pages 345–350, 2017. IEEE, Details BIB

2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav and Vincent Aravantinos In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, pages 300–306, 2017. Details URL BIB

2017 Multi vehicle trajectory coordination for automated parking Tobias Kessler and Alois Knoll In IEEE Intelligent Vehicles Symposium (IV), pages 661 - 666, 2017. Details URL BIB

2017 On subexponentials, focusing and modalities in concurrent systems Vivek Nigam , Carlos Olarte and Elaine Pimentel Theor. Comput. Sci., 693():35–58, 2017. Details URL DOI BIB

2017 Ontology-Based Traffic Scene Modeling, Traffic Regulations Dependent Situational Awareness and Decision-Making for Automated Vehicles Martin Buechel , Gereon Michael Hinz , Frederik Ruehl , Hans Schroth , Csaba Gyoeri and Alois Knoll In IEEE Intelligent Vehicles Symposium (IV) 2017, 2017. IEEE. Details BIB

2017 Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models Hernán Ponce de León , Florian Furbach , Keijo Heljanko and Roland Meyer In SAS, volume 10422 of Lecture Notes in Computer Science, pages 299–320, 2017. Springer. Details URL DOI BIB

2017 Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung Andreas Reidt , Markus Duchon and Helmut Krcmar Bullinger-Hoffman, Angelika, 2017. Details BIB

2017 Slow TCAM Exhaustion DDoS Attack Tulio Pascoal , Yuri Gil Dantas , Iguatemi Fonseca and Vivek Nigam In ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings, pages 17–31, 2017. Details URL DOI BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo