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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2018
Sci. Comput. Program., 2018
2017
Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013).
Softw. Syst. Model., 2017
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017
2016
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
Proceedings of the Computer Safety, Reliability, and Security, 2016
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
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
Proceedings of the 2015 International Conference and Workshops on Networked Systems, 2015
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
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
CoRR, 2014
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 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
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
Proceedings of the 2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014
2013
Autom. Softw. Eng., 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the 2012 Spring Simulation Multiconference, 2012
Proceedings of the SPLASH'12, 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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
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
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
Proceedings of the Models in Software Engineering, 2011
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
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Models in Software Engineering, 2010
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
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010
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
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010
2009
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
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
2008
Softwaretechnik-Trends, 2008
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008
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
Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008
2007
ACM SIGSOFT Softw. Eng. Notes, 2007
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007
Proceedings of the 1st International ICST Conference on Systems Engineering and Modeling, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
2006
Softwaretechnik-Trends, 2006
Softw. Syst. Model., 2006
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006
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
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006
2005
Inform. Forsch. Entwickl., 2005
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
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
Softwaretechnik-Trends, 2004
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004
Proceedings of the IT Innovation for Adaptability and Competitiveness, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004
2003
Proceedings of the Formal Methods and Software Engineering, 2003
Proceedings of the Perspectives of Systems Informatics, 2003
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
2002
Proceedings of the Advances in Object-Oriented Information Systems, 2002
2000
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
Inform. Forsch. Entwickl., 1999
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
PhD thesis, 1998
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
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
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
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
1990
Forschungsberichte, TU Munich, 1990
Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1990