Bernhard Schätz

Affiliations:
  • TU Munich, Department of Informatics, Germany
  • fortiss GmbH, Munich, Germany


According to our database1, Bernhard Schätz authored at least 119 papers between 1990 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Formal analysis of feature degradation in fault-tolerant automotive systems.
Sci. Comput. Program., 2018

2017
Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013).
Softw. Syst. Model., 2017

Model-based deployment generation for safety-critical avionics systems.
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

2016
Models and evolution: An introduction to the special issue.
J. Syst. Softw., 2016

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

On Using Results of Code-Level Bounded Model Checking in Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Constraint-based graceful degradation in smart grids.
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Platforms for Cyber-Physical Systems - fractal operating system and integrated development environment for the physical world.
Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016

2015
Textual model-based software/system architecture documentation using MPS.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems.
Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

An energy management system for a smart office environment.
Proceedings of the 2015 International Conference and Workshops on Networked Systems, 2015

Using knowledge discovery for autonomous decision making in smart grid nodes.
Proceedings of the IEEE International Conference on Industrial Technology, 2015

Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering.
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
Introduction to the SoSyM theme issue on models and evolution.
Softw. Syst. Model., 2014

Graph and model transformation tools for model migration - Empirical results from the transformation tool contest.
Softw. Syst. Model., 2014

Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11).
Sci. Comput. Program., 2014

The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062).
Dagstuhl Reports, 2014

Deployment Calculation and Analysis for a Fail-Operational Automotive Platform.
CoRR, 2014

A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Open Source: Innovation Platforms for MBSE?
Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

mbeddr - Extensible Languages for Embedded Software Development.
Proceedings of the 2014 Workshop on Eclipse Technology eXchange, 2014

Advancement of a Sensor Aided Smart Grid Node Architecture.
Proceedings of the 2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014

2013
On Behavioral Types for OSGi: From Theory to Implementation.
CoRR, 2013

mbeddr: instantiating a language workbench in the embedded software domain.
Autom. Softw. Eng., 2013

Using Language Engineering to Lift Languages and Analyses at the Domain Level.
Proceedings of the NASA Formal Methods, 2013

Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

Seamless Model-Based Development of Embedded Systems with AF3 Phoenix.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012
Towards a formal foundation of behavioral types for UML state-machines.
ACM SIGSOFT Softw. Eng. Notes, 2012

Formal Aspects of Component Software (FACS'09).
Sci. Comput. Program., 2012

Model-based software in-the-loop-test of autonomous systems.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

mbeddr: an extensible C-based programming language and IDE for embedded systems.
Proceedings of the SPLASH'12, 2012

Summary of the 6th International Workshop on Models and Evolution (ME 2012).
Proceedings of the 6th International Workshop on Models and Evolution, 2012

Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Towards an Extensible C for Embedded Programming.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Behavioral Specification Based Runtime Monitors for OSGi Services.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Language engineering as an enabler for incrementally defined formal analyses.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Establishing a smart grid node architecture and demonstrator in an office environment using the SOA approach.
Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, 2012

2011
Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages.
Softw. Syst. Model., 2011

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441).
Dagstuhl Reports, 2011

Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen (ESoSyM-2011).
Proceedings of the Software Engineering 2011, 2011

Workshop und Fachgruppentreffen der FG OOSE - "Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen" (ESoSyM 2011).
Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

Summary of the Second International Workshop on Models and Evolution.
Proceedings of the Models in Software Engineering, 2011

Semantic Clone Detection for Model-Based Development of Embedded Systems.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

FALTER in the Loop: Testing UAV Software in Virtual Environments.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

10 Years Model-Driven - What Did We Achieve?
Proceedings of the Second Eastern European Regional Conference on the Engineering of Computer Based Systems, 2011

Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Model-Based Development of Software Systems. From Models to Tools
, 2010

Verification of Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

The Doctoral Symposium at MODELS 2010.
Proceedings of the Models in Software Engineering, 2010

Models and Evolution - ME2010.
Proceedings of the Models in Software Engineering, 2010

The 3<sup><i>rd</i></sup> International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010).
Proceedings of the Models in Software Engineering, 2010

Test Case Integration: From Components to Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Model clone detection in practice.
Proceedings of the Proceeding of the 4th ICSE International Workshop on Software Clones, 2010

A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Can clone detection support quality assessments of requirements specifications?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Design-Space Exploration through Constraint-Based Model-Transformation.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009
Preface.
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

"Models and Evolution": Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM).
Proceedings of the Models in Software Engineering, 2009

The 2<sup>nd</sup> International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009).
Proceedings of the Models in Software Engineering, 2009

From Constraints to Design Space Exploration.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Structured Formalization of Service-Oriented Specifications.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008
Bericht des AK Requirements Engineering für eingebettete Systeme (REES).
Softwaretechnik-Trends, 2008

Integrating Component Tests to System Tests.
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Model-Based Safety-Cases for Software-Intensive Systems.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Formalization and Rule-Based Transformation of EMF Ecore-Based Models.
Proceedings of the Software Language Engineering, First International Conference, 2008

The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008).
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Vorwort zum Industriesymposium der Modellierung 2008.
Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Clone Detection in Automotive Model-Based Development.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

2007
4<sup>th</sup> Intl. ICSE workshop on Software Engineering for Automotive Systems.
ACM SIGSOFT Softw. Eng. Notes, 2007

Modellbasierte Anforderungsanalyse mit AutoRAID.
Inform. Forsch. Entwickl., 2007

Das AutoMoDe-Projekt.
Inform. Forsch. Entwickl., 2007

Modular Functional Descriptions.
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Incremental Integration of Heterogeneous Systems Views.
Proceedings of the 1st International ICST Conference on Systems Engineering and Modeling, 2007

4th International ICSE Workshop on Software Engineering for Automotive Systems.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Models of Reactive Systems - Communication, Concurrency, and Causality.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Model Evolution and Management.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Model-Based Integration.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

Service-Oriented Modeling of CoCoME with Focus and AutoFocus.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006
Szenariobasierte Modellkonstruktion und Validierung mit dem RM-Werkzeug AutoRAID.
Softwaretechnik-Trends, 2006

SoSyM special section on service-based software engineering.
Softw. Syst. Model., 2006

Combining Product Lines and Model-Based Development.
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Model-Based Engineering of Embedded Control Software.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

A Model-Based Approach To Requirements Analysis.
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005
Integrierte Entwicklung von Automotive-Software mit AutoFocus.
Inform. Forsch. Entwickl., 2005

Model-Based Requirements Engineering with AutoRAID.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

Checking and Transforming Models with AutoFOCUS.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

AutoMoDe - Model-Based Development of Automotive Software.
Proceedings of the 2005 Design, 2005

An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements.
Proceedings of the Information Modeling Methods and Methodologies, 2005

2004
Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus.
Softwaretechnik-Trends, 2004

CASE Support and Model-Based Development.
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

UML-RT - Die Lösung für eingebettete Software?
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Introducing Mobility: The mPolice Project.
Proceedings of the IT Innovation for Adaptability and Competitiveness, 2004

Model-Based Development: Combining Engineering Approaches and Formal Techniques.
Proceedings of the Formal Methods and Software Engineering, 2004

Mastering the Complexity of Reactive Systems - The AutoFocusApproach.
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003
Service-Based Systems Engineering: Consistent Combination of Services.
Proceedings of the Formal Methods and Software Engineering, 2003

Combining Aspects of Reactive Systems.
Proceedings of the Perspectives of Systems Informatics, 2003

Consistency in Model-Based Development.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002
Model-Based Development of Embedded Systems.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

2000
Consistent Integration of Formal Methods.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

10 Years Focus - Lessons learned.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform. Forsch. Entwickl., 1999

Integrating Formal Description Techniques.
Proceedings of the FM'99 - Formal Methods, 1999

Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998
Ein methodischer Übergang von asynchron zu synchron kommunizierenden Systemen.
PhD thesis, 1998

Tool Supported Specification and Simulation of Distributed Systems.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Specification Modules for Methodical System Development.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

Traffic Lights - An AutoFocus Case Study.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
Consistent Graphical Specification of Distributed Systems.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Rapid Prototyping with AutoFocus.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996
AutoFocus: A Tool for Distributed Systems Specification.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Graphical Development of Consistent System Specifications.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1990
Mapping a generator for neural network simulators to a transputer system
Forschungsberichte, TU Munich, 1990

Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem.
Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1990


  Loading...