Fred Houben

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

Collaborative distances:

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

2013

Modeling task systems using parameterized partial orders.

Fred Houben, Georgeta Igna, Frits W. Vaandrager

Int. J. Softw. Tools Technol. Transf., 2013

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