TU München - Fakultät für Informatik
Software & Systems Engineering Research Group

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

Selected Publications

   Books:

• M. Broy, K. Stoelen
  Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
  Springer, 2001
   
• M. Spichkova
  Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle
  Vdm Verlag Dr. Müller, 2008, ISBN-10: 3836494523, ISBN-13: 978-3836494526

   Contributions to Books:

• Christian Kühnel, Maria Spichkova
  Software Engineering of Fault Tolerant Systems
  Eds.: P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky
  In Software Engineering and Knowledge Engineering, volume 19, pp. 175-198, World Scientific Publishing, 2007

• J. Botaschanjan, M. Broy, A. Gruler, A. Harhurin, S. Knapp, L. Kof, W. Paul, M. Spichkova
  On the Correctness of Upper Layers of Automotive Systems
  In: Formal Aspects of Computing (FACS), 2008 Vol. 20 No. 6, pp. 637-662
• Max Fuchs, Jan Philipps
  Formal Development of a Production Cell in Focus - A Case Study
  In Formal Development of Reactive Systems, number LNCS 891, 1995
   

   Refereed Conference/Workshop Papers:

• M. Spichkova
  Focus on Isabelle: From Specification to Verification
  In Theorem Proving in Higher-Order Logics (TPHOLs 2008), Eds.: Otmane Ait Mohamed, César Muñoz, Sofiène Tahar, Concordia University, 2008
   
• M. Spichkova
  Refinement-based verification of interactive real-time Systems
  In Proceedings of the REFINE 2008 -- International Refinement Workshop, ENTCS, Volume 214, pp. 131-157, 2008
   
• M. Broy, J. Fox, F. Hölzl, D. Koss, M. Kuhrmann, M. Meisinger, B. Penzenstadler, S. Rittmann , B. Schätz, M. Spichkova, D. Wild
  Service-Oriented Modeling CoCoME with Focus/AutoFocus
  In The Common Component Modeling Example. Comparing Software Component Models, Volume 5153, pp. 177-206, Springer, 2007
   
• C. Kühnel, M. Spichkova
  Upcoming Automotive Standards For Fault Tolerant Communication: FlexRay and OSEKtime FTCom.
  In Proceedings of the EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems, 12 pages, Universite du Luxembourg, CSC: Computer Science and Communication, 2006
   
• J. Botaschanjan, A. Gruler, A. Harhurin, L. Kof, M. Spichkova, D. Trachtenherz
  Towards Modularized Verification of Distributed Time-Triggered Systems.
  Eds.: Jayadev Misra, Tobias Nipkow, and Emil Sekerinski
  In Proceedings of the Formal Methods 2006, volume 4085 of LNCS, pp. 163-178, Springer, McMaster University, Hamilton ON, Canada, 2006
   
• M. Broy
  Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures - The Janus Approach
  In Engineering Theories of Software Intensive Systems
  2005
• J. Botaschanjan, L. Kof, C. Kühnel, M. Spichkova
  Towards Verified Automotive Software
  In Proceedings of the 2nd International ICSE workshop on Software (SEAS '05), pp. 1-6, ACM Press, New York, 2005
   
• Bernhard Schätz, Katharina Spies
  10 Years Focus -- Lessons Learned
  In 10.GI/ITG-Fachgespräch -- Formale Beschreibungstechniken für verteilte Systeme, Lübeck, J. Grubowski, S. Heyman (Eds.), 2000
   
• Max Breitling, Ursula Hinkel, Katharina Spies
  Formale Entwicklung verteilter, reaktiver Systeme mit FOCUS
  In Formale Beschreibungstechniken für Verteilte Systeme, 8. GI/ITG Fachgespräch, Hartmut König, Peter Langendörfer (Eds.), pp. 63 - 74, Shaker Verlag, Aachen, 1998
   
• Ursula Hinkel, Katharina Spies
  Spezifikationsmethodik für mobile, dynamische FOCUS-Netze
  GMD Verlag (St.Augustin), 1997
   
• Ketil Stoelen
  Development of SDL Specifications in Focus In Proceedings SDL Forum 95, Amadeo Sarma, Rolf Braek (Eds.), 1995
   
• Eckhardt Holz, Ketil Stoelen
  An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
  In Proc. Forte'94, Dieter Hogrefe, Stephan Leue (Eds.), pp. 324 - 339, 1994
   
• Max Fuchs, Michael Mendler
  Functional Semantics for Delta-Delay VHDL based on Focus
  In Formal Semantics for VHDL, C. Delgado Kloos, P. Breuer (Eds.), ch. 1, 1994
   

• M. Spichkova
  Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle
  Technische Universität München, 2007
   
• Katharina Spies
  Eine Methode zur formalen Modellierung von Betriebssystemkonzepten
  Technische Universität München, 1998
   

• M. Spichkova
  Refinement-Based Specification and Verification (Short Version)
  Dagstuh Research Seminar on Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl Castle, Germany, 2009
   
• M. Feilkas, A. Fleischmann, F. Hölzl, C. Pfaller, K. Scheidemann, M. Spichkova, D. Trachtenherz
  A Top-Down Methodology for the Development of Automotive Software
  Technical Report I0902, 84 pages, Technische Universität München, 2008
   
• M. Spichkova, J. Jürjens
  Formal Specification of Cryptographic Protocols and Their Composition Properties
  Technical Report I0823, 50 pages, Technische Universität München, 2008
   
• M. Spichkova
  FlexRay: Verification of the FOCUS Specification in Isabelle/HOL. A Case Study.
  Technical Report TUM-I0602, 26 pages, Technische Universität München, 2006
   
• C. Kühnel, M. Spichkova
  FlexRay und FTCom: Formale Spezifikation in FOCUS
  Technical Report I0601, 33 pages, Technische Universität München, 2006
   
• Johann Schumann, Max Breitling
  Formalisierung und Beweis einer Verfeinerung aus FOCUS mit automatischen Theorembeweisern - Fallstudie
  Technical Report I9904, Technische Universität München, 1999
   
• Ursula Hinkel
  Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus
  Technical Report I9808, Technische Universität München, 1998
   
• Max Breitling
  Fomalizing and Verifying TimeWarp with FOCUS
  Technical Report I9744, Technische Universität München, 1997
   
• Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies
  Summary of Case Studies in Focus - Part II
  Technical Report I9740, Technische Universität München, 1997
   
• Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies
  The Steamboiler Specification - A Case Study in Focus
  Technical Report I9714, Technische Universität München, 1997
   
• Ursula Hinkel, Katharina Spies
  Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen
  Technical Report I9639, Technische Universität München, 1996
   
• Olaf Müller, Peter Scholz
  Specification of Real-Time and Hybrid Systems in FOCUS
  Technical Report I9627, Technische Universität München, 1996
   
• Bernhard Schätz, Katharina Spies
  Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik
  Technical Report I9529, Technische Universität München, 1995
   
• Eckhardt Holz, Ketil Stoelen
  An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
  Technical Report I9418, Technische Universität München, 1994
   
• Manfred Broy, Max Fuchs, Thomas F. Gritzner, Bernhard Schätz, Katharina Spies, Ketil Stølen
  Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
  Technical Report I9423, Technische Universität München, 1994
   
• Claus Dendofer, Rainer Weber
  Development and Implementation of a Communication Protocol - An Exercise in FOCUS
  Technical Report TUM-I9205, Technische Universität München, 1992
   
• M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, R. Weber
  Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
  Technical Report I9203, Technische Universität München, 1992
   
• Manfred Broy, Frank Dederich, Claus Dendorfer, Max Fuchs, Thomas Gritzner, Rainer Weber
  The Design of Distributed Systems - An Introduction to FOCUS
  Technical Report I9202, Technische Universität München, 1992