![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Bernhard Schätz
Person information
- affiliation: TU Munich, Department of Informatics, Germany
- affiliation: fortiss GmbH, Munich, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [j20]Klaus Becker, Sebastian Voss, Bernhard Schätz:
Formal analysis of feature degradation in fault-tolerant automotive systems. Sci. Comput. Program. 154: 89-133 (2018) - [i12]Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner:
Model-Based Safety-Cases for Software-Intensive Systems. CoRR abs/1806.04880 (2018) - 2017
- [j19]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): 309-311 (2017) - [c90]Georgeta Igna, Laurent Dieudonné, Sebastian Voss, Bernhard Schätz:
Model-based deployment generation for safety-critical avionics systems. SIES 2017: 1-8 - [i11]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 abs/1711.05472 (2017) - 2016
- [j18]Alfonso Pierantonio
, Bernhard Schätz:
Models and evolution: An introduction to the special issue. J. Syst. Softw. 111: 270-271 (2016) - [c89]Bernhard Schätz:
Platforms for Cyber-Physical Systems - fractal operating system and integrated development environment for the physical world. EITEC@CPSWeek 2016: 1-4 - [c88]Pragya Kirti Gupta, Bernhard Schätz:
Constraint-based graceful degradation in smart grids. SEsCPS@ICSE 2016: 8-14 - [c87]Carmen Cârlan, Daniel Ratiu, Bernhard Schätz:
On Using Results of Code-Level Bounded Model Checking in Assurance Cases. SAFECOMP Workshops 2016: 30-42 - [c86]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: 40-47 - [e21]Tanja Mayerhofer, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit:
Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016. CEUR Workshop Proceedings 1706, CEUR-WS.org 2016 [contents] - 2015
- [c85]Bernhard Schätz, Sebastian Voss, Sergey Zverlov:
Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context. DAC 2015: 99:1-99:6 - [c84]Martin Törngren
, Saddek Bensalem, John A. 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: 8:1-8:5 - [c83]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: 3134-3139 - [c82]Cristina Rottondi
, Markus Duchon, Dagmar Koss, Giacomo Verticale
, Bernhard Schätz:
An energy management system for a smart office environment. NetSys 2015: 1-6 - [c81]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: 19-26 - [c80]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 Bruneliere
, 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: 208-213 - [c79]Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz:
Textual model-based software/system architecture documentation using MPS. Software Engineering & Management 2015: 232-237 - [e20]Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit:
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, Sept 28, 2014. CEUR Workshop Proceedings 1331, CEUR-WS.org 2015 [contents] - 2014
- [j17]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: 107-108 (2014) - [j16]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): 323-359 (2014) - [j15]Dalila Tamzalit, Bernhard Schätz, Alfonso Pierantonio
, Dirk Deridder:
Introduction to the SoSyM theme issue on models and evolution. Softw. Syst. Model. 13(2): 621-623 (2014) - [c78]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: 349-356 - [c77]Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz:
mbeddr - Extensible Languages for Embedded Software Development. ETX 2014: 21-22 - [c76]Bernhard Schätz:
Open Source: Innovation Platforms for MBSE? OSS4MDE@MoDELS 2014: 1 - [c75]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: 205-219 - [c74]Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz:
mbeddr: extensible languages for embedded software development. HILT 2014: 13-16 - [i10]Klaus Becker, Bernhard Schätz, Christian Buckl, Michael Armbruster:
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. CoRR abs/1404.7763 (2014) - [i9]Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle:
Model Evolution and Management. CoRR abs/1409.2361 (2014) - [i8]Dominique Méry, Bernhard Schätz, Alan Wassyng:
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports 4(2): 17-38 (2014) - 2013
- [j14]Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz:
mbeddr: instantiating a language workbench in the embedded software domain. Autom. Softw. Eng. 20(3): 339-390 (2013) - [c73]Sebastian Voss, Bernhard Schätz:
Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications. ECBS 2013: 100-109 - [c72]Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss:
Seamless Model-Based Development of Embedded Systems with AF3 Phoenix. ECBS 2013: 212 - [c71]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: 465-471 - [e19]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2013 [contents] - [e18]Alfonso Pierantonio, Bernhard Schätz:
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1, 2013. CEUR Workshop Proceedings 1090, CEUR-WS.org 2013 [contents] - [e17]Ana Moreira
, Bernhard Schätz, Jeff Gray, Antonio Vallecillo
, Peter J. Clarke:
Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings. Lecture Notes in Computer Science 8107, Springer 2013, ISBN 978-3-642-41532-6 [contents] - [i7]Jan Olaf Blech, Harald Rueß, Bernhard Schätz:
On Behavioral Types for OSGi: From Theory to Implementation. CoRR abs/1306.6115 (2013) - 2012
- [j13]Sun Meng, Bernhard Schätz:
Formal Aspects of Component Software (FACS'09). Sci. Comput. Program. 78(1): 1-2 (2012) - [j12]Jan Olaf Blech, Bernhard Schätz:
Towards a formal foundation of behavioral types for UML state-machines. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c70]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: 8-14 - [c69]Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb:
Language engineering as an enabler for incrementally defined formal analyses. FormSERA@ICSE 2012: 9-15 - [c68]Jan Olaf Blech
, Yliès Falcone, Harald Rueß, Bernhard Schätz:
Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) 2012: 405-419 - [c67]Sebastian Voss, Bernhard Schätz:
Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories. MBEES 2012: 49-56 - [c66]Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb:
Towards an Extensible C for Embedded Programming. MBEES 2012: 107-112 - [c65]Dalila Tamzalit, Bernhard Schätz, Jonathan Sprinkle
, Alfonso Pierantonio:
Summary of the 6th International Workshop on Models and Evolution (ME 2012). ME@MoDELS 2012: 1-2 - [c64]Markus Voelter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb:
mbeddr: an extensible C-based programming language and IDE for embedded systems. SPLASH 2012: 121-140 - [c63]Andreas Bayha, Franziska Grüneis, Bernhard Schätz:
Model-based software in-the-loop-test of autonomous systems. SpringSim (TMS-DEVS) 2012: 30 - [e16]Miroslav Popovic, Bernhard Schätz, Sebastian Voss:
IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-0912-7 [contents] - [e15]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2012 [contents] - 2011
- [j11]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): 283-286 (2011) - [c62]Bernhard Schätz:
From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages. COMPSAC 2011: 454-455 - [c61]Bernhard Schätz:
10 Years Model-Driven - What Did We Achieve? ECBS-EERC 2011: 1 - [c60]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: 269-275 - [c59]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: 81-90 - [c58]Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Jonathan Sprinkle
, Dalila Tamzalit:
Summary of the Second International Workshop on Models and Evolution. MoDELS (Workshops) 2011: 244-245 - [c57]Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel:
Semantic Clone Detection for Model-Based Development of Embedded Systems. MoDELS 2011: 258-272 - [c56]Matthias Riebisch, Gregor Engels, Bernhard Schätz, Christian Zeidler:
Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen (ESoSyM-2011). Software Engineering (Workshops) 2011: 131-132 - [c55]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: 204 - [e14]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe
, Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Lecture Notes in Computer Science 6100, Springer 2011, ISBN 978-3-642-16276-3 [contents] - [e13]Gwen Salaün, Bernhard Schätz:
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6959, Springer 2011, ISBN 978-3-642-24430-8 [contents] - [e12]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2011 [contents] - [i6]Holger Giese, Bernhard Rumpe
, Bernhard Schätz, Janos Sztipanovits:
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). Dagstuhl Reports 1(11): 1-22 (2011) - 2010
- [b2]Bernhard Schätz:
Model-Based Development of Software Systems. From Models to Tools. Technical University of Munich, Germany, 2010 - [j10]Bernhard Schätz:
Verification of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [c54]Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist:
Design-Space Exploration through Constraint-Based Model-Transformation. ECBS 2010: 173-182 - [c53]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: 79-88 - [c52]Bernhard Schätz:
Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain. ISoLA (1) 2010: 3 - [c51]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: 269-278 - [c50]Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Michael Pfaehler, Bernhard Schätz:
Model clone detection in practice. IWSC 2010: 57-64 - [c49]Bernhard Schätz, Christian Pfaller:
Test Case Integration: From Components to Systems. MBEES 2010: 65-76 - [c48]Bernhard Schätz, Brian Elvesæter
:
The Doctoral Symposium at MODELS 2010. MoDELS (Workshops) 2010: 1-3 - [c47]Dirk Deridder, Alfonso Pierantonio
, Bernhard Schätz, Dalila Tamzalit:
Models and Evolution - ME2010. MoDELS (Workshops) 2010: 180-183 - [c46]Marko Boskovic, Daniela Cancila, Claus Pahl
, Bernhard Schätz:
The 3rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010). MoDELS (Workshops) 2010: 308-311 - [e11]Sun Meng, Bernhard Schätz:
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009. Electronic Notes in Theoretical Computer Science 263, Elsevier 2010 [contents] - [e10]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2010 [contents]
2000 – 2009
- 2009
- [c45]Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz:
Structured Formalization of Service-Oriented Specifications. ECBS 2009: 227-236 - [c44]Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist:
From Constraints to Design Space Exploration. MBEES 2009: 140-154 - [c43]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: 186-189 - [c42]Marko Boskovic, Dragan Gasevic
, Claus Pahl
, Bernhard Schätz:
The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). MoDELS (Workshops) 2009: 291-295 - [c41]Sun Meng, Bernhard Schätz:
Preface. FACS@FMWeek 2009: 1-3 - [e9]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2009-01, TU Braunschweig, Institut für Software Systems Engineering 2009 [contents] - [e8]Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz:
Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, Colorado, USA, October 4, 2009. CEUR Workshop Proceedings 553, CEUR-WS.org 2009 [contents] - 2008
- [j9]Bernhard Schätz:
Bericht des AK Requirements Engineering für eingebettete Systeme (REES). Softwaretechnik-Trends 28(1) (2008) - [c40]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: 603-612 - [c39]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: 57-67 - [c38]Bernhard Schätz:
Vorwort zum Industriesymposium der Modellierung 2008. Modellierung 2008: 251-252 - [c37]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: 227-228 - [c36]Bernhard Schätz:
Formalization and Rule-Based Transformation of EMF Ecore-Based Models. SLE 2008: 227-244 - [c35]Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
:
Model-Based Safety-Cases for Software-Intensive Systems. SafeCert@ETAPS 2008: 71-77 - [c34]Bernhard Schätz, Christian Pfaller:
Integrating Component Tests to System Tests. FACS 2008: 225-241 - [e7]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2008-2, TU Braunschweig, Institut für Software Systems Engineering 2008 [contents] - 2007
- [j8]Eva Geisberger, Bernhard Schätz:
Modellbasierte Anforderungsanalyse mit AutoRAID. Inform. Forsch. Entwickl. 21(3-4): 231-242 (2007) - [j7]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): 45-57 (2007) - [j6]Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner:
4th Intl. ICSE workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes 32(4): 40 (2007) - [c33]Bernhard Schätz, Holger Giese:
Models of Reactive Systems - Communication, Concurrency, and Causality. Model-Based Engineering of Embedded Real-Time Systems 2007: 3-15 - [c32]Holger Giese, Stefan Neumann, Oliver Niggemann
, Bernhard Schätz:
Model-Based Integration. Model-Based Engineering of Embedded Real-Time Systems 2007: 17-54 - [c31]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: 177-206 - [c30]Tihamer Levendovszky, Bernhard Rumpe
, Bernhard Schätz, Jonathan Sprinkle
:
Model Evolution and Management. Model-Based Engineering of Embedded Real-Time Systems 2007: 241-270 - [c29]Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
:
4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146 - [c28]Mario Gleirscher
, Daniel Ratiu, Bernhard Schätz:
Incremental Integration of Heterogeneous Systems Views. ICSEM 2007: 50-59 - [c27]Bernhard Schätz:
Modular Functional Descriptions. FACS 2007: 23-38 - [e6]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007. Dagstuhl Seminar Proceedings 07451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [e5]Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2007-1, TU Braunschweig, Institut für Software Systems Engineering 2007 [contents] - [i5]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 - [i4]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 - [i3]Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz:
AutoMoDe - Model-Based Development of Automotive Software. CoRR abs/0710.4829 (2007) - 2006
- [j5]Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz:
SoSyM special section on service-based software engineering. Softw. Syst. Model. 5(2): 170-171 (2006) - [j4]Eva Geisberger, Bernhard Schätz:
Szenariobasierte Modellkonstruktion und Validierung mit dem RM-Werkzeug AutoRAID. Softwaretechnik-Trends 26(1) (2006) - [c26]Bernhard Schätz:
Model-Based Engineering of Embedded Control Software. MDB/MOMPES 2006: 53-62 - [c25]Bernhard Schätz:
Combining Product Lines and Model-Based Development. FACS 2006: 171-186 - [e4]Holger Giese, Bernhard Rumpe, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2006-1, TU Braunschweig, Institut für Software Systems Engineering 2006 [contents] - [e3]Ricardo Jorge Machado, João M. Fernandes, Matthias Riebisch, Bernhard Schätz:
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, MBD/MOMPES 2006, Potsdam, Germany, March 30, 2006, Proceedings. IEEE Computer Society 2006, ISBN 0-7695-2538-5 [contents] - [i2]Bernhard Schätz, Eva Geisberger, Johannes Grünbauer:
A Model-Based Approach To Requirements Analysis. MMOSS 2006 - 2005
- [j3]Andreas Bauer, Jan Romberg, Bernhard Schätz:
Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform. Forsch. Entwickl. 19(4): 194-205 (2005) - [c24]Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz:
AutoMoDe - Model-Based Development of Automotive Software. DATE 2005: 171-177 - [c23]Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
Checking and Transforming Models with AutoFOCUS. ECBS 2005: 307-314 - [c22]Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister:
Model-Based Requirements Engineering with AutoRAID. GI Jahrestagung (2) 2005: 511-515 - [p2]Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz:
An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements. Information Modeling Methods and Methodologies 2005: 125-147 - [e2]Torsten Klein, Bernhard Rumpe, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2005-1, TU Braunschweig, Institut für Software Systems Engineering 2005 [contents] - 2004
- [j2]Bernhard Schätz, Markus Pister, Alexander K. Wißpeintner:
Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus. Softwaretechnik-Trends 24(1) (2004) - [c21]Andreas Bauer, Jan Romberg, Bernhard Schätz:
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) 2004: 13-17 - [c20]Bernhard Schätz:
Model-Based Development: Combining Engineering Approaches and Formal Techniques. ICFEM 2004: 1-2 - [c19]Michael Ney, Bernhard Schätz, Joachim Höck, Christian Salzmann:
Introducing Mobility: The mPolice Project. IT Innovation for Adaptability and Competitiveness 2004: 383-403 - [c18]Bernhard Schätz:
UML-RT - Die Lösung für eingebettete Software? Modellierung 2004: 263-265 - [c17]Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker:
CASE Support and Model-Based Development. Modellierung 2004: 283-284 - [p1]Bernhard Schätz:
Mastering the Complexity of Reactive Systems - The AutoFocusApproach. Formal Methods for Embedded Distributed Systems 2004: 215-258 - 2003
- [c16]Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
Consistency in Model-Based Development. ECBS 2003: 287-296 - [c15]Leonid Kof, Bernhard Schätz:
Combining Aspects of Reactive Systems. Ershov Memorial Conference 2003: 344-349 - [c14]Bernhard Schätz, Christian Salzmann:
Service-Based Systems Engineering: Consistent Combination of Services. ICFEM 2003: 86-104 - 2002
- [c13]Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps:
Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312 - 2000
- [c12]Bernhard Schätz, Katharina Spies:
10 Years Focus - Lessons learned. FBT 2000: 111-120 - [c11]Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch:
Consistent Integration of Formal Methods. TACAS 2000: 48-62
1990 – 1999
- 1999
- [j1]Manfred Broy, Franz Huber, Bernhard Schätz:
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform. Forsch. Entwickl. 14(3): 121-134 (1999) - [c10]Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz:
Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. FBT 1999: 103-112 - [c9]Bernhard Schätz, Franz Huber:
Integrating Formal Description Techniques. World Congress on Formal Methods 1999: 1206-1225 - [e1]Katharina Spies, Bernhard Schätz:
Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. Herbert Utz Verlag 1999, ISBN 3-89675-918-3 [contents] - 1998
- [b1]Bernhard Schätz:
Ein methodischer Übergang von asynchron zu synchron kommunizierenden Systemen. Technical University Munich, Germany, 1998, pp. 1-259 - [c8]Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig:
Traffic Lights - An AutoFocus Case Study. ACSD 1998: 282-294 - [c7]Franz Huber, Bernhard Schätz:
Specification Modules for Methodical System Development. FBT 1998: 75-86 - [c6]Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch:
Tool Supported Specification and Simulation of Distributed Systems. PDSE 1998: 155- - 1997
- [c5]Franz Huber, Bernhard Schätz:
Rapid Prototyping with AutoFocus. FBT 1997: 343-352 - [c4]Franz Huber, Bernhard Schätz, Geralf Einert:
Consistent Graphical Specification of Distributed Systems. FME 1997: 122-141 - 1996
- [c3]Bernhard Schätz, Heinrich Hußmann, Manfred Broy:
Graphical Development of Consistent System Specifications. FME 1996: 248-267 - [c2]Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies:
AutoFocus: A Tool for Distributed Systems Specification. FTRTFT 1996: 467-470 - 1990
- [c1]Bernhard Schätz:
Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem. Transputer-Anwender-Treffen 1990: 88-94 - [i1]Marco Dorigo, Bernhard Schätz:
Mapping a generator for neural network simulators to a transputer system. Forschungsberichte, TU Munich FKI 137 90: 1-18 (1990)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint