Peter Braun

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 1

Top Venues

CoRR

Comput. Sci. Res. Dev.

MBEES

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
Model-Based Safety-Cases for Software-Intensive Systems. CoRR (2018)
Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer
Guiding requirements engineering for software-intensive embedded systems in the automotive industry. Comput. Sci. Res. Dev. 29 (1) (2014)
Sebastian Bauer, Peter Braun, Jan Philipps
Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse. MBEES (2013)
Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
Model-Based Safety-Cases for Software-Intensive Systems. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Benjamin Hummel, Peter Braun
Towards an integrated system model for testing and verification of automation machines. MiSE (2008)
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
AutoMoDe - Model-Based Development of Automotive Software CoRR (2007)
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) (2007)
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
AutoMoDe - Model-Based Development of Automotive Software. DATE (2005)
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
Checking and Transforming Models with AutoFOCUS. ECBS (2005)
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
Consistency in Model-Based Development. ECBS (2003)
Michael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder
Model Based Requirements Engineering for Embedded Software. RE (2002)
Peter Braun, Martin Rappl
A Model-Based Approach for Automotive Software Development. OMER (2001)
Peter Braun, Oscar Slotosch
Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. OMER (2001)
Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
Consistent Integration of Formal Methods. TACAS (2000)

Peter Braun.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Braun