Wissenschaft­liche Publikationen

Liste als BibTeX-Datei exportieren

2016

• 2016 A Lightweight Design Space Exploration and Optimization Language Alexander Diewald , Sebastian Voss und Simon Barner In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), Seiten 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB
• 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan , Tewodros Beyene und Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Seiten 221–228, 2016. IEEE. Details DOI BIB
• 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan , Daniel Ratiu und Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 9923 von LNCS, Seiten 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 und 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 und 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 und 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 und 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 und 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
• März 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker und Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), Seiten 100-109, März 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 und 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 und 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 und Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 Ausgabe, 2015. Details URL BIB
• 2015 Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context Bernhard Schätz , Sergey Zverlov und 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 und Bernhard Schätz In Software Engineering & Management, Band 239, Seiten 232-237, 2015. Details URL BIB

2014

• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow , Jean Quilbeuf , Georgeta Igna und Harald Rueß In Smart Grid Security, Seiten 16–29, August 2014. Springer International Publishing. Details DOI BIB
• Mai 2014 Deployment Calculation and Analysis for a Fail-Operational Automotive Platform Klaus Becker , Michael Armbruster , Bernhard Schätz und Christian Buckl In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), Mai 2014. Details URL BIB
• Februar 2014 Design Space Exploration and its Visualization in AutoFOCUS3 Sebastian Voss , Johannes Eder und Florian Hölzl In Software Engineering (Workshops), Seiten 57–66, Februar 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 und 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 und 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 und Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Band 8822 von LNCS, Seiten 137–151, 2014. Springer. Details DOI BIB