Export list as BibTeX file

2015

• 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, 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, 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, Springer International Publishing. Details DOI BIB
• August 2014 Understanding and closing the gap between requirements on system and subsystem level Sabine Teufl, Wolfgang Böhm and Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, pages 77-86, 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), 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, 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), 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, 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, 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, Springer, Details BIB