Petr Alexeev

According to our database, Petr Alexeev authored at least 2 papers between 2013 and 2014.

Collaborative distances:

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

2014

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System.

Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems.

Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere

Proceedings of the PECCS 2013, 2013