According to our database1, Fred Houben authored at least 3 papers between 2009 and 2013.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2013
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009