Person

M.Sc. Sven Sieverding

 

Forschungsbereiche

Verkehr / Safety Analysis & Verification

 

Raum

Schuler EG 3

Telefon

+49 441 9722-452

E-Mail

sven.sieverding [ A T ] offis.de

 

Publikationen

Titel

Detecting consistencies and inconsistencies of pattern-based functional requirements

Buchtitel

Formal Methods for Industrial Critical Systems

Alle Autoren

Christian Ellen and Sven Sieverding and Hardi Hungar

Jahr

2014

Titel

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

Buchtitel

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

Jahr

2014

Titel

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

Buchtitel

FESCA

Alle Autoren

Sven Sieverding and Christian Ellen and Peter Battram

Jahr

2013