Bernhard Schätz

Publication Activity (10 Years)

Years Active: 1990-2018
Publications (10 Years): 17

Top Venues

CoRR

Softw. Syst. Model.

ECBS

Sci. Comput. Program.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
Model-Based Safety-Cases for Software-Intensive Systems. CoRR (2018)
Klaus Becker, Sebastian Voss, Bernhard Schätz
Formal analysis of feature degradation in fault-tolerant automotive systems. Sci. Comput. Program. 154 (2018)
Georgeta Igna, Laurent Dieudonné, Sebastian Voss, Bernhard Schätz
Model-based deployment generation for safety-critical avionics systems. SIES (2017)
Ana Moreira, Bernhard Schätz, Peter J. Clarke, Antonio Vallecillo
Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013). Softw. Syst. Model. 16 (2) (2017)
Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner, Christoph Domann, Jonathan Streit
Can clone detection support quality assessments of requirements specifications? CoRR (2017)
Bernhard Schätz
Platforms for Cyber-Physical Systems - fractal operating system and integrated development environment for the physical world. EITEC@CPSWeek (2016)
Alfonso Pierantonio, Bernhard Schätz
Models and evolution: An introduction to the special issue. J. Syst. Softw. 111 (2016)
Pragya Kirti Gupta, Bernhard Schätz
Constraint-based graceful degradation in smart grids. SEsCPS@ICSE (2016)
Carmen Cârlan, Daniel Ratiu, Bernhard Schätz
On Using Results of Code-Level Bounded Model Checking in Assurance Cases. SAFECOMP Workshops (2016)
Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan F. Broenink, Bernhard Schätz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. STAF Doctoral Symposium / Showcase (2016)
David Ameller, Xavier Franch, Cristina Gómez, João Araújo, Richard Berntsson-Svensson, Stefan Biffl, Jordi Cabot, Vittorio Cortellessa, Maya Daneva, Daniel Méndez Fernández, Ana Moreira, Henry Muccini, Antonio Vallecillo, Manuel Wimmer, Vasco Amaral, Hugo Brunelière, Loli Burgueño, Miguel Goulão, Bernhard Schätz, Sabine Teufl
Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey. RE (2015)
Bernhard Schätz, Sebastian Voss, Sergey Zverlov
Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context. DAC (2015)
Pragya Kirti Gupta, Ann Katrin Gibtner, Markus Duchon, Dagmar Koss, Bernhard Schätz
Using knowledge discovery for autonomous decision making in smart grid nodes. ICIT (2015)
Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl, Bernhard Schätz
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems. ACES-MB&WUCOR@MoDELS (2015)
Cristina Rottondi, Markus Duchon, Dagmar Koss, Giacomo Verticale, Bernhard Schätz
An energy management system for a smart office environment. NetSys (2015)
Martin Törngren, Saddek Bensalem, John Alexander McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE (2015)
Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz
Textual model-based software/system architecture documentation using MPS. Software Engineering & Management (2015)
Dalila Tamzalit, Bernhard Schätz, Alfonso Pierantonio, Dirk Deridder
Introduction to the SoSyM theme issue on models and evolution. Softw. Syst. Model. 13 (2) (2014)
Klaus Becker, Bernhard Schätz, Christian Buckl, Michael Armbruster
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. CoRR (2014)
Klaus Becker, Bernhard Schätz, Michael Armbruster, Christian Buckl
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. SEFM (2014)
Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
mbeddr: extensible languages for embedded software development. HILT (2014)
Louis M. Rose, Markus Herrmannsdoerfer, Steffen Mazanek, Pieter Van Gorp, Sebastian Buchwald, Tassilo Horn, Elina Kalnina, Andreas Koch, Kevin Lano, Bernhard Schätz, Manuel Wimmer
Graph and model transformation tools for model migration - Empirical results from the transformation tool contest. Softw. Syst. Model. 13 (1) (2014)
Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
mbeddr - Extensible Languages for Embedded Software Development. ETX (2014)
Markus Duchon, Pragya Kirti Gupta, Dagmar Koss, Denis Bytschkow, Bernhard Schätz, Sebastian Wilzbach
Advancement of a Sensor Aided Smart Grid Node Architecture. CyberC (2014)
Bernhard Schätz
Open Source: Innovation Platforms for MBSE? OSS4MDE@MoDELS (2014)
Dominique Méry, Bernhard Schätz, Alan Wassyng
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports 4 (2) (2014)
Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
Model Evolution and Management. CoRR (2014)
Gwen Salaün, Bernhard Schätz
Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11). Sci. Comput. Program. 80 (2014)
Daniel Ratiu, Markus Voelter, Bernd Kolb, Bernhard Schätz
Using Language Engineering to Lift Languages and Analyses at the Domain Level. NASA Formal Methods (2013)
Sebastian Voss, Bernhard Schätz
Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications. ECBS (2013)
Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss
Seamless Model-Based Development of Embedded Systems with AF3 Phoenix. ECBS (2013)
Jan Olaf Blech, Harald Rueß, Bernhard Schätz
On Behavioral Types for OSGi: From Theory to Implementation. CoRR (2013)
Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz
mbeddr: instantiating a language workbench in the embedded software domain. Autom. Softw. Eng. 20 (3) (2013)
Sebastian Voss, Bernhard Schätz
Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories. MBEES (2012)
Markus Voelter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb
mbeddr: an extensible C-based programming language and IDE for embedded systems. SPLASH (2012)
Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz
Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) (2012)
Dalila Tamzalit, Bernhard Schätz, Jonathan Sprinkle, Alfonso Pierantonio
Summary of the 6th International Workshop on Models and Evolution (ME 2012). ME@MoDELS (2012)
Andreas Bayha, Franziska Grüneis, Bernhard Schätz
Model-based software in-the-loop-test of autonomous systems. SpringSim (TMS-DEVS) (2012)
Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb
Language engineering as an enabler for incrementally defined formal analyses. FormSERA@ICSE (2012)
Dagmar Koß, Denis Bytschkow, Pragya Kirti Gupta, Bernhard Schätz, Florian Sellmayr, Steffen Bauereiß
Establishing a smart grid node architecture and demonstrator in an office environment using the SOA approach. SE4SG@ICSE (2012)
Jan Olaf Blech, Bernhard Schätz
Towards a formal foundation of behavioral types for UML state-machines. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Sun Meng, Bernhard Schätz
Formal Aspects of Component Software (FACS'09). Sci. Comput. Program. 78 (1) (2012)
Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb
Towards an Extensible C for Embedded Programming. MBEES (2012)
Gregor Engels, Bernhard Schätz, Matthias Riebisch, Christian Zeidler
Workshop und Fachgruppentreffen der FG OOSE - "Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen" (ESoSyM 2011). Software Engineering (2011)
Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel
Semantic Clone Detection for Model-Based Development of Embedded Systems. MoDELS (2011)
Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss
FALTER in the Loop: Testing UAV Software in Virtual Environments. MBEES (2011)
Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz
Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages. Softw. Syst. Model. 10 (3) (2011)
Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss
Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments. ECBS (2011)
Bernhard Schätz
10 Years Model-Driven - What Did We Achieve? ECBS-EERC (2011)
Matthias Riebisch, Gregor Engels, Bernhard Schätz, Christian Zeidler
Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen (ESoSyM-2011). Software Engineering (Workshops) (2011)
Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). Dagstuhl Reports 1 (11) (2011)
Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Jonathan Sprinkle, Dalila Tamzalit
Summary of the Second International Workshop on Models and Evolution. MoDELS (Workshops) (2011)
Bernhard Schätz
From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages. COMPSAC (2011)
Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner, Christoph Domann, Jonathan Streit
Can clone detection support quality assessments of requirements specifications? ICSE (2) (2010)
Bernhard Schätz, Brian Elvesæter
The Doctoral Symposium at MODELS 2010. MoDELS (Workshops) (2010)
Bernhard Schätz, Christian Pfaller
Integrating Component Tests to System Tests. Electron. Notes Theor. Comput. Sci. 260 (2010)
Bernhard Schätz
Verification of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Marko Boskovic, Daniela Cancila, Claus Pahl, Bernhard Schätz
International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010). MoDELS (Workshops) (2010)
Bernhard Schätz, Christian Pfaller
Test Case Integration: From Components to Systems. MBEES (2010)
Bernhard Schätz
Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain. ISoLA (1) (2010)
Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Michael Pfaehler, Bernhard Schätz
Model clone detection in practice. IWSC (2010)
Sun Meng, Bernhard Schätz
Preface. Electron. Notes Theor. Comput. Sci. 263 (2010)
Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist
Design-Space Exploration through Constraint-Based Model-Transformation. ECBS (2010)
Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit
Models and Evolution - ME2010. MoDELS (Workshops) (2010)
Stefan Wagner, Bernhard Schätz, Stefan Puchner, Peter Kock
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models. ISSRE (2010)
Dalila Tamzalit, Dirk Deridder, Bernhard Schätz
"Models and Evolution": Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM). MoDELS (Workshops) (2009)
Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
Model-Based Safety-Cases for Software-Intensive Systems. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz
International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). MoDELS (Workshops) (2009)
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz
Structured Formalization of Service-Oriented Specifications. ECBS (2009)
Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist
From Constraints to Design Space Exploration. MBEES (2009)
Bernhard Schätz
Modular Functional Descriptions. Electron. Notes Theor. Comput. Sci. 215 (2008)
Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz
The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008). MoDELS (Workshops) (2008)
Bernhard Schätz
Bericht des AK Requirements Engineering für eingebettete Systeme (REES). Softwaretechnik-Trends 28 (1) (2008)
Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert
Clone detection in automotive model-based development. ICSE (2008)
Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert
Clone Detection in Automotive Model-Based Development. MBEES (2008)
Bernhard Schätz
Vorwort zum Industriesymposium der Modellierung 2008. Modellierung (2008)
Bernhard Schätz
Formalization and Rule-Based Transformation of EMF Ecore-Based Models. SLE (2008)
Bernhard Schätz
Combining Product Lines and Model-Based Development. Electron. Notes Theor. Comput. Sci. 182 (2007)
Mario Gleirscher, Daniel Ratiu, Bernhard Schätz
Incremental Integration of Heterogeneous Systems Views. ICSEM (2007)
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
AutoMoDe - Model-Based Development of Automotive Software CoRR (2007)
Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion (2007)
Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
Intl. ICSE workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes 32 (4) (2007)
Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz
Model-Based Integration. Model-Based Engineering of Embedded Real-Time Systems (2007)
Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild
Service-Oriented Modeling of CoCoME with Focus and AutoFocus. CoCoME (2007)
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems (2007)
Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
Model Evolution and Management. Model-Based Engineering of Embedded Real-Time Systems (2007)
Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein
Das AutoMoDe-Projekt. Inform. Forsch. Entwickl. 22 (1) (2007)
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems (2007)
Eva Geisberger, Bernhard Schätz
Modellbasierte Anforderungsanalyse mit AutoRAID. Inform. Forsch. Entwickl. 21 (3-4) (2007)
Bernhard Schätz, Holger Giese
Models of Reactive Systems - Communication, Concurrency, and Causality. Model-Based Engineering of Embedded Real-Time Systems (2007)
Bernhard Schätz
Model-Based Engineering of Embedded Control Software. MDB/MOMPES (2006)
Eva Geisberger, Bernhard Schätz
Szenariobasierte Modellkonstruktion und Validierung mit dem RM-Werkzeug AutoRAID. Softwaretechnik-Trends 26 (1) (2006)
Bernhard Schätz, Eva Geisberger, Johannes Grünbauer
A Model-Based Approach To Requirements Analysis. MMOSS (2006)
Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz
SoSyM special section on service-based software engineering. Softw. Syst. Model. 5 (2) (2006)
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
AutoMoDe - Model-Based Development of Automotive Software. DATE (2005)
Andreas Bauer, Jan Romberg, Bernhard Schätz
Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform. Forsch. Entwickl. 19 (4) (2005)
Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister
Model-Based Requirements Engineering with AutoRAID. GI Jahrestagung (2) (2005)
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
Checking and Transforming Models with AutoFOCUS. ECBS (2005)
Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker
CASE Support and Model-Based Development. Modellierung (2004)
Andreas Bauer, Jan Romberg, Bernhard Schätz
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) (2004)

Bernhard Schätz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Schätz