Bernhard Schätz - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Structured Formalization of Service-Oriented SpecificationsMarkus Herrmannsdörfer, Sabine Rittmann, Bernhard Schätz. ECBS 2009: 227-236 [doi]

2008

2007

Das AutoMoDe-ProjektAndreas Bauer 0002, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun 0003, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein. ife, 22(1):45-57, 2007. [doi]

Service-Oriented Modeling of CoCoME with Focus and AutoFocusManfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild. dagstuhl 2008: 177-206 [doi]

Modellbasierte Anforderungsanalyse mit AutoRAIDEva Geisberger, Bernhard Schätz. ife, 21(3-4):231-242, 2007. [doi]

07451 Summary - Model-Based Engineering of Embedded Real-Time SystemsHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. dagstuhl 2007: [doi]

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time SystemsHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. dagstuhl 2007: [doi]

4th International ICSE Workshop on Software Engineering for Automotive SystemsAlexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner. ICSE 2007: 146 [doi]

4:::th::: Intl. ICSE workshop on Software Engineering for Automotive SystemsAlexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner. sigsoft, 32(4):40, 2007. [doi]

Combining Product Lines and Model-Based DevelopmentBernhard Schätz. ENTCS, 182:171-186, 2007. [doi]

2006

SoSyM special section on service-based software engineeringManfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz. SoSyM, 5(2):170-171, 2006. [doi]

A Model-Based Approach To Requirements AnalysisBernhard Schätz, Eva Geisberger, Johannes Grünbauer. dagstuhl 2007: [doi]

2005

Integrierte Entwicklung von Automotive-Software mit AutoFocusAndreas Bauer 0002, Jan Romberg, Bernhard Schätz. ife, 19(4):194-205, 2005. [doi]

An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing RequirementsErik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz. In John Krogstie, Terry A. Halpin, Keng Siau, editors, Information Modeling Methods and Methodologies. pages 125-147, Idea Group, 2005.

Checking and Transforming Models with AutoFOCUSBernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner. ECBS 2005: 307-314 [doi]

Model-Based Requirements Engineering with AutoRAIDBernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister. gi 2005: 511-515

AutoMoDe - Model-Based Development of Automotive SoftwareDirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz. date 2005: 171-177 [doi]

2004

Integrierte Entwicklung von Automotive-Software mit AutoFOCUSAndreas Bauer 0002, Jan Romberg, Bernhard Schätz. gi 2004: 13-17

UML-RT - Die Lösung für eingebettete Software?Bernhard Schätz. modellierung 2004: 263-265

Model-Based Development: Combining Engineering Approaches and Formal TechniquesBernhard Schätz. icfem 2004: 1-2 [doi]

CASE Support and Model-Based DevelopmentBernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker. modellierung 2004: 283-284

2003

Combining Aspects of Reactive SystemsLeonid Kof, Bernhard Schätz. ershov 2003: 344-349 [doi]

Service-Based Systems Engineering: Consistent Combination of ServicesBernhard Schätz, Chris Salzmann. icfem 2003: 86-104 [doi]

Consistency in Model-Based DevelopmentBernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner. ECBS 2003: 287-296 [doi]

2002

Model-Based Development of Embedded SystemsBernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps. oois 2002: 298-312 [doi]

2000

Consistent Integration of Formal MethodsPeter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch. TACAS 2000: 48-62 [doi]

10 Years Focus - Lessons learnedBernhard Schätz, Katharina Spies. fbt 2000: 111-120

1999

AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter SystemeManfred Broy, Franz Huber, Bernhard Schätz. ife, 14(3):121-134, 1999. [doi]

Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale BeschreibungstechnikenErik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz. fbt 1999: 103-112

Integrating Formal Description TechniquesBernhard Schätz, Franz Huber. fm 1999: 1206-1225 [doi]

1998

1997

Rapid Prototyping with AutoFocusFranz Huber, Bernhard Schätz. fbt 1997: 343-352

Consistent Graphical Specification of Distributed SystemsFranz Huber, Bernhard Schätz, Geralf Einert. fm 1997: 122-141

1996

AutoFocus: A Tool for Distributed Systems SpecificationFranz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies. ftrtft 1996: 467-470

Graphical Development of Consistent System SpecificationsBernhard Schätz, Heinrich Hußmann, Manfred Broy. fm 1996: 248-267

1990

Portierung eines neuronalen Netzwerksimulators auf ein TransputersystemBernhard Schätz. tat 1991: 88-94