PD Dr. rer. nat. habil.
Bernhard Schätz

Chief Scientist · Member of the Directorate
Telephone
+49 89 3603522 0

Bernhard Schätz received his Ph.D. and Habilitation degree in Informatics from the Technische Unversität München. At fortiss, he leads the research department "Software & Systems Engineering" with the fields of Analysis and Design of Dependable Systems, Optimized Design Space Exploration, Model-Based Engineering Tools, with Smart Grid, Automotive, and Automation as fields of application. Besides his scientific activities, he acts as Lecturer at the Technische Unversität München, he is co-founder and member of the advisory board of the Validas AG, and works as a consultant (incl. BW, Bosch, Eurocopter) in the field of Software Engineering.

Publications

Export list as BibTeX file

2016

2015

2014

  • Klaus Becker, Michael Armbruster, Bernhard Schätz and Christian Buckl. Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), 2014. Details BibTeX
  • Klaus Becker, Bernhard Schätz, Michael Armbruster and Christian Buckl. A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details BibTeX
  • Maged Khalil, Bernhard Schätz and Sebastian Voss. A Pattern-based Approach towards Modular Safety Analysis and Argumentation. In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, 2014. Details BibTeX
  • Markus Duchon, Pragya Kirti Gupta, Dagmar Koss, Denis Bytschkow and Bernhard Schätz. Advancement of a Sensor Aided Smart Grid Node Architecture. In 2014. Details BibTeX

2013

2012

  • Jan Olaf Blech, Yliès Falcone, Harald Rueß and Bernhard Schätz. Behavioral specification based runtime monitors for OSGi services. In . Springer, 2012. Details BibTeX
  • Jan Olaf Blech, Yliès Falcone, Harald Rueß and Bernhard Schätz. Behavioral Specification Based Runtime Monitors for OSGi Services. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pages 405–419, 2012. Details DOI BibTeX
  • Establishing a Smart Grid Node Architecture and Demonstrator in an Office Environment Using the SOA Approach, ICSE :International Workshop on Software Engineering Challenges for the Smart Grid(SE4SG), Details BibTeX
  • Daniel Ratiu, Markus Voelter, Zaur Molotnikov and Bernhard Schätz. Implementing Modular Domain Specific Language and Analyses. In MoDEVVA 2012 (MODELS Workshop), 2012. Details BibTeX
  • Daniel Ratiu, Markus Voelter, Bernhard Schätz and Bernd Kolb. Language Engineering as an Enabler for Incrementally Defined Formal Analyses. In FormSERA 2012 (ICSE Workshop), 2012. Details BibTeX
  • Markus Voelter, Daniel Ratiu, Bernd Kolb and Bernhard Schätz. mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems. In Gourab Sen Gupta, Donald Bailey, Serge Demidenko and Dale Carnegie, editor, Proceedings of Wavefront/SPLASH 2012, 2012. Details BibTeX

2011

  • Christian Buckl, Marcus Fehling, Cornel Klein and Bernhard Schätz. Mehr Software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der Zukunft. In Eva Geisberger and Manfred Broy, editor, Konferenzband 2. Automobiltechnisches Kolloqium 2011, 2011. VDI Verlag. Details BibTeX
  • Manuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanek. Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität, volume . ForTISS GmbH, , edition, 2011. Details BibTeX
  • Manuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanek. Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Zusammenfassung der Ergebnisse des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität, volume . ForTISS GmbH, , edition, 2011. Details BibTeX
  • Manuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanek. The Software Car: Information and Communication Technology (ICT) as an Engine for the Electromobility of the Future, Summary of results of the "eCar ICT System Architecture for Electromobility" research project sponsored by the Federal Ministry of Economics and Technology, volume . ForTISS GmbH, , edition, 2011. Details BibTeX