Matti Linjama

According to our database, Matti Linjama authored at least 4 papers between 2013 and 2015.

Collaborative distances:

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

2015

Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems.

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

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

2014

Verification and Validation of a Pressure Control Unit for Hydraulic Systems.

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

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 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