| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
ECBS  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits |
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
in-the-loop, simulation, validation, autonomous, vehicle, Model-based |
| 1 | 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 |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Model-Based Engineering of Embedded Real-Time Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz |
From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel |
Semantic Clone Detection for Model-Based Development of Embedded Systems. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Jonathan Sprinkle, Dalila Tamzalit |
Summary of the Second International Workshop on Models and Evolution. |
MoDELS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Riebisch, Gregor Engels, Bernhard Schätz, Christian Zeidler |
Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen (ESoSyM-2011). |
Software Engineering (Workshops) |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz |
Verification of Model Transformations. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sun Meng, Bernhard Schätz |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Christian Pfaller |
Integrating Component Tests to System Tests. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist |
Design-Space Exploration through Constraint-Based Model-Transformation. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Model transformation, design-space exploration, rule-based, declarative, EMF |
| 1 | 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 |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Christian Pfaller |
Test Case Integration: From Components to Systems. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Brian Elvesæter |
The Doctoral Symposium at MODELS 2010. |
MoDELS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit |
Models and Evolution - ME2010. |
MoDELS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Michael Pfaehler, Bernhard Schätz |
Model clone detection in practice. |
IWSC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz |
Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
redundancy, requirements specification, clone detection |
| 1 | Peter Braun 0003, Jan Philipps, Bernhard Schätz, Stefan Wagner |
Model-Based Safety-Cases for Software-Intensive Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz |
Structured Formalization of Service-Oriented Specifications. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist |
From Constraints to Design Space Exploration. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Michaela Huhn, Ulrich Nickel 0002, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz |
Modular Functional Descriptions. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Michaela Huhn, Ulrich Nickel 0002, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz |
Formalization and Rule-Based Transformation of EMF Ecore-Based Models. |
SLE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz |
Vorwort zum Industriesymposium der Modellierung 2008. |
Modellierung |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
model clone, data-flow, clone detection, matlab/simulink |
| 1 | Eva Geisberger, Bernhard Schätz |
Modellbasierte Anforderungsanalyse mit AutoRAID. |
Inform., Forsch. Entwickl. |
2007 |
DBLP DOI BibTeX RDF |
Integrated Requirments Analysis and System Design, Requirements Engineering, Views, Tool Support, Model-based Development |
| 1 | Andreas Bauer 0002, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun 0003, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein |
Das AutoMoDe-Projekt. |
Inform., Forsch. Entwickl. |
2007 |
DBLP DOI BibTeX RDF |
AutoMoDe, embedded software, synchronous languages, Automotive software engineering |
| 1 | Bernhard Schätz |
Combining Product Lines and Model-Based Development. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz |
AutoMoDe - Model-Based Development of Automotive Software |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner |
4th Intl. ICSE workshop on Software Engineering for Automotive Systems. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
software engineering, automotive systems |
| 1 | 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 |
MBEES |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Holger Giese |
Models of Reactive Systems - Communication, Concurrency, and Causality. |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle |
Model Evolution and Management. |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz |
Model-Based Integration. |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner |
4th International ICSE Workshop on Software Engineering for Automotive Systems. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz |
SoSyM special section on service-based software engineering. |
Software and System Modeling |
2006 |
DBLP DOI BibTeX RDF |
Model, Architecture, Semantics, Composition, Service, Description |
| 1 | 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 |
MBEES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Eva Geisberger, Johannes Grünbauer |
A Model-Based Approach To Requirements Analysis. |
MMOSS |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
MOMPES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz |
Model-Based Engineering of Embedded Control Software. |
MDB/MOMPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Romberg, Bernhard Schätz |
Integrierte Entwicklung von Automotive-Software mit AutoFocus. |
Inform., Forsch. Entwickl. |
2005 |
DBLP DOI BibTeX RDF |
Embedded software, Synchronous languages, AutoFocus, Automotive software engineering |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner |
Checking and Transforming Models with AutoFOCUS. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
MBEES |
2005 |
DBLP BibTeX RDF |
|
| 1 | Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz |
AutoMoDe - Model-Based Development of Automotive Software. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister |
Model-Based Requirements Engineering with AutoRAID. |
GI Jahrestagung |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz |
Model-Based Development: Combining Engineering Approaches and Formal Techniques. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Romberg, Bernhard Schätz |
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. |
GI Jahrestagung |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker |
CASE Support and Model-Based Development. |
Modellierung |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz |
UML-RT - Die Lösung für eingebettete Software? |
Modellierung |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Chris Salzmann |
Service-Based Systems Engineering: Consistent Combination of Services. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality |
| 1 | Leonid Kof, Bernhard Schätz |
Combining Aspects of Reactive Systems. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner |
Consistency in Model-Based Development. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps |
Model-Based Development of Embedded Systems. |
OOIS Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch |
Consistent Integration of Formal Methods. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Katharina Spies |
10 Years Focus - Lessons learned. |
FBT |
2000 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy, Franz Huber, Bernhard Schätz |
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. |
Inform., Forsch. Entwickl. |
1999 |
DBLP DOI BibTeX RDF |
Software Engineering Werkzeuge, Entwicklung verteilter und eingebetteter Systeme, formale Methoden und Techniken, Prototyping |
| 1 | Bernhard Schätz, Franz Huber |
Integrating Formal Description Techniques. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Katharina Spies, Bernhard Schätz (eds.) |
Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999 |
FBT |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig |
Traffic Lights - An AutoFocus Case Study. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
graphical debugging, simulation, visualization, embedded systems, prototyping, validation, case study, systems development, AutoFocus |
| 1 | Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch |
Tool Supported Specification and Simulation of Distributed Systems. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Huber, Bernhard Schätz |
Specification Modules for Methodical System Development. |
FBT |
1998 |
DBLP BibTeX RDF |
|
| 1 | Franz Huber, Bernhard Schätz, Geralf Einert |
Consistent Graphical Specification of Distributed Systems. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Huber, Bernhard Schätz |
Rapid Prototyping with AutoFocus. |
FBT |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Heinrich Hußmann, Manfred Broy |
Graphical Development of Consistent System Specifications. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies |
AutoFocus: A Tool for Distributed Systems Specification. |
FTRTFT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz |
Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem. |
Transputer-Anwender-Treffen |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")