Scientific publications
2016
- A Lightweight Design Space Exploration and Optimization Language 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
- Integrated Formal Methods for Constructing Assurance Cases In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, 2016. IEEE. Details DOI BIB
- On Using Results of Code-level Bounded Model Checking in Assurance 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
- RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions In 3rd Workshop on Critical Automotive applications - Robustness & Safety (CARS), Paris, France, September 2015. Details URL BIB
- Optimizing Schedules for Adaptable Manufacturing Systems In IEEE Conference on Emerging Technologies and Factory Automation, September 2015. IEEE. Details DOI BIB
- The SFIT tool: Supporting assembly planners to deal with new product variants In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
- Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy Systems 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
- Safety Case Driven Model-Based Systems Construction 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
- Deployment Calculation and Analysis for a Fault-Tolerant System Platform In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, March 2015. Details URL BIB
- An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details DOI BIB
- Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), 2015. IEEE. Details DOI BIB
- AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB
- Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, 2015. Details DOI BIB
- Textual model-based software/system architecture documentation using MPS In Software Engineering & Management, volume 239, pages 232-237, 2015. Details URL BIB
2014
- Distributed MILS architectural approach for secure smart grids In Smart Grid Security, pages 16–29, August 2014. Springer International Publishing. Details DOI BIB
- Deployment Calculation and Analysis for a Fail-Operational Automotive Platform In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), May 2014. Details URL BIB
- Design Space Exploration and its Visualization in AutoFOCUS3 In Software Engineering (Workshops), pages 57–66, February 2014. Details URL BIB
- A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB
- A Pattern-based Approach towards Modular Safety Analysis and Argumentation In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, 2014. Details BIB
- A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain 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