Export list as BibTeX file

2016

• October 2016 Decomposition of Design Space Exploration Problems in the Context of model-based Development Sergey Zverlov In Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MODELS 2016), October 2016. CEUR. Details URL BIB
• October 2016 Usable Design Space Exploration in AutoFOCUS3 Johannes Eder and Sebastian Voss In Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with MODELS 2016, pages 51–58, October 2016. CEUR-WS. Details URL BIB
• September 2016 Building Product-lines of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Fernando Eizaguirre , Anatoly Vasilevskiy and Franck Chauvel In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details DOI BIB
• April 2016 Schedule synthesis for multi-period SW components Sebastian Voss , Johannes Eder and Bernhard Schätz In SAE 2016 World Congress and Exhibition, April 2016. SAE International. Details DOI BIB
• January 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker and Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, January 2016. Details DOI BIB
• January 2016 Factory Product Lines: Tackling the Compatibility Problem Andreas Bayha , Levi Lúcio , Vincent Aravantinos , Kenji Miyamoto and Georgeta Igna In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), January 2016. ACM. Details DOI BIB
• 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
• 2016 A Lightweight Design Space Exploration and Optimization Language Alexander Diewald , Sebastian Voss and Simon Barner In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), pages 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB
• 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
• August 2015 Efficient Impact Analysis of Changes in the Requirements of Manufacturing Automation Systems Sabine Teufl and Georg Hackenberg IFAC Proceedings Volumes, 48(3):1482–1489, August 2015. 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