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 |