Export list as BibTeX file

2024

• September 2024 Mitigating Conflicts in Architectural Design Decisions for Evolving Manufacturing Systems: Evaluation and Recommendations for Practitioners Tarik Terzimehić and Alois Zoitl In 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, September 2024. IEEE. Details BIB
• August 2024 Multidimensional Design Space Exploration for Evolving Manufacturing Systems: Interplay of Deployment, Topology, and Production Planning Architectural Decisions Tarik Terzimehić , Daniel Erler and Alois Zoitl IEEE Transactions on Industrial Informatics, (Early Access):1-12, August 2024. Details DOI BIB

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), September 2023. 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), June 2023. IEEE. Details URL DOI BIB

2019

• 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), September 2019. 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, July 2019. Springer, Cham. Details DOI BIB

2016

• 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), January 2016. Details URL BIB

2015

• 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), 2015. IEEE. Details DOI BIB

2014

• 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), 2014. Details DOI BIB

2013

• 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, April 2013. IEEE. Details DOI BIB