Bernhard Schätz

Tool Development

Selection of some tool-related projects:

• AutoFocus 3 - Development, Deployment, and Verification of Embedded Software
• PETE - Prolog EMF Transformation Environment Eclipse Plug-In
• ConQAT - Continuous Quality Assessment Toolkit (contributions to dataflow analysis)

Publications

A selection of recent publications. For a complete list see the TU München webpage. 

2010

• Holger Giese, Michaela Huhn, Jan Philipps, Bernhard Schätz. Modellbasierte Entwicklung eingebetteter Systeme VI. Proceedings des Dagstuhl-Workshop  WS-NR. 10052. Fortiss gGmbH, 2010.
• Elmar Juergens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner, Christoph Domann, Johnathan Streit: Can Clone Detection Support Quality Assessments of Requirements Specifications?. Proc. 32nd International Conference on Software Engineering (ICSE '10). ACM Press, 2010.
• Bernhard Schätz, Florian Hölzl, and Torbjörn Lundkvist: Design-Space Exploration through Constraint-Based Model-Transformation. 17th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, (ECBS 2010), 2010.
• Bernhard Schätz, Christian Pfaller: Integrating Component Tests to System Tests. Electr. Notes Theor. Comput. Sci. 260. 2010

2009

• Model-Based Development of Software Systems: From Models to Tools. Habilitation Thesis. Technische Universität München, 2009. 
• Structured Formalization of Service-Oriented Specifications. Markus Herrmannsdörfer, Sabine Rittmann, Bernhard Schätz. 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, (ECBS 2009), 2009.
• Model-Based Safety-Cases for Software-Intensive Systems. Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner:  Electr. Notes Theor. Comput. Sci. 238(4), 2009.
• Modellbasierte Entwicklung eingebetteter Systeme V. Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz. Proceedings des Dagstuhl-Workshop  WS-NR. 09173. Informatik- Bericht 2009-01, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2009.

2008

• Clone Detection in Automotive Model-Based Development. Florian Deissenboeck, Benjamin Hummel, Elmar Juergens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert. In: Proc. 30th International Conference on Software Engineering (ICSE '08). ACM Press, 2008
• Service-Oriented Modeling of CoCoME with Focus and AutoFocus
  Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild. In:  A. Rausch, R. Reussner, R. Mirandola, F. Plasil (Eds.): The Common Component Modeling Example: Comparing Software Component Models. LNCS 5153. Springer, 2008.
• The FlexRay Protocol. Bernhard Schätz, Christian Kühnel, Michael Gonschorek. In: N. Navet, F. Simonot-Lion, The Automotive Embedded Systems Handbook, CRC Press / Taylor and Francis, 2008.
• Formalization and Rule-Based Transformation of EMF Ecore-Based Models. Bernhard Schätz. In: Software Language Engineering (SLE 2008). LNCS 5452, Springer 2009.
• Modular Functional Descriptions. Bernhard Schätz. Electr. Notes Theor. Comput. Sci. 215, 2008.