dblp.uni-trier.dewww.uni-trier.de

Bernhard Schätz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
45EEMarkus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz: Structured Formalization of Service-Oriented Specifications. ECBS 2009: 227-236
2008
44EEFlorian 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
43EEMarko 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
41EEBernhard Schätz: Formalization and Rule-Based Transformation of EMF Ecore-Based Models. SLE 2008: 227-244
40EEBernhard 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
38EEManfred 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
37EEAlexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146
36EEHolger 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
35EEHolger 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
34EEAlexander 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)
33EEDirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software CoRR abs/0710.4829: (2007)
32EEBernhard Schätz: Combining Product Lines and Model-Based Development. Electr. Notes Theor. Comput. Sci. 182: 171-186 (2007)
31EEEva Geisberger, Bernhard Schätz: Modellbasierte Anforderungsanalyse mit AutoRAID. Inform., Forsch. Entwickl. 21(3-4): 231-242 (2007)
30EEAndreas 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
29EEBernhard Schätz, Eva Geisberger, Johannes Grünbauer: A Model-Based Approach To Requirements Analysis. MMOSS 2006
28EEManfred 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
27EEDirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz: AutoMoDe - Model-Based Development of Automotive Software. DATE 2005: 171-177
26EEBernhard 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
23EEAndreas 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
21EEBernhard 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
18EEBernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner: Consistency in Model-Based Development. ECBS 2003: 287-296
17EELeonid Kof, Bernhard Schätz: Combining Aspects of Reactive Systems. Ershov Memorial Conference 2003: 344-349
16EEBernhard Schätz, Chris Salzmann: Service-Based Systems Engineering: Consistent Combination of Services. ICFEM 2003: 86-104
2002
15EEBernhard 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
13EEPeter 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
10EEBernhard Schätz, Franz Huber: Integrating Formal Description Techniques. World Congress on Formal Methods 1999: 1206-1225
9EEManfred Broy, Franz Huber, Bernhard Schätz: AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform., Forsch. Entwickl. 14(3): 121-134 (1999)
1998
8EEFranz 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
6EEFranz 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

Coauthor Index

1Andreas Bauer [22] [23] [27] [30] [33]
2Marko Boskovic [43]
3Peter Braun [13] [18] [26] [27] [30] [33]
4Manfred Broy [3] [9] [28] [30] [38]
5Florian Deißenböck (Florian Deissenboeck) [44]
6Geralf Einert [4]
7Andreas Fleischmann [25]
8Jorge Fox [38]
9Ulrich Freund [27] [30] [33]
10Dragan Gasevic [43]
11Eva Geisberger [25] [29] [31]
12Holger Giese [35] [36] [39]
13Jean-Francois Girard [44]
14Johannes Grünbauer [29]
15Markus Herrmannsdoerfer [45]
16Florian Hölzl [38]
17Franz Huber [2] [4] [5] [6] [7] [8] [9] [10] [15] [18] [26]
18Benjamin Hummel [44]
19Heinrich Hußmann (Heinrich Hussmann) [3] [28]
20Elmar Jürgens [44]
21Erik Kamsties [11] [24]
22Gabor Karsai [35] [36] [39]
23Antje von Knethen [11] [24]
24Leonid Kof [17]
25Dagmar Koss [38]
26Ingolf Krüger (Ingolf H. Krüger) [28]
27Marco Kuhrmann [38]
28Edward Lee [35] [36] [39]
29Heiko Lötzbeyer [13]
30Pierre Mai [30]
31Nuria Mata [30]
32Michael Meisinger [38]
33Sascha Molterer [6] [8]
34Claus Pahl [43]
35Birgit Penzenstadler [38]
36Jan Philipps [11] [15] [24]
37Markus Pister [25]
38Alexander Pretschner [15] [34] [37]
39Andreas Rausch [6]
40Sabine Rittmann [38] [45]
41Jan Romberg [19] [22] [23] [27] [30] [33]
42Bernhard Rumpe [35] [36] [39]
43Chris Salzmann [16] [34] [37]
44Robert Sandner [30]
45Alexander Schmidt [2]
46Marc Sihling [6]
47Oscar Slotosch [6] [8] [13] [19]
48Maria Spichkova [38]
49Katharina Spies [2] [12] [14]
50Thomas Stauner [34] [37]
51Martin Strecker [19]
52Stefan Teuchert [44]
53Alexander Vilbig [8]
54Stefan Wagner [44]
55Doris Wild [38]
56Alexander K. Wißpeintner [18] [26]
57Dirk Ziegenbein [27] [30] [33]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)