According to our database1, Elena Vorobev authored at least 3 papers between 2011 and 2012.
Legend:Book In proceedings Article PhD thesis Other
Guaranteeing functional safety: design for provability and computer-aided verification.
Auton. Robots, 2012
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.
Proceedings of the Testing Software and Systems, 2011
Proceedings of the NASA Formal Methods, 2011