Peter Battram

According to our database, Peter Battram authored at least 4 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Modular Safety Assurance.

Arnaud Boyer, Bastian Tenbergen, Santiago Velasco, Pablo Oliveira Antonino, Peter Battram, Suryo Buono, Bernhard Kaiser, Justyna Zander, Kai Bizik, Alexander Prohaska, Michael Käßmeyer

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

Early Validation of Engineering Artifacts.

Karsten Albers, Peter Battram, Alfred Bognar, Veronika Brandstetter, Andreas Froese, Bastian Tenbergen, Andreas Vogelsang, Joachim Wegener

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design.

Peter Battram, Bernhard Kaiser, Raphael Weber

Proceedings of the Joint Proceedings of REFSQ-2015 Workshops, 2015

2013

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets

Sven Sieverding, Christian Ellen, Peter Battram

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013