Refereed

  1. Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull and Rafael Zalman

    ISO 26262 – Tool Chain Analysis Reduces Tool Qualification Costs

    Automotive 2012 – Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2012.

  2. Martin Wildmoser, Jan Philipps and Oscar Slotosch

    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.

  3. Peter Braun, Jan Philipps, Bernhard Schätz and Stefan Wagner

    Model-Based Safety Cases for Software-Intensive Systems

    Proc. International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2008), 2008.

  4. Jan Philipps

    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.

  5. Peter Braun, Jan Philipps and Bernhard Schätz

    Communication Obligations and Compatibility of Embedded Software Components

    Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen, colocated with Modellierung 2006, March 2006.

  6. Peter Braun, Jan Philipps and Bernhard Schätz

    Signals, States, Events, and Modes

    Automotive Software Workshop in San Diego – ASWSD 2006, March 2006.

  7. Alexander Pretschner and Jan Philipps

    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.

  8. Erik Kamsties, Antje von Knethen, Jan Philipps and Bernhard Schätz

    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.

  9. Alexander Pretschner, Heiko Lötzbeyer and Jan Philipps

    Model Based Testing in Incremental System Development

    Journal of Systems and Software 70(3):315-329, March 2004.

  10. Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel and Kai Scholl

    Model-based Test Case Generation for Smart Cards

    Formal Methods for Industrial Critical Systems, ENTCS 80:168-182, June 2003.

  11. Gabor Hahn, Jan Philipps, Alexander Pretschner and Thomas Stauner

    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.

  12. Peter Braun, Manfred Broy, Maria Victoria Cengarle, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Martin Rappl and Robert Sandner

    The Automotive CASE

    In B. Westfechtel and M. Nagl, editors, Modelle, Werkzeuge, Infrastrukturen zur Unterstützung von Entwicklungsprozessen, p. 211-228. Wiley, April 2003.

  13. Jan Philipps and Bernhard Rumpe

    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.

  14. Bernhard Schätz, Alexander Pretschner, Franz Huber and Jan Philipps

    Model-based Development of Embedded Systems

    Advances in Object-Oriented Information Systems, Lecture Notes in Computer Science 2426, p. 298-311, 2002.

  15. Franz Huber, Jan Philipps and Oscar Slotosch

    Model-Based Development of Embedded Systems

    Embedded Intelligence 2002. WEKA Fachzeitschriften-Verlag, February 2002.

  16. Jan Philipps and Alexander Pretschner

    Heuristische Suche in der Testfallgenerierung

    Softwaretechnik-Trends 21(3):11-12, November 2001.

  17. Jan Philipps and Bernhard Rumpe

    Roots of Refactoring

    Proc. 10th OOPSLA Workshop on Behavioral Semantics: Back to Basics, p. 187–199, October 2001.

  18. Max Breitling and Jan Philipps

    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.

  19. Erik Kamsties, Antje von Knethen, Jan Philipps and Bernhard Schätz

    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.

  20. Alexander Pretschner, Heiko Lötzbeyer and Jan Philipps

    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.

  21. Max Breitling and Jan Philipps

    Diagrams for Dataflow

    Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG Fachgespräch, p. 101-110, June 2000.

  22. Alexander Wißpeintner, Franz Huber and Jan Philipps

    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.

  23. Max Breitling and Jan Philipps

    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.

  24. Jan Philipps and Oscar Slotosch

    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.

  25. Jan Philipps and Bernhard Rumpe

    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.

  26. Erik Kamsties, Antje von Knethen, Jan Philipps and Bernhard Schätz

    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.

  27. Erik Kamsties, Antje von Knethen, Jan Philipps and Bernhard Schätz

    Eine vergleichende Fallstudie mit CASE-Werkzeugen für objektorientierte und funktionale Modellierungstechniken

    OMER Workshop Proceedings Bericht Nr. 1999-01, 1999.

  28. Jan Philipps and Peter Scholz

    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.

  29. Jan Philipps and Alexander Schmidt

    Entwurf und Implementierung eingebetteter Systeme

    Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG Fachgespräch, 1998.

  30. Max Fuchs, Michael Eckrich, Olaf Müller, Jan Philipps and Peter Scholz

    Advanced Design and Validation Techniques for Electronic Control Units

    Proc. of the International Congress of the Society of Automotive Engineers. SAE International, 1998.

  31. Jan Philipps and Bernhard Rumpe

    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.

  32. Jan Philipps and Peter Scholz

    System-Level Hardware Design with µ-Charts

    CHDL'97: Hardware Description Languages and their Application. Chapman and Hall, 1997.

  33. Jan Philipps and Peter Scholz

    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.

  34. Jan Philipps and Peter Scholz

    Compositional Specification of Embedded Systems with Statecharts

    TAPSOFT'97: Theory and Practice of Software Development, Lecture Notes in Computer Science 1214. Springer, 1997.

  35. Jan Philipps and Peter Scholz

    Synthesis of Digital Circuits from Hierarchical State Machines

    5th GI/ITG/GMM Workshop, p. 224-238. Universitätsverlag Trauner, April 1997.

  36. Max Fuchs and Jan Philipps

    Focus

    Formal Development of Reactive Systems - Case Study Production Cell, LNCS 891, p. 185-197, 1995.

Unrefereed

  1. Gabor Hahn, Jan Philipps, Alexander Pretschner and Thomas Stauner

    Tests for mixed discrete-continuous systems

    Technical Report TUM-I0301, Institut für Informatik, Technische Universität München, 2003.

  2. Alexander Pretschner and Jan Philipps

    Szenarien modellbasierten Testens

    Technical Report TUM-I0205, Institut für Informatik, Technische Universität München, 2002.

  3. Bernhard Schätz, Alexander Pretschner, Franz Huber and Jan Philipps

    Model-based Development

    Technical Report TUM-I0204, Institut für Informatik, Technische Universität München, 2002.

  4. Max Breitling and Jan Philipps

    Transitions into Black Box Views - The NetBill Protocol Revisited

    Technical Report TUM-I0013, Institut für Informatik, Technische Universität München, 2000.

  5. Max Breitling and Jan Philipps

    Verification Diagrams for Dataflow Properties

    Technical Report TUM-I0005, Institut für Informatik, Technische Universität München, 2000.

  6. Max Breitling and Jan Philipps

    Black Box Views of State Machines

    Technical Report TUM-I9916, Institut für Informatik, Technische Universität München, 1999.

  7. Jan Philipps

    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.

  8. Jan Philipps and Bernhard Rumpe

    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.

  9. Jan Philipps and Alexander Schmidt

    Traffic Flow by Data Flow

    Technical Report TUM-I9718, Institut für Informatik, Technische Universität München, 1997.

  10. Jan Philipps and Tomohiro Yoneda

    Symbolic Verification of Statecharts

    Technical Report FTS95-37, IEICE, 1995.

  11. Max Fuchs and Jan Philipps

    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.