Scientific publications

2018 Compact and efficiently verifiable models for concurrent systems Hernán Ponce de León and Andrey Mokhov Formal Methods in System Design, 53():407–431, 2018. Details DOI BIB

2018 Comprehensive View on Architectural Requirements for Maintenance Information Systems Andreas Reidt, Helmut Krcmar and Stefan Schuhbäck volume , pages 249-257, , edition, 2018. , . Details BIB

2018 Connecting PLCs with their Asset Administration Shell for Automatic Device Configuration Monika Wenger, Thorsten Müller and Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), Details BIB

2018 Deep Reinforcement Learning for Predictive Longitudinal Control of Automated Vehicles Martin Buechel and Alois Knoll In Proceedings of the 21st International Conference on Intelligent Transportation Systems (ITSC), pages 2391-2397, IEEE. Details URL DOI BIB

2018 Developing self-similar hybrid control architecture based on sgam-based methodology for distributed microgrids Pragya Kirti Gupta and Markus Duchon In Details BIB

2018 Early Take-Over Preparation in Stereoscopic 3D Gesa Wiegand, Christian Mai, Yuanting Liu and Heinrich Hußmann In Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, pages 142–146, ACM. Details URL DOI BIB

2018 Effect-dependent transformations for concurrent programs Nick Benton, Martin Hofmann and Vivek Nigam Sci. Comput. Program., 155():27–51, 2018. Details URL DOI BIB

2018 Enable Co-Simulation for Industrial Automation by an FMU Exporter for IEC 61499 Models Jose Cabral, Monika Wenger and Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), Details BIB

2018 Evidential and Continuous Integration of Software Verification Tools Tewodros Beyene and Harald Rueß In Formal Methods, pages 679-685, Cham, Springer International Publishing. Details BIB

2018 Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee and David Aspinall In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018) - Poznan, Poland, Details 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