Login / Signup
Elena Vorobev
Publication Activity (10 Years)
Years Active: 2011-2012
Publications (10 Years): 0
Top Topics
Pulmonary Nodules
Functional Verification
Process Planning
Computer Assisted
Top Venues
Auton. Robots
</>
Publications
</>
Holger Täubig
,
Udo Frese
,
Christoph Hertzberg
,
Christoph Lüth
,
Stefan Mohr
,
Elena Vorobev
,
Dennis Walter
Guaranteeing functional safety: design for provability and computer-aided verification.
Auton. Robots
32 (3) (2012)
Jan Peleska
,
Artur Honisch
,
Florian Lapschies
,
Helge Löding
,
Hermann Schmid
,
Peer Smuda
,
Elena Vorobev
,
Cornelia Zahlten
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.
ICTSS
(2011)
Jan Peleska
,
Elena Vorobev
,
Florian Lapschies
Automated Test Case Generation with SMT-Solving and Abstract Interpretation.
NASA Formal Methods
(2011)