Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bernhard Schätz
2010 – today
- 2013
[j19]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)- [c65]Sebastian Voss, Bernhard Schätz: Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications. ECBS 2013: 100-109
- [c64]Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss: Seamless Model-Based Development of Embedded Systems with AF3 Phoenix. ECBS 2013: 212
- [c63]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
- [e16]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): 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
- [e15]Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke (Eds.): 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
- [i3]Jan Olaf Blech, Harald Rueß, Bernhard Schätz: On Behavioral Types for OSGi: From Theory to Implementation. CoRR abs/1306.6115 (2013)
- 2012
- [j18]Sun Meng, Bernhard Schätz: Formal Aspects of Component Software (FACS'09). Sci. Comput. Program. 78(1): 1-2 (2012)
- [j17]Jan Olaf Blech, Bernhard Schätz: Towards a formal foundation of behavioral types for UML state-machines. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)
- [c62]Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz: Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) 2012: 405-419
- [c61]Sebastian Voss, Bernhard Schätz: Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories. MBEES 2012: 49-56
- [c60]Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb: Towards an Extensible C for Embedded Programming. MBEES 2012: 107-112
- [c59]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
- [c58]Andreas Bayha, Franziska Grüneis, Bernhard Schätz: Model-based software in-the-loop-test of autonomous systems. SpringSim (TMS-DEVS) 2012: 30
- [e14]Miroslav Popovic, Bernhard Schätz, Sebastian Voss (Eds.): IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. IEEE 2012, ISBN 978-1-4673-0912-7
- [e13]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2012
- 2011
- [j16]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. Software and System Modeling 10(3): 283-286 (2011)
- [c57]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
- [c56]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
- [c55]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
- [c54]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
- [c53]Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel: Semantic Clone Detection for Model-Based Development of Embedded Systems. MoDELS 2011: 258-272
- [c52]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
- [c51]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
- [e12]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (Eds.): 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
- [e11]Gwen Salaün, Bernhard Schätz (Eds.): 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
- [e10]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2011
- [i2]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
- [j15]
- [j14]Bernhard Schätz, Christian Pfaller: Integrating Component Tests to System Tests. Electr. Notes Theor. Comput. Sci. 260: 225-241 (2010)
- [j13]
- [c50]Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist: Design-Space Exploration through Constraint-Based Model-Transformation. ECBS 2010: 173-182
- [c49]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
- [c48]Bernhard Schätz: Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain. ISoLA (1) 2010: 3
- [c47]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
- [c46]Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Michael Pfaehler, Bernhard Schätz: Model clone detection in practice. IWSC 2010: 57-64
- [c45]Bernhard Schätz, Christian Pfaller: Test Case Integration: From Components to Systems. MBEES 2010: 65-76
- [c44]
- [c43]Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit: Models and Evolution - ME2010. MoDELS Workshops 2010: 180-183
- [c42]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
- [e9]Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2010
2000 – 2009
- 2009
- [j12]Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner: Model-Based Safety-Cases for Software-Intensive Systems. Electr. Notes Theor. Comput. Sci. 238(4): 71-77 (2009)
- [c41]Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz: Structured Formalization of Service-Oriented Specifications. ECBS 2009: 227-236
- [c40]Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist: From Constraints to Design Space Exploration. MBEES 2009: 140-154
- [c39]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
- [c38]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
- [e8]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz (Eds.): 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
- 2008
- [j11]Bernhard Schätz: Modular Functional Descriptions. Electr. Notes Theor. Comput. Sci. 215: 23-38 (2008)
- [j10]Bernhard Schätz: Bericht des AK Requirements Engineering für eingebettete Systeme (REES). Softwaretechnik-Trends 28(1) (2008)
- [c37]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
- [c36]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
- [c35]
- [c34]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
- [c33]Bernhard Schätz: Formalization and Rule-Based Transformation of EMF Ecore-Based Models. SLE 2008: 227-244
- [e7]Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz (Eds.): 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
- 2007
- [j9]Bernhard Schätz: Combining Product Lines and Model-Based Development. Electr. Notes Theor. Comput. Sci. 182: 171-186 (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, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th Intl. ICSE workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Software Engineering Notes 32(4): 40 (2007)
- [c32]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
- [c31]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
- [c30]Bernhard Schätz, Holger Giese: Models of Reactive Systems - Communication, Concurrency, and Causality. Model-Based Engineering of Embedded Real-Time Systems 2007: 3-15
- [c29]Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz: Model-Based Integration. Model-Based Engineering of Embedded Real-Time Systems 2007: 17-54
- [c28]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
- [c27]Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle: Model Evolution and Management. Model-Based Engineering of Embedded Real-Time Systems 2007: 241-270
- [c26]Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146
- [e6]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (Eds.): 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
- [e5]Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz (Eds.): 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
- [i1]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. Software and System Modeling 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)
- [c25]Bernhard Schätz, Eva Geisberger, Johannes Grünbauer: A Model-Based Approach To Requirements Analysis. MMOSS 2006
- [c24]
- [e4]Holger Giese, Bernhard Rumpe, Bernhard Schätz (Eds.): 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
- [e3]Ricardo Jorge Machado, João M. Fernandes, Matthias Riebisch, Bernhard Schätz (Eds.): 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
- 2005
- [j3]Andreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform., Forsch. Entwickl. 19(4): 194-205 (2005)
- [c23]Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software. DATE 2005: 171-177
- [c22]Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner: Checking and Transforming Models with AutoFOCUS. ECBS 2005: 307-314
- [c21]Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister: Model-Based Requirements Engineering with AutoRAID. GI Jahrestagung (2) 2005: 511-515
- [p1]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 (Eds.): 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
- 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)
- [c20]Andreas Bauer, Jan Romberg, Bernhard Schätz: Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) 2004: 13-17
- [c19]Bernhard Schätz: Model-Based Development: Combining Engineering Approaches and Formal Techniques. ICFEM 2004: 1-2
- [c18]
- [c17]Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker: CASE Support and Model-Based Development. Modellierung 2004: 283-284
- 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, Chris 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]
- [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 (Eds.): Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. Herbert Utz Verlag 1999, ISBN 3-89675-918-3
- 1998
- [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]
- [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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:19 CEST by the dblp team