Bernhard Schätz

147 papers A* 2A 6B 3C 5Journal 29Unranked 79

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Formal analysis of feature degradation in fault-tolerant automotive systems. Sci. Comput. Program. Klaus Becker, Sebastian Voss, Bernhard Schätz
2018	J	`jnl`	Model-Based Safety-Cases for Software-Intensive Systems. CoRR Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
2017	J	`jnl`	Can clone detection support quality assessments of requirements specifications? CoRR Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner, Christoph Domann, Jonathan Streit
2017	J	`jnl`	Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013). Softw. Syst. Model. Ana Moreira, Bernhard Schätz, Peter J. Clarke, Antonio Vallecillo
2017	—	`conf`	Model-based deployment generation for safety-critical avionics systems. SIES Georgeta Igna, Laurent Dieudonné, Sebastian Voss, Bernhard Schätz
2016	—	`conf`	Constraint-based graceful degradation in smart grids. SEsCPS@ICSE Pragya Kirti Gupta, Bernhard Schätz
2016	—	`conf`	MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. STAF Doctoral Symposium / Showcase Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan F. Broenink, Bernhard Schätz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo
2016	J	`jnl`	Models and evolution: An introduction to the special issue. J. Syst. Softw. Alfonso Pierantonio, Bernhard Schätz
2016	—	`conf`	On Using Results of Code-Level Bounded Model Checking in Assurance Cases. SAFECOMP Workshops Carmen Cârlan, Daniel Ratiu, Bernhard Schätz
2016	—	`conf`	Platforms for Cyber-Physical Systems - fractal operating system and integrated development environment for the physical world. EITEC@CPSWeek Bernhard Schätz
2016	—	`ed.`	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. ME@MoDELS Tanja Mayerhofer, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit
2015	—	`conf`	An energy management system for a smart office environment. NetSys Cristina Rottondi, Markus Duchon, Dagmar Koss, Giacomo Verticale, Bernhard Schätz
2015	—	`conf`	AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems. ACES-MB&WUCOR@MoDELS Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl, Bernhard Schätz
2015	A*	`conf`	Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context. DAC Bernhard Schätz, Sebastian Voss, Sergey Zverlov
2015	—	`conf`	Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz
2015	A	`conf`	Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey. RE 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
2015	—	`ed.`	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. ME@MoDELS Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit
2015	—	`conf`	Textual model-based software/system architecture documentation using MPS. Software Engineering & Management Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz
2015	—	`conf`	Using knowledge discovery for autonomous decision making in smart grid nodes. ICIT Pragya Kirti Gupta, Ann Katrin Gibtner, Markus Duchon, Dagmar Koss, Bernhard Schätz
2014	B	`conf`	A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. SEFM Klaus Becker, Bernhard Schätz, Michael Armbruster, Christian Buckl
2014	—	`conf`	Advancement of a Sensor Aided Smart Grid Node Architecture. CyberC Markus Duchon, Pragya Kirti Gupta, Dagmar Koss, Denis Bytschkow, Bernhard Schätz, Sebastian Wilzbach
2014	J	`jnl`	Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. CoRR Klaus Becker, Bernhard Schätz, Christian Buckl, Michael Armbruster
2014	J	`jnl`	Graph and model transformation tools for model migration - Empirical results from the transformation tool contest. Softw. Syst. Model. 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
2014	J	`jnl`	Introduction to the SoSyM theme issue on models and evolution. Softw. Syst. Model. Dalila Tamzalit, Bernhard Schätz, Alfonso Pierantonio, Dirk Deridder
2014	J	`jnl`	Model Evolution and Management. CoRR Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
2014	—	`conf`	Open Source: Innovation Platforms for MBSE? OSS4MDE@MoDELS Bernhard Schätz
2014	J	`jnl`	Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11). Sci. Comput. Program. Gwen Salaün, Bernhard Schätz
2014	J	`jnl`	The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports Dominique Méry, Bernhard Schätz, Alan Wassyng
2014	—	`conf`	mbeddr - Extensible Languages for Embedded Software Development. ETX Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
2014	—	`conf`	mbeddr: extensible languages for embedded software development. HILT Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
2013	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz
2013	—	`conf`	Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications. ECBS Sebastian Voss, Bernhard Schätz
2013	A	`ed.`	Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings MoDELS Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke
2013	J	`jnl`	On Behavioral Types for OSGi: From Theory to Implementation. CoRR Jan Olaf Blech, Harald Rueß, Bernhard Schätz
2013	—	`ed.`	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. ME@MoDELS Alfonso Pierantonio, Bernhard Schätz
2013	—	`conf`	Seamless Model-Based Development of Embedded Systems with AF3 Phoenix. ECBS Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss
2013	—	`conf`	Using Language Engineering to Lift Languages and Analyses at the Domain Level. NASA Formal Methods Daniel Ratiu, Markus Voelter, Bernd Kolb, Bernhard Schätz
2013	J	`jnl`	mbeddr: instantiating a language workbench in the embedded software domain. Autom. Softw. Eng. Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz
2012	—	`conf`	Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz
2012	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz
2012	—	`conf`	Establishing a smart grid node architecture and demonstrator in an office environment using the SOA approach. SE4SG@ICSE Dagmar Koß, Denis Bytschkow, Pragya Kirti Gupta, Bernhard Schätz, Florian Sellmayr, Steffen Bauereiß
2012	J	`jnl`	Formal Aspects of Component Software (FACS'09). Sci. Comput. Program. Sun Meng, Bernhard Schätz
2012	—	`ed.`	IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012 ECBS Miroslav Popovic, Bernhard Schätz, Sebastian Voss
2012	—	`conf`	Language engineering as an enabler for incrementally defined formal analyses. FormSERA@ICSE Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb
2012	—	`conf`	Model-based software in-the-loop-test of autonomous systems. SpringSim (TMS-DEVS) Andreas Bayha, Franziska Grüneis, Bernhard Schätz
2012	—	`conf`	Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories. MBEES Sebastian Voss, Bernhard Schätz
2012	—	`conf`	Summary of the 6th International Workshop on Models and Evolution (ME 2012). ME@MoDELS Dalila Tamzalit, Bernhard Schätz, Jonathan Sprinkle, Alfonso Pierantonio
2012	J	`jnl`	Towards a formal foundation of behavioral types for UML state-machines. ACM SIGSOFT Softw. Eng. Notes Jan Olaf Blech, Bernhard Schätz
2012	—	`conf`	Towards an Extensible C for Embedded Programming. MBEES Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb
2012	—	`conf`	mbeddr: an extensible C-based programming language and IDE for embedded systems. SPLASH Markus Voelter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb
2011	—	`conf`	10 Years Model-Driven - What Did We Achieve? ECBS-EERC Bernhard Schätz
2011	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz
2011	C	`conf`	Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen (ESoSyM-2011). Software Engineering (Workshops) Matthias Riebisch, Gregor Engels, Bernhard Schätz, Christian Zeidler
2011	—	`conf`	FALTER in the Loop: Testing UAV Software in Virtual Environments. MBEES Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss
2011	C	`ed.`	Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings FMICS Gwen Salaün, Bernhard Schätz
2011	B	`conf`	From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages. COMPSAC Bernhard Schätz
2011	J	`jnl`	Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages. Softw. Syst. Model. Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz
2011	—	`ed.`	Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2011	—	`conf`	Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments. ECBS Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss
2011	J	`jnl`	Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). Dagstuhl Reports Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits
2011	A	`conf`	Semantic Clone Detection for Model-Based Development of Embedded Systems. MoDELS Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel
2011	—	`conf`	Summary of the Second International Workshop on Models and Evolution. MoDELS (Workshops) Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Jonathan Sprinkle, Dalila Tamzalit
2011	C	`conf`	Workshop und Fachgruppentreffen der FG OOSE - "Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen" (ESoSyM 2011). Software Engineering Gregor Engels, Bernhard Schätz, Matthias Riebisch, Christian Zeidler
2010	A	`conf`	A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models. ISSRE Stefan Wagner, Bernhard Schätz, Stefan Puchner, Peter Kock
2010	—	`conf`	Can clone detection support quality assessments of requirements specifications? ICSE (2) Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner, Christoph Domann, Jonathan Streit
2010	—	`conf`	Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain. ISoLA (1) Bernhard Schätz
2010	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz
2010	—	`conf`	Design-Space Exploration through Constraint-Based Model-Transformation. ECBS Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist
2010	—	`conf`	Model clone detection in practice. IWSC Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Michael Pfaehler, Bernhard Schätz
2010	—	`book`	Model-Based Development of Software Systems. From Models to Tools Bernhard Schätz
2010	—	`conf`	Models and Evolution - ME2010. MoDELS (Workshops) Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit
2010	—	`ed.`	Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009 FACS@FMWeek Sun Meng, Bernhard Schätz
2010	—	`conf`	Test Case Integration: From Components to Systems. MBEES Bernhard Schätz, Christian Pfaller
2010	—	`conf`	The 3 MoDELS (Workshops) Marko Boskovic, Daniela Cancila, Claus Pahl, Bernhard Schätz
2010	—	`conf`	The Doctoral Symposium at MODELS 2010. MoDELS (Workshops) Bernhard Schätz, Brian Elvesæter
2010	J	`jnl`	Verification of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Bernhard Schätz
2009	—	`conf`	"Models and Evolution": Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM). MoDELS (Workshops) Dalila Tamzalit, Dirk Deridder, Bernhard Schätz
2009	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz
2009	—	`conf`	From Constraints to Design Space Exploration. MBEES Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist
2009	—	`conf`	Preface. FACS@FMWeek Sun Meng, Bernhard Schätz
2009	—	`ed.`	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. NFPinDSML@MoDELS Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz
2009	—	`conf`	Structured Formalization of Service-Oriented Specifications. ECBS Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz
2009	—	`conf`	The 2 MoDELS (Workshops) Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz
2008	J	`jnl`	Bericht des AK Requirements Engineering für eingebettete Systeme (REES). Softwaretechnik-Trends Bernhard Schätz
2008	—	`conf`	Clone Detection in Automotive Model-Based Development. MBEES Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert
2008	A*	`conf`	Clone detection in automotive model-based development. ICSE Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert
2008	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz
2008	B	`conf`	Formalization and Rule-Based Transformation of EMF Ecore-Based Models. SLE Bernhard Schätz
2008	—	`conf`	Integrating Component Tests to System Tests. FACS Bernhard Schätz, Christian Pfaller
2008	—	`conf`	Model-Based Safety-Cases for Software-Intensive Systems. SafeCert@ETAPS Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
2008	—	`conf`	The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008). MoDELS (Workshops) Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz
2008	—	`conf`	Vorwort zum Industriesymposium der Modellierung 2008. Modellierung Bernhard Schätz
2007	—	`conf`	07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007	—	`conf`	07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007	J	`jnl`	4 ACM SIGSOFT Softw. Eng. Notes Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
2007	—	`conf`	4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
2007	J	`jnl`	AutoMoDe - Model-Based Development of Automotive Software CoRR Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
2007	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz
2007	J	`jnl`	Das AutoMoDe-Projekt. Inform. Forsch. Entwickl. Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Núria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein
2007	—	`conf`	Incremental Integration of Heterogeneous Systems Views. ICSEM Mario Gleirscher, Daniel Ratiu, Bernhard Schätz
2007	—	`conf`	Model Evolution and Management. Model-Based Engineering of Embedded Real-Time Systems Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
2007	—	`ed.`	Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007 Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007	—	`conf`	Model-Based Integration. Model-Based Engineering of Embedded Real-Time Systems Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz
2007	J	`jnl`	Modellbasierte Anforderungsanalyse mit AutoRAID. Inform. Forsch. Entwickl. Eva Geisberger, Bernhard Schätz
2007	—	`conf`	Models of Reactive Systems - Communication, Concurrency, and Causality. Model-Based Engineering of Embedded Real-Time Systems Bernhard Schätz, Holger Giese
2007	—	`conf`	Modular Functional Descriptions. FACS Bernhard Schätz
2007	—	`conf`	Service-Oriented Modeling of CoCoME with Focus and AutoFocus. CoCoME Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild
2006	—	`conf`	A Model-Based Approach To Requirements Analysis. MMOSS Bernhard Schätz, Eva Geisberger, Johannes Grünbauer
2006	—	`conf`	Combining Product Lines and Model-Based Development. FACS Bernhard Schätz
2006	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Holger Giese, Bernhard Rumpe, Bernhard Schätz
2006	—	`conf`	Model-Based Engineering of Embedded Control Software. MDB/MOMPES Bernhard Schätz
2006	—	`ed.`	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 MOMPES Ricardo Jorge Machado, João M. Fernandes, Matthias Riebisch, Bernhard Schätz
2006	J	`jnl`	SoSyM special section on service-based software engineering. Softw. Syst. Model. Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz
2006	J	`jnl`	Szenariobasierte Modellkonstruktion und Validierung mit dem RM-Werkzeug AutoRAID. Softwaretechnik-Trends Eva Geisberger, Bernhard Schätz
2005	—	`ch.`	An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements. Information Modeling Methods and Methodologies Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
2005	A	`conf`	AutoMoDe - Model-Based Development of Automotive Software. DATE Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
2005	—	`conf`	Checking and Transforming Models with AutoFOCUS. ECBS Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
2005	—	`ed.`	Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme MBEES Torsten Klein, Bernhard Rumpe, Bernhard Schätz
2005	J	`jnl`	Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform. Forsch. Entwickl. Andreas Bauer, Jan Romberg, Bernhard Schätz
2005	—	`conf`	Model-Based Requirements Engineering with AutoRAID. GI Jahrestagung (2) Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister
2004	J	`jnl`	Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus. Softwaretechnik-Trends Bernhard Schätz, Markus Pister, Alexander K. Wißpeintner
2004	—	`conf`	CASE Support and Model-Based Development. Modellierung Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker
2004	—	`conf`	Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) Andreas Bauer, Jan Romberg, Bernhard Schätz
2004	—	`conf`	Introducing Mobility: The mPolice Project. IT Innovation for Adaptability and Competitiveness Michael Ney, Bernhard Schätz, Joachim Höck, Christian Salzmann
2004	—	`ch.`	Mastering the Complexity of Reactive Systems - The AutoFocusApproach. Formal Methods for Embedded Distributed Systems Bernhard Schätz
2004	C	`conf`	Model-Based Development: Combining Engineering Approaches and Formal Techniques. ICFEM Bernhard Schätz
2004	—	`conf`	UML-RT - Die Lösung für eingebettete Software? Modellierung Bernhard Schätz
2003	—	`conf`	Combining Aspects of Reactive Systems. Ershov Memorial Conference Leonid Kof, Bernhard Schätz
2003	—	`conf`	Consistency in Model-Based Development. ECBS Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
2003	C	`conf`	Service-Based Systems Engineering: Consistent Combination of Services. ICFEM Bernhard Schätz, Christian Salzmann
2002	—	`conf`	Model-Based Development of Embedded Systems. OOIS Workshops Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
2000	—	`conf`	10 Years Focus - Lessons learned. FBT Bernhard Schätz, Katharina Spies
2000	A	`conf`	Consistent Integration of Formal Methods. TACAS Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
1999	J	`jnl`	AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform. Forsch. Entwickl. Manfred Broy, Franz Huber, Bernhard Schätz
1999	—	`conf`	Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. FBT Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
1999	—	`ed.`	Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999 FBT Katharina Spies, Bernhard Schätz
1999	—	`conf`	Integrating Formal Description Techniques. World Congress on Formal Methods Bernhard Schätz, Franz Huber
1998	—	`—`	Ein methodischer Übergang von asynchron zu synchron kommunizierenden Systemen. Bernhard Schätz
1998	—	`conf`	Specification Modules for Methodical System Development. FBT Franz Huber, Bernhard Schätz
1998	—	`conf`	Tool Supported Specification and Simulation of Distributed Systems. PDSE Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
1998	—	`conf`	Traffic Lights - An AutoFocus Case Study. ACSD Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
1997	—	`conf`	Consistent Graphical Specification of Distributed Systems. FME Franz Huber, Bernhard Schätz, Geralf Einert
1997	—	`conf`	Rapid Prototyping with AutoFocus. FBT Franz Huber, Bernhard Schätz
1996	—	`conf`	AutoFocus: A Tool for Distributed Systems Specification. FTRTFT Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
1996	—	`conf`	Graphical Development of Consistent System Specifications. FME Bernhard Schätz, Heinrich Hußmann, Manfred Broy
1990	J	`jnl`	Mapping a generator for neural network simulators to a transputer system Forschungsberichte, TU Munich Marco Dorigo, Bernhard Schätz
1990	—	`conf`	Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem. Transputer-Anwender-Treffen Bernhard Schätz