Tim A.C. Willemse

• My PubZone record.
• My DBLP record; see also a more fancy version
  
• Google Scholar
• Microsoft's Academic Search
  

• J.J.A. Keiren, M.A. Reniers and T.A.C. Willemse. Structural Analysis of Boolean Equation Systems. In ACM Transactions on Computational Logic 13(1): 8, 2012.
  
  
• Yi Ling Hwong, Tim Willemse, Vincent Kusters, Gerry Bauer, Barbara Beccati, Ulf Behrens, Kurt  Biery, Olivier Bouffet, James Branson, Sebastian Bukowiec, Eric Cano, Harry Cheung, Marek Ciganek, Sergio  Cittolin, Jose Antonio Coarasa, Christian Deldicque, Aymeric Dupont, Samim Erhan, Dominique Gigi, Frank  Glege, Robert Gomez-Reino, Andre Holzner, Derek Hatton, Lorenzo Masetti, Frans Meijers, Emilio  Meschi, Remigius K Mommsen, Roland Moser, Vivian O'Dell, Luciano Orsini, Christoph  Paus, Andrea  Petrucci, Marco Pieri, Attila Racz, Olivier Raginel, Hannes Sakulin, Matteo Sani, Philipp  Schieferdecker, Christoph Schwick, Dennis Shpakov, Michal Simon and Konstanty Sumorok. An Analysis of the Control Hierarchy Modelling of the CMS Detector Control System. In Journal of Physics: Conference Series, 331(2) (2011).
  


• B. Ploeger, J.W. Wesselink and T.A.C. Willemse. Verification of Reactive Systems via Instantiation of Parameterised Boolean Equation Systems. In Information and Computation, 209(4):637-663 (2011).


• J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, J.W. Wesselink and T.A.C. Willemse. Experiences in developing the mCRL2 toolset. In Software -- Practice and Experience, 41(2):143-153 (2011).


• S.M. Orzan and T.A.C. Willemse. Invariants for Parameterised Boolean Equation Systems. In Theoretical Computer Science, 411(11-13):1338-1371, 2010.


• T.A.N. Engels, J.F. Groote, M.J. van Weerdenburg and T.A.C. Willemse. Search Algorithms for Automated Validation. In Journal of Logic and Algebraic Programming, 78(4):274-287, 2009.


• S. Andova and T.A.C. Willemse. Branching bisimulation for probabilistic systems: characteristics and decidability. In Theoretical Computer Science, 356(3):325-355, 2006.


• J.F. Groote and T.A.C. Willemse. Parameterised Boolean Equation Systems. In Theoretical Computer Science, 343:332-369, 2005.


• P. Caspi, A. Sangiovanni-Vincentelli, L. Almeida, A. Benveniste, B. Bouyssounouse, G. Buttazzo, I. Crnkovic, W. Damm, J. Engblom, G. Folher, M. Garcia-Valls, H. Kopetz, Y. Lakhnech, F. Laroussinie, L. Lavagno, G. Lipari, F. Maraninchi, Ph. Peti, J. De La Puente, N. Scaife, J. Sifakis, R. De Simone, M. Torngren, P. Verissimo, A.J. Wellings, R. Wilhelm, T. Willemse and W. Yi. Guidelines for a Graduate Curriculum on Embedded Software and Systems. In ACM Transactions on Embedded Computing Systems, Vol. 4(3):587-611, August 2005.


• J.F. Groote and T.A.C. Willemse. Model-checking processes with data. In Science of Computer Programming, 56:251-273, 2005.


• S. Mauw, W.T. Wiersma and T.A.C. Willemse. Language-Driven System Design. In International Journal of Software Engineering and Knowledge Engineering, Vol. 14, No. 6 (2004), pp. 1--39.

• T.A.C. Willemse. Test-Based Modeling. In J. Tretmans (ed.), Tangram: Model-based integration and testing of complex high-tech systems, Embedded Systems Institute, Eindhoven, 2007.


• J. Baeten, P. Baufreton, A. Benveniste, S. Boutin, B. Bouyssounouse, D. Briere, P. Caspi, W. Damm, E. Fuchs, V. Gafni, T. Gautier, D. Goshen, G. Gruensteidl, N. Halbwachs, H. Kopetz, K. Larsen, H. Le Berre, R. Leupers, B. Nielsen, E.-R. Olderog, Y. Papadopoulos, P. Peti, M. Pisecky, P. Puschner, J. Rennhack, A. Sangiovanni-Vincentelli, C. Scheidler, A. Skou, Y. Sorel, U. Virnich, B. Vogel-Heuser, R. Wilhelm, T. Willemse. Hard Real-Time Development Environments. In B. Bouyssounouse and J. Sifakis (eds.), Embedded Systems Design, Lecture Notes in Computer Science, Vol. 3436, 492 pages, 2005.


• S. Mauw, M.A. Reniers and T.A.C. Willemse. Message Sequence Charts in the software engineering process. In S.K. Chang (ed.), Handbook of Software Engineering and Knowledge Engineering, World Scientific, 2001.

• D. Remenska, T.A.C. Willemse, K. Verstoep, W. Fokkink, J. Templon, H. Bal, Using Model Checking to Analyze the System Behavior of the LHC Production Grid, accepted for the 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2012).
  
  
• M. Gazda and T.A.C. Willemse. Consistent Consequence for Boolean Equation Systems. In M. Bielikova et al. (eds), 38th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, Lecture Notes in Computer Science 7147, Springer, pp. 277--288, 2012.
  
  
• N. Noorozi, R. Koshravi, M.R. Mousavi and T.A.C. Willemse. Synchronizing Asynchronous Conformance Testing. In Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.), Software Engineering and Formal Methods - Ninth International Conference, SEFM 2011, Lecture Notes in Computer Science 7041, Springer, pp. 334--349, 2011. The full version containing detailed proofs is available as a technical report.
  
  
• S. Cranen, J.J.A. Keiren and  T.A.C. Willemse. Stuttering Mostly Speeds Up Solving Parity Games. In M. Gheorghiu Bobaru, K. Havelund, G.J. Holzmann, R. Joshi (eds.), NASA Formal Methods - Third International Symposium, NFM 2011, Lecture Notes in Computer Science 6617, Springer-Verlag, pp. 207--221, 2011. For updates on our experiments, see this arXiv preprint.
  
  
• Y.L. Hwong, V.J.J. Kusters and T.A.C. Willemse. Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Accepted for FSEN 2011. Received the Honourable Mention award. Full version containing the formal translations is available as an arXiv preprint.
  
  
• M.A. Reniers and T.A.C. Willemse. Folk Theorems on the Correspondence Between State-Based and Event-Based Systems. In I. Cerna, T. Gyimothy, J. Hromkovic, K.G. Jeffery, R. Kralovic, M. Vukolic, S. Wolf (eds.), SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science 6543, pp. 494--505, 2011. Full version available at arXiv.
  
  
• T.A.C. Willemse. Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. In P. Gastin and F. Laroussinie (eds.), Concurrency Theory, 21st International Conference, CONCUR 2010, Paris, France, Lecture Notes in Computer Science 6269, Springer-Verlag, pp. 584--598, 2010.


• J.J.A. Keiren and T.A.C. Willemse. Bisimulation Minimisations for Boolean Equation Systems. In Haifa Verification Conference 2009, Lecture Notes in Computer Science 6405, Springer-Verlag, pp. 102--116, 2011. A full version with detailed proofs appeared as CSR09-17.


• Y.L. Hwong, A. Racz, B. Beccati, C. Deldicque, C. Schwick, D. Gigi, E. Cano, E. Meschi, F. Glege, F. Meijers, H. Sakulin, J.A. Coarasa, J.F. Laurens, J. Gutleber, L. Orsini, M. Ciganek, M. Simon, M. Zanetti, R. Gomez-Reino, R. Moser, S. Cittolin, J.F. Groote, T. Willemse, A. Meyer, D. Hatton, U. Behrens, D. Shpakov, H. Cheung, J.A. Lopez-Perez, K. Biery, R.K. Mommsen, V. O'Dell, A.S. Yoon, C. Loizides, C. Paus, F. Ma, G. Bauer, J.F. Serrano Margaleff, K. Sumorok, S. Erhan, A. Petrucci, J. Branson, M. Pieri, M. Sani. Analysis of the Control Hierarchy Modelling of the CMS Detector Control System, in ICALEPCS 2009, Kobe, Japan.


• M.A. Reniers and T.A.C. Willemse. Analysis of Structure Graphs for Boolean Equation Systems. In B. Klin and P. Sobocinski (eds.), SOS 2009, Electronic Proceedings in Theoretical Computer Science, 18:92-107, 2010.


• S.M. Orzan, J.W. Wesselink and T.A.C. Willemse. Static Analysis Techniques for Parameterised Boolean Equation Systems. In S. Kowalewski and A. Philippou (eds.), TACAS 2009, Lecture Notes in Computer Science 5505, pp. 230--245, 2009.


• S.M. Orzan and T.A.C. Willemse. Invariants for Parameterised Boolean Equation Systems (extended abstract). In F. van Breugel, M. Chechik (eds.), Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, Lecture Notes in Computer Science 5201, Springer-Verlag, pp. 187--202, 2008.


• A. van Dam, B. Ploeger and Tim A.C. Willemse. Instantiation for Parameterised Boolean Equation Systems . In J.S. Fitzgerald, A.E. Haxthausen, H. Yenigun (eds.), Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey Lecture Notes in Computer Science 5160, Springer-Verlag, pp. 440--454,2008.


• J.F. Groote, J. Keiren, A. Mathijssen, B. Ploeger, F. Stappers, C. Tankink, Y. Usenko, M. van Weerdenburg, W. Wesselink, T. Willemse and J. van der Wulp. The mCRL2 toolset. In Proceedings of the International Workshop on Advanced Software Development Tools and Techniques 2008.


• T. Chen, B. Ploeger, J. van de Pol and T.A.C. Willemse. Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems. In L. Caires, V.T. Vasconcelos (eds.), Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, Lecture Notes in Computer Science 4703, Springer-Verlag, pp. 120--135, 2007.


• M. Gromov and T.A.C. Willemse. Testing and Model-Checking Techniques for Diagnosis. In A. Petrenko, M. Veanes, J. Tretmans, W. Grieskamp (eds.), Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, Lecture Notes in Computer Science 4581, Springer-Verlag, pp. 138--154, 2007.


• M. Oostdijk, V. Rusu, J. Tretmans, R.G. de Vries and T.A.C. Willemse. Integrating verification, testing and learning for cryptographic protocols. In J. Davies, J. Gibbons (eds.), Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, Lecture Notes in Computer Science 4591, Springer-Verlag, pp. 538--557, 2007.


• T.A.C. Willemse. Heuristics for ioco-Based Test-Based Modelling (extended abstract). In L. Brim, B. Haverkort, M. Leucker and J. van de Pol (eds.), Proceedings of FMICS and PDMC 2006, Lecture Notes in Computer Science 4346, Springer-Verlag, pp. 123--147, 2007.


• S. Andova, J.C.M. Baeten, P.R. D'Argenio and T.A.C. Willemse. A compositional merge of probabilistic processes in the alternating model. In L. Aceto and A. Ingolfsdottir (eds.), Proceedings of NWPT'06, 2006.


• L. Frantzen, J. Tretmans and T.A.C. Willemse. A Symbolic Framework for Model-Based Testing. In K. Havelund, M. Nunez, G. Rosu, and B. Wolff (eds.), FATES/RV 2006, Lecture Notes in Computer Science 4262,Springer-Verlag, pp. 40--54, 2006.


• S. Andova, J.C.M. Baeten and T.A.C. Willemse. A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems, with an Application in Protocol Verification. In C. Baier, H. Hermanns (eds.), CONCUR 2006 -- Concurrency Theory, Lecture Notes in Computer Science 4137, Springer-Verlag, pp. 327--342, 2006.


• L. Frantzen, J. Tretmans and T.A.C. Willemse. Test Generation Based on Symbolic Specifications. In J. Grabowski and B. Nielsen (eds.), Proceedings of FATES 2004, Linz, Lecture Notes in Computer Science 3395, Springer-Verlag, pp. 1--15, 2005.


• S. Andova and T.A.C. Willemse. Equivalences for silent transitions in Probabilistic Systems (extended abstract). In J. Baeten and F. Corradini (eds.), Proceedings of the 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004), ENTCS 128(2): pp. 53-66, 2005.


• J.F. Groote and T.A.C. Willemse. Parameterised Boolean Equation Systems (extended abstract). In Philippa Gardner and Nobuko Yoshida (eds.), Proceedings of CONCUR 2004, London, Lecture Notes in Computer Science 3170, pp. 308--324, 2004.


• T.A.C. Willemse. Embeddings of Hybrid Automata in Process Algebra. In E. A. Boiten, J. Derrick and G. Smith (eds.), Fourth International Conference on Integrated Formal Methods IFM2004, Lecture Notes in Computer Science, volume 2999,pp. 343--362, Springer-Verlag, 4-7 April 2004 in Canterbury, England, 2004.


• S. Andova and T.A.C. Willemse. Verification of Random Behaviours. In Proceedings of the 1st South-East European Workshop on Formal Methods, SEEFM03, Greece, pp. 84--99, 2004.


• J.F. Groote and T.A.C. Willemse. A Checker for Modal Formulas for Processes with Data. In F.S. de Boer, M.M. Bosangue, S. Graf and W.-P. de Roever (eds.), Proceedings of Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, Lecture Notes in Computer Science 3188, pp. 223--239, 2004.


• S. Mauw, W.T. Wiersma and T.A.C. Willemse. Language-Driven System Design. In HICSS-35, Proceedings of the Hawaii International Conference on System Sciences, minitrack on Domain-Specific Languages for Software Engineering, Hawaii, January 2002.
  
  
• Tim A.C. Willemse. Jan Tretmans and Arjen Klomp, A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol. In S. Gnesi, I. Schieferdecker, A. Rennoch (eds.), Fifth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000), April 3-4 2000.

• Tim Willemse. Verification using Parameterised Boolean Equation Systems, Nieuwsbrief Nederlandse Vereniging voor Theoretische Informatica, 2010 (invited contribution).


• Tim Willemse. Logica legt systeemfouten bloot. In Bennie Mols, Omringd Door Informatica, 109-112, 2010 (interview).


• Tim Willemse. Analysemethoden moeten garanties over kwaliteit geven, Computable, Feb. 19, 2007 (interview).


• Tim Willemse. Weg uit de top: Nederlandse wetenschappers verliezen terrein ten opzichte van de wereldtop, Automatisering Gids, Vol. 40(47):17, 2006.


• Marko van Eekelen, Jan Tretmans, Tim Willemse. Vastleggen en Controleren van Kwaliteit Essentieel voor Outsourcing en Offshoring, Automatisering Gids, Vol. 38(11):13, 2005.


• T.A.C. Willemse. Top-25 Nederlandse Informatici, Automatisering Gids, vol. 37(40):15, 2004.

• F.P.M. Stappers and T.A.C. Willemse, editors, 15e Nederlandse Testdag, 2009.


• L.M.G. Feijs, N. Goga, S. Mauw and T.A.C. Willemse, editors, 7e Nederlandse Testdag, Eindhoven University of Technology, Department of Computer Science, CSR 01-10, 2001.


• Dragan Bosnacki, Sjouke Mauw and Tim A.C. Willemse, editors, The proceedings of the first international symposium on Visual Formal Methods VFM'99, Eindhoven University of Technology, Department of Computing Science, CSR 99-08, 1999.

• S. Cranen, M.W. Gazda, J.W. Wesselink and T.A.C. Willemse. Abstraction in Parameterised Boolean Equation Systems, Eindhoven University of Technology, Department of Computer Science, 2012, 27pp.
  
  
• S.Cranen, J.J.A. Keiren and T.A.C. Willemse. A cure for stuttering parity games, Eindhoven University of Technology, Department of Computer Science, CSR 12-05, 2012, 25pp.
  
  
• N. Noroozi, R. Khosravi, M.R. Mousavi and T.A.C. Willemse. Synchronizing Asynchronous Conformance Testing, Eindhoven University of Technology, Department of Computer Science, CSR 11-10, 2011, 18 pp.
  
  
• S. Cranen, J.J.A. Keiren and T.A.C. Willemse. Stuttering Equivalence for Parity Games, CoRR abs 1102.2366, 2011, 16 pp.
  
  
• Y.-L. Hwong, V.J.J. Kusters and T.A.C. Willemse. Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider, CoRR abs 1101.5324, 2011, 46 pp.
  
  
• M.A. Reniers and T.A.C. Willemse. Folk Theorems on the Correspondence Between State-Based and Event-Based Systems, CoRR abs 1011.0136, 21pp.
  
  
• Jeroen Keiren and Tim A.C. Willemse. Bisimulation Minimisations for Boolean Equation Systems, Eindhoven University of Technology, Department of Computer Science, CSR 09-17, 2009, 22 pp.


• Maarten G. Meulen, Frank P.M. Stappers and Tim A.C. Willemse. Breadth-Bounded Model Checking, Eindhoven University of Technology, Department of Computer Science, CSR 09-03, 2009, 19 pp.


• S.M. Orzan and T.A.C. Willemse. Invariants for Parameterised Boolean Equation Systems, Eindhoven University of Technology, Department of Computer Science, CSR 08-17, 2008, 40 pp.


• A. van Dam, B. Ploeger and Tim A.C. Willemse. Instantiation for Parameterised Boolean Equation Systems, Eindhoven University of Technology, Department of Computer Science, CSR 08-11, 2008, 24 pp.


• Tom A.N. Engels, Jan Friso Groote, Muck J. van Weerdenburg and Tim A.C. Willemse. Search Algorithms for Automated Validation, Eindhoven University of Technology, Department of Computer Science, CSR 07-24, 2007, 24 pp.


• Taolue Chen, Bas Ploeger, Jaco van de Pol and Tim A.C. Willemse. Equivalence Checking for Infinite Systems using Parameterized BooleanEquation Systems, Eindhoven University of Technology, Department of Computer Science, CSR 07-14, 2007, 23 pp.


• Maxim Gromov and Tim A.C. Willemse. Testing and Model-Checking Techniques for Diagnosis, Radboud University Nijmegen, ICIS-R07016, June 2007, 27 pp.


• Suzana Andova and Tim A.C. Willemse. Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability, Twente University, TR-CTIT-05-08, February 2005, 36 pp.


• J.F. Groote and T.A.C. Willemse. Parameterised Boolean Equation Systems, Eindhoven University of Technology, Department of Computer Science, CSR 04-09, 2004.


• J.F. Groote and T.A.C. Willemse. A Checker for Modal Formulas for Processes with Data, Eindhoven University of Technology, Department of Computer Science, CSR 02-16, 2002.


• S. Mauw, W.T. Wiersma and T.A.C. Willemse. Language-Driven System Design, Eindhoven University of Technology, Department of Computer Science, CSR 01-07, 2001.


• Tim A.C. Willemse. Interpretations of Automata, Eindhoven University of Technology, Department of Computer Science, CSR 01-02, 2001.


• S. Mauw, M.A. Reniers and T.A.C. Willemse. Message Sequence Charts in the software engineering process, Eindhoven University of Technology, Department of Computing Science, CSR 00-12, 2000.


• Tim A.C. Willemse, Jan Tretmans and Arjen Klomp. A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol, Eindhoven University of Technology, Department of Computing Science, CSR 00-10, 2000.


• Tim A.C. Willemse. The analysis of a Conveyor Belt System: a case study in Hybrid Systems and timed muCRL, Eindhoven University of Technology, Department of Computing Science,CSR 99-10, 1999.

• Tim A.C. Willemse. Semantics and Verification in Process Algebras with Data and Timing, PhD Dissertation, Eindhoven University of Technology, February 2003.


• Tim A.C. Willemse. The Specification and Validation of the OM/RR protocol, Master's Thesis, Eindhoven University of Technology, July 1998.

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

Previous Posts

	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: