Follow
Sven Sieverding
Sven Sieverding
Unknown affiliation
Verified email at btc-es.de
Title
Cited by
Cited by
Year
Detecting consistencies and inconsistencies of pattern-based functional requirements
C Ellen, S Sieverding, H Hungar
International Workshop on Formal Methods for Industrial Critical Systems …, 2014
322014
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
S Sieverding, C Ellen, P Battram
FESCA, 17-31, 2013
102013
Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns
W Herzner, S Sieverding, O Kacimi, E Böde, T Bauer, B Nielsen
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
62014
Projektgruppe ViDAs–Endbericht
J Bao, P Battram, A Enkelmann, A Gabel, J Heyen, T Koepke, C Läsche, ...
Technical report, Carl von Ossietzky Universität Oldenburg, 2010
42010
The system can't perform the operation now. Try again later.
Articles 1–4