Liste als BibTeX-Datei exportieren

2024

• September 2024 Mitigating Conflicts in Architectural Design Decisions for Evolving Manufacturing Systems: Evaluation and Recommendations for Practitioners Tarik Terzimehić und 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 und 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 und Alois Zoitl In 28th International Conference on Emerging Technologies and Factory Automation (ETFA), September 2023. IEEE. Details DOI BIB
• Juni 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir , Michell Guzman Cancimance , Cook Alasdair , Johannes Haindl und Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 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 und Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2019. IEEE. Details DOI BIB
• Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Juli 2019. Springer, Cham. Details DOI BIB

2016

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

2015

• 2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker und 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 und 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 und Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), Seiten 100–109, Phoenix, AZ, USA, April 2013. IEEE. Details DOI BIB