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

Werkzeugentwicklung

Auswahl einiger werkzeugorientierter Projekte:

AutoFocus 3 - Entwicklung, Deployment und Verifikation von eingebetteter Software
PETE - Prolog EMF Transformation Environment Eclipse Plug-In
ConQAT - Continuous Quality Assessment Toolkit (Beiträge zu Analysis von Datenflussmodellen)

Eine Auswahl aktueller Veröffentlichungen. Eine vollständigere Liste findet sich auf der TU München Webseite.

Bakr Al-Batran, Bernhard Schätz and Benjamin Hummel. Semantic Clone Detection for Model-Based Development of Embedded Systems. 14th International Conference on Model Driven Engineering Languages and Systems (MoDELS'11), 2011.
Florian Mutter, Bernhard Schätz and Stefanie Gareis. Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments. 18th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, (ECBS 2011), 2011.
Bernhard Schätz. Saying Hello World with PETE - A Solution to the TTC 2011 Instructive Case. Proceedings of the 2011 TOOLS Workshop Transformation Tool Contest, 2011.

Bernhard Schätz. Verification of Model Transformations. Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, Electronic Communications of the EASST, 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

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.

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.