Mikko Heikkilä

According to our database, Mikko Heikkilä authored at least 4 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• 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

2005

Using Signs for Configuring Work Tasks of Service Robots.

Mikko Heikkilä, Sami Terho, Minna Hirsi, Aarne Halme, Pekka Forsman

Proceedings of the Climbing and Walking Robots, 2005