Persons

M.Sc. Sven Sieverding

 

Research and Developement Division

Verkehr / Safety Analysis & Verification

 

Room

Schuler EG 3

Phone

+49 441 9722-452

E-Mail

sven.sieverding [ A T ] offis.de

 

Publications

Title

Detecting consistencies and inconsistencies of pattern-based functional requirements

booktitle

Formal Methods for Industrial Critical Systems

Alle Autoren

Christian Ellen and Sven Sieverding and Hardi Hungar

Year

2014

Title

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

booktitle

2nd International Workshop on Risk Assessment and Risk-driven Testing

Alle Autoren

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

Year

2014

Title

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

booktitle

FESCA

Alle Autoren

Sven Sieverding and Christian Ellen and Peter Battram

Year

2013