2010 | ||
---|---|---|
49 | Bernhard Schätz, Christian Pfaller: Integrating Component Tests to System Tests. Electr. Notes Theor. Comput. Sci. 260: 225-241 (2010) | |
2009 | ||
48 | Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz: Structured Formalization of Service-Oriented Specifications. ECBS 2009: 227-236 | |
47 | 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) | |
2008 | ||
46 | 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 | |
45 | 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 | |
44 | Bernhard Schätz: Vorwort zum Industriesymposium der Modellierung 2008. Modellierung 2008: 251-252 | |
43 | Bernhard Schätz: Formalization and Rule-Based Transformation of EMF Ecore-Based Models. SLE 2008: 227-244 | |
42 | Bernhard Schätz: Modular Functional Descriptions. Electr. Notes Theor. Comput. Sci. 215: 23-38 (2008) | |
2007 | ||
41 | 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 | |
40 | 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 | |
39 | Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146 | |
38 | 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 | |
37 | 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 | |
36 | 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) | |
35 | 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) | |
34 | Bernhard Schätz: Combining Product Lines and Model-Based Development. Electr. Notes Theor. Comput. Sci. 182: 171-186 (2007) | |
33 | Eva Geisberger, Bernhard Schätz: Modellbasierte Anforderungsanalyse mit AutoRAID. Inform., Forsch. Entwickl. 21(3-4): 231-242 (2007) | |
32 | 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 | ||
31 | Ricardo Jorge Machado, João M. Fernandes, Matthias Riebisch, Bernhard Schätz: 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 | |
30 | Bernhard Schätz: Model-Based Engineering of Embedded Control Software. MDB/MOMPES 2006: 53-62 | |
29 | Bernhard Schätz, Eva Geisberger, Johannes Grünbauer: A Model-Based Approach To Requirements Analysis. MMOSS 2006 | |
28 | 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 | 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 | 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 | 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 | 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 | Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner: Consistency in Model-Based Development. ECBS 2003: 287-296 | |
17 | Leonid Kof, Bernhard Schätz: Combining Aspects of Reactive Systems. Ershov Memorial Conference 2003: 344-349 | |
16 | Bernhard Schätz, Chris Salzmann: Service-Based Systems Engineering: Consistent Combination of Services. ICFEM 2003: 86-104 | |
2002 | ||
15 | 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 | 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 | Bernhard Schätz, Franz Huber: Integrating Formal Description Techniques. World Congress on Formal Methods 1999: 1206-1225 | |
9 | Manfred Broy, Franz Huber, Bernhard Schätz: AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform., Forsch. Entwickl. 14(3): 121-134 (1999) | |
1998 | ||
8 | 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 | 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 |