Scientific publications

Keywords: SMT

2023

September 2023 Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic Tarik Terzimehić, Eddie Groh and Alois Zoitl In 28th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE. Details DOI BIB
June 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir, Michell Guzman Cancimance, Cook Alasdair, Johannes Haindl and Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), IEEE. Details URL DOI BIB

September 2019 SMT-Based Deployment Calculation in Industrial Automation Domain Tarik Terzimehić, Monika Wenger, Sebastian Voss, Sten Grüner and Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), IEEE. Details DOI BIB
July 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko and Roland Meyer In Computer Aided Verification (CAV) 2019., volume 11561 of LNCS, Springer, Cham. Details DOI BIB

January 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov, Maged Khalil and Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Details URL BIB

2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker and Sebastian Voss In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), IEEE. Details DOI BIB

2014 A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems Klaus Becker, Bernhard Schätz, Michael Armbruster and Christian Buckl In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), Details DOI BIB

April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss and Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), pages 100–109, Phoenix, AZ, USA, IEEE. Details 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