Peter Braun

16 papers A 3C 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2018 J jnl
Model-Based Safety-Cases for Software-Intensive Systems.
CoRR
Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
2014 J jnl
Guiding requirements engineering for software-intensive embedded systems in the automotive industry.
Comput. Sci. Res. Dev.
Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer
2013 — conf
Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse.
MBEES
Sebastian Bauer, Peter Braun, Jan Philipps
2008 — conf
Model-Based Safety-Cases for Software-Intensive Systems.
SafeCert@ETAPS
Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
2008 C conf
Towards an integrated system model for testing and verification of automation machines.
MiSE
Benjamin Hummel, Peter Braun
2007 J jnl
AutoMoDe - Model-Based Development of Automotive Software
CoRR
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
2007 J jnl
Das AutoMoDe-Projekt.
Inform. Forsch. Entwickl.
Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Núria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein
2005 A conf
AutoMoDe - Model-Based Development of Automotive Software.
DATE
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
2005 — conf
Checking and Transforming Models with AutoFOCUS.
ECBS
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
2004 — —
Metamodellbasierte Kopplung von Werkzeugen in der Softwareentwicklung.
Peter Braun
2003 — ch.
Automotive UML.
UML for Real
Michael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder
2003 — conf
Consistency in Model-Based Development.
ECBS
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
2002 A conf
Model Based Requirements Engineering for Embedded Software.
RE
Michael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder
2001 — conf
A Model-Based Approach for Automotive Software Development.
OMER
Peter Braun, Martin Rappl
2001 — conf
Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator.
OMER
Peter Braun, Oscar Slotosch
2000 A conf
Consistent Integration of Formal Methods.
TACAS
Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch