Michiel van Osch

According to our database, Michiel van Osch authored at least 5 papers between 2001 and 2020.

Collaborative distances:

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

2020

Sensor Fusion of Odometer, Compass and Beacon Distance for Mobile Robots.

Rufus Fraanje, René Beltman, Fidelis Theinert, Michiel van Osch, Teade Punter, John Bolte

Int. J. Artif. Intell. Mach. Learn., 2020

2011

A Component Framework where Port Compatibility Implies Weak Termination.

Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2006

Hybrid Input-Output Conformance and Test Generation.

Michiel van Osch

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Automated Model-Based Testing of X Simulation Models with TorX.

Michiel van Osch

Proceedings of the Quality of Software Architectures and Software Quality, 2005

2001

Finite-State Analysis of the CAN Bus Protocol.

Michiel van Osch, Scott A. Smolka

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001