Sven Sieverding

According to our database, Sven Sieverding authored at least 3 papers between 2013 and 2014.

Collaborative distances:

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

2014

Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns.

Wolfgang Herzner, Sven Sieverding, Omar Kacimi, Eckard Böde, Thomas Bauer, Brian Nielsen

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements.

Christian Ellen, Sven Sieverding, Hardi Hungar

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

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