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

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

Bernhard Schätz promovierte und habilitierte in Informatik an der Technischen Universität München. Er leitet den Fachbereich "Software & Systems Engineering" am Forschungsinstitut fortiss mit den Themen Analyse und Entwurf verlässlicher Systeme, Entwurfsoptimierung, und werkzeuggestützte modellbasierte Entwicklung, mit Smart Grid, Automotive und Automation als Anwendungsgebiete. Neben seinen wissenschaftlichen Aktivitäten ist er als Privatdozent an der TU München tätig, ist Gründungsmitglied und Aufsichtsrat der Validas AG und berät Unternehmen (u.a. BMW, Bosch, Eurocopter) im Bereich Software Engineering.

Veröffentlichungen

Liste als BibTeX-Datei exportieren

2016

2015

  • An Energy Management System for a Smart Office Environment, Workshop on Middleware for a Smarter Use of Electric Energy, Details BibTeX
  • Bernhard Schätz, Sergey Zverlov und Sebastian Voss. Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context. In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, 2015. Details BibTeX
  • Klaus Becker und Bernhard Schätz. Deployment Calculation and Analysis for a Fault-Tolerant System Platform. In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, 2015. Details BibTeX
  • Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy Systems, Dagstuhl-Workshop MBEES: Eleventh Workshop on Modellbasierte Entwicklung Eingebetteter Systeme, Details BibTeX
  • Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat und Bernhard Schätz. Textual model-based software/system architecture documentation using MPS. In Software Engineering & Management, volume 239, pages 232-237, 2015. Details BibTeX
  • Pragya Kirti Gupta, Ann Katrin Gibtner, Markus Duchon, Dagmar Koss und Bernhard Schätz. Using Knowledge Discovery for Autonomous Decision Making in Smart Grid Nodes. In 2015. Details BibTeX

2014

  • Klaus Becker, Michael Armbruster, Bernhard Schätz und 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 und 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 und 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 und 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ß und Bernhard Schätz. Behavioral specification based runtime monitors for OSGi services. In . Springer, 2012. Details BibTeX
  • Jan Olaf Blech, Yliès Falcone, Harald Rueß und 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 und 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 und 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 und Bernhard Schätz. mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems. In Gourab Sen Gupta, Donald Bailey, Serge Demidenko und Dale Carnegie, editor, Proceedings of Wavefront/SPLASH 2012, 2012. Details BibTeX

2011

  • Christian Buckl, Marcus Fehling, Cornel Klein und Bernhard Schätz. Mehr Software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der Zukunft. In Eva Geisberger und 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 und 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 und 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 und 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