Peter Braun

Affiliations:
  • Technical University Munich, Germany


According to our database1, Peter Braun authored at least 14 papers between 2000 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
Guiding requirements engineering for software-intensive embedded systems in the automotive industry.
Comput. Sci. Res. Dev., 2014

2013
Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

2008
Model-Based Safety-Cases for Software-Intensive Systems.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Towards an integrated system model for testing and verification of automation machines.
Proceedings of the International Workshop on Modeling in Software Engineering, 2008

2007
Das AutoMoDe-Projekt.
Inform. Forsch. Entwickl., 2007

2005
Checking and Transforming Models with AutoFOCUS.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

AutoMoDe - Model-Based Development of Automotive Software.
Proceedings of the 2005 Design, 2005

2004
Metamodellbasierte Kopplung von Werkzeugen in der Softwareentwicklung.
PhD thesis, 2004

2003
Consistency in Model-Based Development.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

Automotive UML.
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002
Model Based Requirements Engineering for Embedded Software.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001
Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator.
Proceedings of the OMER, 2001

A Model-Based Approach for Automotive Software Development.
Proceedings of the OMER, 2001

2000
Consistent Integration of Formal Methods.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000


  Loading...