Marleen Boonen

According to our database, Marleen Boonen authored at least 2 papers between 2003 and 2009.

Collaborative distances:

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

2009

Fast and accurate protocol specific bus modeling using TLM 2.0.

H. W. M. van Moll, Henk Corporaal, Víctor Reyes, Marleen Boonen

Proceedings of the Design, Automation and Test in Europe, 2009

2003

Using SSDE for USB2.0 conformance co-verification.

Thierry J.-F. Omnés, Gerard Postuma, Jos Verhaegh, Marleen Boonen, Nick Gatherer

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003