Bernhard Schätz - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 44 from 44

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]

Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, editors, Volume 07451 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

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.

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

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

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]

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

Service-Based Systems Engineering: Consistent Combination of ServicesBernhard Schätz, Chris Salzmann. icfem 2003: 86-104 [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

1998

1997

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

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

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

Sign in or sign up to see more results.

runs on WebDSL