Tim A.C. Willemse

RESEARCH PROJECTS

Principal Investigator in the NWO-project VOCHS (2010-2013), a project on verifying the control software of the CMS experiment at the Large Hadron Collider (CERN), using the framework of parameterised Boolean equation systems.
Principal Investigator in the NWO-project COMFORTS (2006-2009), a project on verification of data-dependent and real-time systems using parameterised Boolean equation systems.
Project leader of Line of Attention 3 on Model-Based Testing Methodology within the SenterNovem-project TANGRAM (2004-2008) on Model-Based Testing, Integration and Diagnosis

News

CCGrid paper accepted! Posted at 05/02/12 - 12:02 AM

Our paper describing our analysis of a distributed grid system supporting production activities as well as user data analysis used at CERN was accepted for CCGrid'12. The actual system has been under development for over 10 years. Our models revealed livelocks and race conditions, explaining phenomena observed in the actual system.

Author: Tim Willemse

University Teaching Qualification Posted at 27/01/12 - 12:01 PM

As of a few days ago, I'm qualified to teach ;-) That is, I have earned a document --colloquially known as a BKO-- stating that I have 'shown to have attained the required level for the pedagogical competencies of the University Teaching Qualification'.

Author: Tim Willemse

Consistent Consequence: decidability, soudness and completeness Posted at 21/09/11 - 8:09 PM

Joy! Our paper on consistent consequence for Boolean equation systems has been accepted at SOFSEM 2012. In this paper, Maciek Gazda and I prove that this preorder on the proposition variables can be used to under-approximate the solution to such equation systems. Apart from that, we address its decidability (the problem turns out to be coNP complete) and we give a sound and complete proof system for reasoning about consistent consequence. Our preorder may just serve as the semantic basis for abstraction and refinement techniques for abstract interpretation for PBESs.

Author: Tim Willemse

TU/e Teaching Award Nomination Posted at 09/08/11 - 12:08 AM

I've been nominated for our university's teaching award; that came sort of as a --pleasant-- surprise! Thx to the students that voted for me!

Author: Tim Willemse

	Title
26/04/11	Honourable Mention!
18/11/10	Instantiate
26/10/10	Folk Theorems
07/10/10	Bugs detected and smashed!
27/07/10	Structure Graphs for BESs
26/05/10	I CONCUR :-)
10/03/10	VOCHS accepted!

News feed: