2009 |
45 | EE | Markus Herrmannsdoerfer,
Sabine Rittmann,
Bernhard Schätz:
Structured Formalization of Service-Oriented Specifications.
ECBS 2009: 227-236 |
2008 |
44 | EE | 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 |
43 | EE | 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 |
42 | | Bernhard Schätz:
Vorwort zum Industriesymposium der Modellierung 2008.
Modellierung 2008: 251-252 |
41 | EE | Bernhard Schätz:
Formalization and Rule-Based Transformation of EMF Ecore-Based Models.
SLE 2008: 227-244 |
40 | EE | Bernhard Schätz:
Modular Functional Descriptions.
Electr. Notes Theor. Comput. Sci. 215: 23-38 (2008) |
2007 |
39 | | Holger Giese,
Gabor Karsai,
Edward Lee,
Bernhard Rumpe,
Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
38 | EE | 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 |
37 | EE | Alexander Pretschner,
Chris Salzmann,
Bernhard Schätz,
Thomas Stauner:
4th International ICSE Workshop on Software Engineering for Automotive Systems.
ICSE Companion 2007: 146 |
36 | EE | 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 |
35 | EE | 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 |
34 | EE | 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) |
33 | EE | 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) |
32 | EE | Bernhard Schätz:
Combining Product Lines and Model-Based Development.
Electr. Notes Theor. Comput. Sci. 182: 171-186 (2007) |
31 | EE | Eva Geisberger,
Bernhard Schätz:
Modellbasierte Anforderungsanalyse mit AutoRAID.
Inform., Forsch. Entwickl. 21(3-4): 231-242 (2007) |
30 | EE | 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) |
2006 |
29 | EE | Bernhard Schätz,
Eva Geisberger,
Johannes Grünbauer:
A Model-Based Approach To Requirements Analysis.
MMOSS 2006 |
28 | EE | 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) |
2005 |
27 | EE | Dirk Ziegenbein,
Peter Braun,
Ulrich Freund,
Andreas Bauer,
Jan Romberg,
Bernhard Schätz:
AutoMoDe - Model-Based Development of Automotive Software.
DATE 2005: 171-177 |
26 | EE | Bernhard Schätz,
Peter Braun,
Franz Huber,
Alexander K. Wißpeintner:
Checking and Transforming Models with AutoFOCUS.
ECBS 2005: 307-314 |
25 | | Bernhard Schätz,
Andreas Fleischmann,
Eva Geisberger,
Markus Pister:
Model-Based Requirements Engineering with AutoRAID.
GI Jahrestagung (2) 2005: 511-515 |
24 | | 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 |
23 | EE | Andreas Bauer,
Jan Romberg,
Bernhard Schätz:
Integrierte Entwicklung von Automotive-Software mit AutoFocus.
Inform., Forsch. Entwickl. 19(4): 194-205 (2005) |
2004 |
22 | | Andreas Bauer,
Jan Romberg,
Bernhard Schätz:
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS.
GI Jahrestagung (2) 2004: 13-17 |
21 | EE | Bernhard Schätz:
Model-Based Development: Combining Engineering Approaches and Formal Techniques.
ICFEM 2004: 1-2 |
20 | | Bernhard Schätz:
UML-RT - Die Lösung für eingebettete Software?
Modellierung 2004: 263-265 |
19 | | Bernhard Schätz,
Jan Romberg,
Oscar Slotosch,
Martin Strecker:
CASE Support and Model-Based Development.
Modellierung 2004: 283-284 |
2003 |
18 | EE | Bernhard Schätz,
Peter Braun,
Franz Huber,
Alexander K. Wißpeintner:
Consistency in Model-Based Development.
ECBS 2003: 287-296 |
17 | EE | Leonid Kof,
Bernhard Schätz:
Combining Aspects of Reactive Systems.
Ershov Memorial Conference 2003: 344-349 |
16 | EE | Bernhard Schätz,
Chris Salzmann:
Service-Based Systems Engineering: Consistent Combination of Services.
ICFEM 2003: 86-104 |
2002 |
15 | EE | Bernhard Schätz,
Alexander Pretschner,
Franz Huber,
Jan Philipps:
Model-Based Development of Embedded Systems.
OOIS Workshops 2002: 298-312 |
2000 |
14 | | Bernhard Schätz,
Katharina Spies:
10 Years Focus - Lessons learned.
FBT 2000: 111-120 |
13 | EE | Peter Braun,
Heiko Lötzbeyer,
Bernhard Schätz,
Oscar Slotosch:
Consistent Integration of Formal Methods.
TACAS 2000: 48-62 |
1999 |
12 | | Katharina Spies,
Bernhard Schätz:
Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999
Herbert Utz Verlag 1999 |
11 | | 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 |
10 | EE | Bernhard Schätz,
Franz Huber:
Integrating Formal Description Techniques.
World Congress on Formal Methods 1999: 1206-1225 |
9 | EE | Manfred Broy,
Franz Huber,
Bernhard Schätz:
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform., Forsch. Entwickl. 14(3): 121-134 (1999) |
1998 |
8 | EE | Franz Huber,
Sascha Molterer,
Bernhard Schätz,
Oscar Slotosch,
Alexander Vilbig:
Traffic Lights - An AutoFocus Case Study.
ACSD 1998: 282- |
7 | | Franz Huber,
Bernhard Schätz:
Specification Modules for Methodical System Development.
FBT 1998: 75-86 |
6 | EE | 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 |
5 | | Franz Huber,
Bernhard Schätz:
Rapid Prototyping with AutoFocus.
FBT 1997: 343-352 |
4 | | Franz Huber,
Bernhard Schätz,
Geralf Einert:
Consistent Graphical Specification of Distributed Systems.
FME 1997: 122-141 |
1996 |
3 | | Bernhard Schätz,
Heinrich Hußmann,
Manfred Broy:
Graphical Development of Consistent System Specifications.
FME 1996: 248-267 |
2 | | Franz Huber,
Bernhard Schätz,
Alexander Schmidt,
Katharina Spies:
AutoFocus: A Tool for Distributed Systems Specification.
FTRTFT 1996: 467-470 |
1990 |
1 | | Bernhard Schätz:
Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem.
Transputer-Anwender-Treffen 1990: 88-94 |