Fred Houben

According to our database, Fred Houben authored at least 3 papers between 2009 and 2012.

Collaborative distances:

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

2012

Modeling Task Systems Using Parameterized Partial Orders.

Fred Houben, Georgeta Igna, Frits W. Vaandrager

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

2010

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.

Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Adaptive Scheduling of Data Paths using Uppaal Tiga

Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009