Refereed
-
ISO 26262 – Tool Chain Analysis Reduces Tool Qualification Costs
Automotive 2012 – Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2012.
- [PDF]
-
Determining Potential Errors in Tool Chains — Strategies to Reach Tool Confidence According to ISO 26262
Computer Safety, Reliability and Security — 31st International Conference, SafeComp 2012, Lecture Notes in Computer Science 7612, p. 317-327, 2012.
- [PDF]
-
Model-Based Safety Cases for Software-Intensive Systems
Proc. International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2008), 2008.
- [PDF]
-
From Component Models to Function Nets?
In Mirko Conrad, Holger Giese, Bernhard Rumpe and Bernhard Schätz, editors, Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, p. 25-28, January 2007.
-
Communication Obligations and Compatibility of Embedded Software Components
Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen, colocated with Modellierung 2006, March 2006.
- [PDF]
-
Signals, States, Events, and Modes
Automotive Software Workshop in San Diego – ASWSD 2006, March 2006.
- [PDF]
-
Methodological Issues in Model-Based Testing
In Manfred Broy, Bengt Jonsson, Joost-Pieper Katoen, Martin Leucker and Alexander Pretschner, editors, Model-Based Testing of Reactive Systems, Lecture Notes in Computer Science 3472, p. 281-292, 2005.
-
An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements
In John Krogstie, Terry Halpin and Keng Siau, editors, Information Modeling Methods and Methodologies, p. 125-147. IDEA Group Publishing, 2004.
-
Model Based Testing in Incremental System Development
Journal of Systems and Software 70(3):315-329, March 2004.
-
Model-based Test Case Generation for Smart Cards
Formal Methods for Industrial Critical Systems, ENTCS 80:168-182, June 2003.
- [PDF]
-
Prototype-based Tests for Hybrid Reactive Systems
Proc. 14th IEEE Intl. Workshop on Rapid System Prototyping (RSP'03), p. 78-85. IEEE Computer Society, June 2003.
- [PDF]
-
The Automotive CASE
In B. Westfechtel and M. Nagl, editors, Modelle, Werkzeuge, Infrastrukturen zur Unterstützung von Entwicklungsprozessen, p. 211-228. Wiley, April 2003.
-
Refactoring of Programs and Specifications
In H.Kilov and K.Baclawski, editors, Practical foundations of business and system specifications, p. 281–297. Kluwer Academic Publishers, 2003.
-
Model-based Development of Embedded Systems
Advances in Object-Oriented Information Systems, Lecture Notes in Computer Science 2426, p. 298-311, 2002.
- [PDF]
-
Model-Based Development of Embedded Systems
Embedded Intelligence 2002. WEKA Fachzeitschriften-Verlag, February 2002.
- [PDF]
-
Heuristische Suche in der Testfallgenerierung
Softwaretechnik-Trends 21(3):11-12, November 2001.
-
Roots of Refactoring
Proc. 10th OOPSLA Workshop on Behavioral Semantics: Back to Basics, p. 187–199, October 2001.
-
Bridging System Views
In S. Autexier and H. Mantel, editors, VERIFY'01 – Verification Workshop of the International Joint Conference on Automated Reasoning (IJCAR), June 2001.
-
An Empirical Investigation of the Defect Detection Capabilities of Requirements Specification Languages
Sixth CAiSE/IFIP8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'01), June 2001.
- [PDF]
-
Model Based Testing in Evolutionary Software development
Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), p. 155-160. IEEE Computer Society, June 2001.
-
Diagrams for Dataflow
Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG Fachgespräch, p. 101-110, June 2000.
-
Model Checking and Random Competition A Study Using the Model Checking Framework MIC
Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG Fachgespräch, p. 91-100, June 2000.
-
Step by Step to Histories
In T. Rus, editor, AMAST'2000 - Algebraic Methodology And Software Technology, Lecture Notes in Computer Science 1816, p. 11-25. Springer, 2000.
-
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC'99: Asian Pacific Software Engineering Conference, p. 449-458. IEEE Computer Society, 1999.
-
Refinement of Pipe And Filter Architectures
In Wing, J. M., Woodcock, J. and Davies, J., editors, FM'99 - World congress on Formal Methods in the design of computing systems, Lecture Notes in Computer Science 1708, p. 96-115. Springer, 1999.
-
Eine vergleichende Fallstudie mit CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken
Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG Fachgespräch, 1999.
-
Eine vergleichende Fallstudie mit CASE-Werkzeugen für objektorientierte und funktionale Modellierungstechniken
OMER Workshop Proceedings Bericht Nr. 1999-01, 1999.
-
Formal Verification and Hardware Design with Statecharts
In B. Möller and J. V. Tucker, editors, Prospects for Hardware Foundations, Lecture Notes in Computer Science 1546, p. 356-389. Springer, 1998.
-
Entwurf und Implementierung eingebetteter Systeme
Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG Fachgespräch, 1998.
-
Advanced Design and Validation Techniques for Electronic Control Units
Proc. of the International Congress of the Society of Automotive Engineers. SAE International, 1998.
-
Refinement of Information Flow Architectures
In Michael G. Hinchey and Shaoying Liu, editors, ICFEM'97 - Formal Engineering Methods, p. 203-212. IEEE Computer Society, 1997.
-
System-Level Hardware Design with µ-Charts
CHDL'97: Hardware Description Languages and their Application. Chapman and Hall, 1997.
-
Formal Verification of Statecharts with Instantaneous Chain Reactions
TACAS'97: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1217, p. 224-238. Springer, 1997.
-
Compositional Specification of Embedded Systems with Statecharts
TAPSOFT'97: Theory and Practice of Software Development, Lecture Notes in Computer Science 1214. Springer, 1997.
-
Synthesis of Digital Circuits from Hierarchical State Machines
5th GI/ITG/GMM Workshop, p. 224-238. Universitätsverlag Trauner, April 1997.
-
Focus
Formal Development of Reactive Systems - Case Study Production Cell, LNCS 891, p. 185-197, 1995.
Unrefereed
-
Tests for mixed discrete-continuous systems
Technical Report TUM-I0301, Institut für Informatik, Technische Universität München, 2003.
- [PDF]
-
Szenarien modellbasierten Testens
Technical Report TUM-I0205, Institut für Informatik, Technische Universität München, 2002.
-
Model-based Development
Technical Report TUM-I0204, Institut für Informatik, Technische Universität München, 2002.
- [PDF]
-
Transitions into Black Box Views - The NetBill Protocol Revisited
Technical Report TUM-I0013, Institut für Informatik, Technische Universität München, 2000.
-
Verification Diagrams for Dataflow Properties
Technical Report TUM-I0005, Institut für Informatik, Technische Universität München, 2000.
-
Black Box Views of State Machines
Technical Report TUM-I9916, Institut für Informatik, Technische Universität München, 1999.
-
Entwurf verteilter Systeme im Sonderforschungsbereich 342
In K. Beiersdörfer, G. Engels and W. Schäfer, editors, Informatik'99: 29. Jahrestagung der Gesellschaft für Informatik, p. 289-296. Springer, 1999.
-
Stepwise Refinement of Data Flow Architectures
In Manfred Broy, Ernst Denert, Klaus Renzel and Monika Schmidt, editors, Software Architectures and Design Patterns in Business Applications. Technical Report TUM-I9746. Institut für Informatik, Technische Universität München, 1997.
-
Traffic Flow by Data Flow
Technical Report TUM-I9718, Institut für Informatik, Technische Universität München, 1997.
-
Symbolic Verification of Statecharts
Technical Report FTS95-37, IEICE, 1995.
- [PDF]
-
Focus
In Claus Lewerentz and Thomas Lindner, editors, Case Study "'Production Cell"' - A Comparative Study in Formal Software Development, FZI-Publictation 1/94:189-200. Forschungszentrum Informatik, Universität Karlsruhe, 1994.