Vitaly Savicks

According to our database, Vitaly Savicks authored at least 4 papers between 2010 and 2016.

Collaborative distances:

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

2016

Integrating formal verification and simulation of hybrid systems.

Vitaly Savicks

PhD thesis, 2016

2014

Co-simulating event-B and continuous models via FMI.

Vitaly Savicks, Michael J. Butler, John Colley

Proceedings of the 2014 Summer Simulation Multiconference, 2014

Co-simulation Environment for Rodin: Landing Gear Case Study.

Vitaly Savicks, Michael J. Butler, John Colley

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2010

Verification of UML Models by Translation to UML-B.

Colin F. Snook, Vitaly Savicks, Michael J. Butler

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010