Keyvisual of fortiss
Deutsch

Bernhard Schätz

Bernhard Schätz

PD Dr. rer. nat. habil. Bernhard Schätz
fortiss GmbH
Guerickestr. 25
80805 München

Phone: +49 (0)89 3603522 27
Fax: +49 (0)89 3603522 50

E-Mail: schaetz(at)fortiss.org
Web: www.fortiss.org

Tool Development

Selection of some tool-related projects:

 

  • AutoFocus 3 - Development, Deployment, and Verification of Embedded Software
  • PETEProlog 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

    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. 

    fortiss GmbH - Münchner Software und Systeme Institut

    Guerickestraße 25 | 80805 München | Deutschland
    Tel: +49 (0)89 360 35 22 0 | Fax: +49 (0)89 360 35 22 50
    info@fortiss.org | Impressum