Publications
- Formal analysis of feature degradation in fault-tolerant automotive systems Science of Computer Programming, 154(1):89–133, March 2018. Details DOI BIB
- Schedule synthesis for multi-period SW components In SAE 2016 World Congress and Exhibition, April 2016. SAE International. Details DOI BIB
- FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry 2016. Details URL 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
- 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 Energy Management System for a Smart Office Environment Workshop on Middleware for a Smarter Use of Electric Energy, Details 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
- Using Knowledge Discovery for Autonomous Decision Making in Smart Grid Nodes In 2015. Details 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
- 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
- Advancement of a Sensor Aided Smart Grid Node Architecture In 2014. Details BIB
- Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), pages 100–109, Phoenix, AZ, USA, April 2013. IEEE. Details DOI BIB
- Seamless Model-based Development of Embedded Systems with AF3 Phoenix In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), pages 212, April 2013. Details DOI BIB
- On Behavioral Types for OSGi: From Theory to Implementation CoRR, abs/1306.6115():, 2013. Details URL BIB
- Towards Modular Certification using Integrated Model-Based Safety Cases In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB
- Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, February 2012. Details URL BIB
- Behavioral Specification Based Runtime Monitors for OSGi Services In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pages 405–419, 2012. Details URL DOI BIB
- Behavioral specification based runtime monitors for OSGi services In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, . Springer, 2012. Details BIB
- Establishing a Smart Grid Node Architecture and Demonstrator in an Office Environment Using the SOA Approach ICSE :International Workshop on Software Engineering Challenges for the Smart Grid(SE4SG), Details BIB
- Implementing Modular Domain Specific Language and Analyses In MoDEVVA 2012 (MODELS Workshop), 2012. Details BIB
- Language Engineering as an Enabler for Incrementally Defined Formal Analyses In FormSERA 2012 (ICSE Workshop), 2012. Details BIB
- mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems In Gourab Sen Gupta , Donald Bailey , Serge Demidenko and Dale Carnegie , editor, Proceedings of Wavefront/SPLASH 2012, 2012. Details BIB
- Model-based software in-the-loop-test of autonomous systems In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, 2012. Society for Computer Simulation International. Details URL BIB
- A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study February 2011. Details URL BIB
- FALTER in the Loop: Testing UAV Software in Virtual Environments In Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011. Details BIB
- Mehr Software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der Zukunft In Eva Geisberger and Manfred Broy , editor, Konferenzband 2. Automobiltechnisches Kolloqium 2011, 2011. VDI Verlag. Details BIB
- Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität volume . ForTISS GmbH, , edition, 2011. Details BIB
- Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Zusammenfassung der Ergebnisse des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität volume . ForTISS GmbH, , edition, 2011. Details BIB
- Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments In Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011. IEEE. Details DOI BIB
- The Software Car: Information and Communication Technology (ICT) as an Engine for the Electromobility of the Future, Summary of results of the "eCar ICT System Architecture for Electromobility" research project sponsored by the Federal Ministry of Economics and Technology volume . ForTISS GmbH, , edition, 2011. Details BIB