Elena Vorobev

According to our database, Elena Vorobev authored at least 3 papers between 2011 and 2012.

Collaborative distances:

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

2012

Guaranteeing functional safety: design for provability and computer-aided verification.

Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter

Auton. Robots, 2012

2011

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.

Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten

Proceedings of the Testing Software and Systems, 2011

Automated Test Case Generation with SMT-Solving and Abstract Interpretation.

Jan Peleska, Elena Vorobev, Florian Lapschies

Proceedings of the NASA Formal Methods, 2011