Scientific publications

Export list as BibTeX file

2016

• 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan , Tewodros Beyene and Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, 2016. IEEE. Details DOI BIB
• 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan , Daniel Ratiu and Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS, pages 30-42, 2016. Springer. Details DOI BIB

2015

• September 2015 RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions Klaus Becker , Jelena Frtunikj , Meik Felser , Ludger Fiege , Christian Buckl , Stefan Rothbauer , Licong Zhang and Cornel Klein In 3rd Workshop on Critical Automotive applications - Robustness & Safety (CARS), Paris, France, September 2015. Details URL BIB
• September 2015 Optimizing Schedules for Adaptable Manufacturing Systems Nadine Keddis , Bilal Javed , Georgeta Igna and Alois Zoitl In IEEE Conference on Emerging Technologies and Factory Automation, September 2015. IEEE. Details DOI BIB
• September 2015 The SFIT tool: Supporting assembly planners to deal with new product variants Antoaneta Kondeva , Vincent Aravantinos , Lukas Hermanns and Leenhard Hörauf In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
• April 2015 Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy Systems Pragya Kirti Gupta , Klaus Becker , Markus Duchon and Bernhard Schätz In Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XI Model-Based Development of Embedded Systems, April 2015. Dagstuhl-Workshop MBEES: Eleventh Workshop on Modellbasierte Entwicklung Eingebetteter Systeme, Details URL BIB
• April 2015 Safety Case Driven Model-Based Systems Construction Sebastian Voss , Carmen Cârlan , Bernhard Schätz and Tim Kelly In Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015), April 2015. Details URL BIB
• March 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker and Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, March 2015. Details URL BIB
• 2015 An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures Martin Buechel , Jelena Frtunikj , Klaus Becker , Stephan Sommer , Christian Buckl , Michael Armbruster , Cornel Klein , Andre Marek , Andreas Zirkler and Alois Knoll In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details DOI 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), 2015. IEEE. Details DOI BIB
• 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos , Sebastian Voss , Sabine Teufl , Florian Hölzl and Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB
• 2015 Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context Bernhard Schätz , Sergey Zverlov and Sebastian Voss In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, 2015. Details DOI BIB
• 2015 Textual model-based software/system architecture documentation using MPS Vincent Aravantinos , Kenji Miyamoto , Zaur Molotnikov , Nikolaus Regnat and Bernhard Schätz In Software Engineering & Management, volume 239, pages 232-237, 2015. Details URL BIB

2014

• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow , Jean Quilbeuf , Georgeta Igna and Harald Rueß In Smart Grid Security, pages 16–29, August 2014. Springer International Publishing. Details DOI BIB
• May 2014 Deployment Calculation and Analysis for a Fail-Operational Automotive Platform Klaus Becker , Michael Armbruster , Bernhard Schätz and Christian Buckl In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), May 2014. Details URL BIB
• February 2014 Design Space Exploration and its Visualization in AutoFOCUS3 Sebastian Voss , Johannes Eder and Florian Hölzl In Software Engineering (Workshops), pages 57–66, February 2014. Details URL 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), 2014. Details DOI BIB
• 2014 A Pattern-based Approach towards Modular Safety Analysis and Argumentation Maged Khalil , Bernhard Schätz and Sebastian Voss In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, 2014. Details BIB
• 2014 A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain Maged Khalil , Alejandro Prieto and Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 137–151, 2014. Springer. Details DOI BIB
• 2014 Design Space Exploration in AutoFOCUS3 - An Overview Sebastian Voss and Sergey Zverlov In Vladimír Mařík , JoseL. Martinez Lastra and Petr Skobelev , editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, 2014. Springer, Details BIB