PUBLICATIONS



External sources
Note: the below sources seem to trail behind a bit. In particular, book contributions cannot always be accessed through these.


Journals
  1. M. Laveaux and T.A.C. Willemse. Decomposing monolithic processes in a process algebra with multi-actions. J. Log. Algebraic Methods Program. 132: 100858, 2023.

  2. M.H. ter Beek, K.G. Larsen, D. Nickovic and T.A.C. Willemse. Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(3): 325-330, 2022.

  3. T. Neele, T.A.C. Willemse, W. Wesselink, A. Valmari. Partial-order reduction for parity games and parameterised Boolean equation systems. Int. J. Softw. Tools Technol. Transf. 24(5): 735-756, 2022.

  4. O. Bunte, L.C.M. van Gool and T.A.C. Willemse. Formal verification of OIL component specifications using mCRL2. International Journal on Software Tools for Technology Transfer 24, 441--472, 2022.

  5. T. Neele, A. Valmari and T.A.C. Willemse. A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Log. Methods Comput. Sci. 17(3), 2021.

  6. M. Laveaux, J.F. Groote and T.A.C. Willemse. Correct and Efficient Antichain Algorithms for Refinement Checking. Log. Methods Comput. Sci. 17(1), 2021.

  7. J.F. Groote and T.A.C. Willemse. A symmetric protocol to establish service level agreements.  Log. Methods Comput. Sci. 16(3), 2020.

  8. M. Bouwman, B. Luttik and T.A.C. Willemse. Off-the-shelf automated analysis of liveness properties for just paths. Acta Inf. 57(3-5): 551-590 (2020)

  9. T. Neele, T.A.C. Willemse and J.F. Groote. Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems. Science of Computer Programming, 188, article 102389, 2020.

  10. C. Morisset, T.A.C. Willemse and N. Zannone. A framework for the extended evaluation of ABAC policies. Cybersecurity, 2(1):6, 2019.

  11. M.W. Gazda and T.A.C. Willemse. Cooking Your Own Parity Game Preorders Through Matching Plays. Journal of Foundations of Computer Science, 29(4), 571-590, 2018.

  12. S. Cranen, J.J.A. Keiren and T.A.C. Willemse. Parity Game Reductions. Acta Informatica, 55(5), 401-444, 2018.

  13. D. de Frutos Escrig, J.J.A. Keiren and T.A.C. Willemse. Games for Bisimulations and Abstractions. Logical Methods in Computer Science 13(4), 2017.

  14. S. Cranen, M.W. Gazda, J.W. Wesselink and T.A.C. Wilemse. Abstraction in Fixpoint Logic. In ACM Transactions on Computational Logic 16(4):29, 2015.

  15. N. Noroozi, R. Khosravi, M.R. Mousavi and T.A.C. Willemse. Synchrony and Asynchrony in Conformance Testing. In Journal of Software and Systems Modeling 14(1):149-172, 2015.

  16. M.A. Reniers, R. Schoren and T.A.C. Willemse. Results on Embeddings between State-Based and Event-Based Systems. The Computer Journal 57(1):73-92, 2014.

  17. D. Remenska, T.A.C. Willemse, K. Verstoep, J. Templon and H.E. Bal. Using Model Checking to Analyze the System Behavior of the LHC Production Grid. In Future Generation Computer Systems 29(8):2239-2251, 2013

  18. Y.L. Hwong, J.J.A. Keiren, V.J.J, Kusters, S. Leemans and T.A.C. Willemse. Formalising and Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. In Science of Computer Programming 78(12):2435-2452 (2013).

  19. D. Remenska, J. Templon, T.A.C. Willemse, H.E. Bal,  K. Verstoep, W. Fokkink, Ph. Charpentier, R. Graciani Diaz, E. Lanciotti, S. Roiser and K. Ciba. Analysis of DIRAC's behavior using model checking with process algebra. In Journal of Physics: Conference Series, 396(5) (2012).

  20. 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.

  21. 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).

  22. 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).

  23. 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).

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

  25. 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.

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

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

  28. 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.

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

  30. 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.



(Chapters in) Books

  1. T.A.C. Willemse and M. Gazda. Parity Games. In Encyclopedia of Algorithms 2016.

  2. 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.

  3. 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 DesignLecture Notes in Computer Science, Vol. 3436, 492 pages, 2005.

  4. 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.



Refereed Conference and Workshop Contributions
  1. P.H.M. van Spaendonck and T.A.C. Willemse. The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. CONCUR 2023, LIPIcs volume 279, pp. 4:1-4:16, 2023.

  2. J.F. Groote and T.A.C. Willemse. Real Equation Systems with Alternating Fixed-Points. In CONCUR 2023, LIPIcs volume 279, pp. 28:1-28:17, 2023.

  3. O. Bunte, L.C.M. van Gool, T.A.C. Willemse. On the Preservation of Properties When Changing Communication Models. In SOFSEM 2023, volume 13878 of Lecture Notes in Computer Science, Springer, pp. 239-253, 2023.

  4. M. Bouwman, M. Laveaux, B. Luttik, T.A.C. Willemse. Decompositional Branching Bisimulation Minimisation of Monolithic Processes. In FACS 2022, volume 13712 of Lecture Notes in Computer Science, Springer, pp. 161-182, 2022.

  5. J.F. Groote, K.H.J. Jilissen, M. Laveaux, P.H.M. van Spaendonck, T.A.C. Willemse.
    Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning 2022. Volume 13560 of Lecture Notes in Computer Science, Springer, pp. 306-320, 2022.

  6. H. Arshad, R. Horne, Ch. Johansen, O. Owe and T.A.C. Willemse. Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. In FORTE 2022, volume 13273 of Lecture Notes in Computer Science, Springer, pp. 11-30, 2022. Received the award for best software artefact.

  7. M. Laveaux, W. Wesselink and T.A.C. Willemse. On-The-Fly Solving for Symbolic Parity Games. In TACAS 2022, volume 13244 of Lecture Notes in Computer Science, Springer, pp.137-155, 2022.

  8. M. Laveaux and T.A.C. Willemse. Decomposing Monolithic Processes in a Process Algebra with Multi-actions. In ICE 2021, volume 347 of EPTCS, 2021.

  9. M. Bouwman, B. Luttik and T.A.C. Willemse. Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract) In FORTE 2021, volume 12719 of Lecture Notes in Computer Science, Springer, pp. 182-187, 2021.

  10. O. Bunte, L.C.M. van Gool and T.A.C. Willemse. Formal verification of OIL component specifications using mCRL2. In FMICS 2020, volume 12327 of Lecture Notes in Computer Science, Springer, pp. 231-251, 2020.

  11.  M. Bouwman, B. Luttik, W. Schols and T.A.C. Willemse. A process algebra with global variables. In EXPRESS/SOS 2020, 2020.

  12. T. Neele, T.A.C. Willemse and W. Wesselink. Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. In TACAS 2020, volume 12076 of Lecture Notes in Computer Science, Springer, pp. 245-265, 2020. Note: the paper contains a mistake that is repaired in the thesis of Thomas Neele. In short: a condition P, requiring that the reduction function must contain all events for a vertex that has a successor owned by even and a successor owned by odd. Noted by Antti Valmari. 

  13. T. Neele, A. Valmari and T.A.C. Willemse. The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. In FoSSaCS 2020, volume 12077 of Lecture Notes in Computer Science, Springer, pp. 482-501, 2020. Received the EATCS Best Paper award.

  14. M.H. ter Beek, S. van Loo, E.P. de Vink and T.A.C. Willemse. Family-Based SPL Model Checking Using Parity Games with Variability. In FASE 2020, volume 12076 of Lecture Notes in Computer Science, Springer, pp. 245-265, 2020.

  15. M. Laveaux, J.F. Groote and T.A.C. Willemse, Correct and Efficient Antichain Algorithms for Refinement Checking. In J.A. Pérez and N. Yoshida, editors, FORTE 2019, volume 11535 of Lecture Notes in Computer Science, Springer, pp. 185-203, 2019.

  16. O. Bunte, J.F. Groote, J.J.A. Keiren, M. Laveaux, T. Neele, E.P. de Vink, W. Wesselink, A. Wijs and T.A.C. Willemse, The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. In T. Vojnar and L. Zhang, editors, TACAS, volume 11428 of Lecture Notes in Computer Science, Springer, pp. 21-39, 2019.

  17. T. Neele, T.A.C. Willemse and J.F. Groote, Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. In Kyungmin Bae and Peter Csaba Ölveczky, editors, FACS, volume 11222 of Lecture Notes in Computer Science, Springer, pp. 216-236, 2018. Received the Best Paper award.

  18. L. Sanchez, W. Wesselink and T.A.C. Willemse, A Comparison of BDD-Based Parity Game Solvers. In Andrea Orlandini and Martin Zimmermann, editors, GandALF, volume 277 of Electronic Proceedings in Theoretical Computer Science, 277:103--117, 2018. Algorithm implementations can be obtained here.

  19. M. Bartholomeus, B. Luttik and T.A.C. Willemse, Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset. In Falk Howar and Jiri Barnat, editors, FMICS, volume 11119 of Lecture Notes in Computer Science, Springer, pp. 98-114, 2018. Received the Best Paper award.

  20. W. Wesselink and T.A.C. Willemse, Evidence Extraction from Parameterised Boolean Equation Systems. In Christoph Benzmüller and Jens Otten, editors, ARQNL, volume 2095 of CEUR Workshop Proceedings, pp. 86–100. CEUR-WS.org, 2018.

  21. C. Morisset, T.A.C. Willemse and N. Zannone, Efficient Extended ABAC Evaluation. In E. Bertino, D. Lin and J. Lobo, Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2018, Indianapolis, IN, USA, 2018.

  22. O. Gadyatskaya, R. Jhawar, S. Mauw, R. Trujillo and T.A.C. Willemse, Refinement-Aware Generation of Attack Trees. In G. Livraga and C.J. Mitchell (eds), STM 2017, Lecture Notes in Computer Science 10547, Springer, pp.164-179, 2017.

  23. R. van Beusekom, J.F. Groote, P. Hoogendijk, R. Howe, W. Wesselink, R. Wieringa and T.A.C. Willemse, Formalising the Dezyne Modelling Language in mCRL2. In L. Petrucci, C. Seceleanu and A. Cavalcanti (eds.), FMICS/AVoCS, Lecture Notes in Computer Science 10471, Springer, pp. 217-233, 2017. Received the Best Paper award.

  24. M. van Delft, H. Geuvers and T.A.C. Willemse, A Formalisation of Consistent Consequence for Boolean Equation Systems. In M. Ayala-Rincón and C.A. Muñoz (eds.), ITP, Lecture Notes in Computer Science 10499, Springer, pp. 462--478, 2017.

  25. Z. Ben Snaiba, E.P. de Vink and T.A.C. Willemse, Family-Based Model Checking of SPL based on mCRL2. In SPLC B, pp. 13-16, ACM, 2017.

  26. M.H. ter Beek, E.P. de Vink and T.A.C. Willemse, Family-Based Model Checking with mCRL2. In M. Huismand and J. Rubin (eds.), FASE 2017, Lecture Notes in Computer Science 10202, Springer, pp. 387-405, 2017.

  27. D. de Frutos Escrig, J.J.A. Keiren and T.A.C. Willemse, Branching Bisimulation Games. In E. Albert and I. Lanese (eds.), FORTE 2016, Lecture Notes in Computer Science 9688, Springer, pp. 142--157, 2016.

  28. M.H. ter Beek, E.P. de Vink and T.A.C. Willemse, Towards a Feature mu-Calculus Targeting SPL Verification. In J. Rubin and Th. Thüm (eds.), FMSPLE'16, Electronic Proceedings in Theoretical Computer Science 206:61-75, 2016.

  29. M.W. Gazda and T.A.C. Willemse, On Parity Game Preorders and the Logic of Matching Plays. In R.M. Freivalds et al. (eds.), SOFSEM 2016, Lecture Notes in Computer Science 9587, Springer, pp. 1-13, 2016.

  30. U. Tikhonova and T.A.C. Willemse, Documenting and Designing QVTo Model Transformations Through Mathematics. Software Technologies 2016, Communications in Computer and Information Science 586, Springer, pp. 349-364, 2015.

  31. M.W. Gazda and T.A.C. Willemse, Improvement in Small Progress Measures. In J. Esparza, E. Tronci (eds.), GandALF’15, Electronic Proceedings in Theoretical Computer Science 193:158-171, 2015.

  32. S. Cranen, B. Luttik and T.A.C. Willemse, Evidence for Fixpoint Logic. In S. Kreutzer (ed.), CSL 2015, LIPIcs 41, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 78-93, 2015.

  33. R.P.M. Koolen, T.A.C. Willemse and H. Zantema, Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. In Bernd Finkbeiner, Geguang Pu and Lijun Zhang (eds.), ATVA 2015, Lecture Notes in Computer Science 9364, Springer, pp. 14-30, 2015.

  34. U. Tikhonova and T.A.C. Willemse, Designing and Describing QVTo Model Transformations. In P. Lorenz, L.A. Maciaszek (eds.), ICSOFT-EA 2015, SciTePress, pp. 401-406, 2015.

  35. J.J.A. Keiren, J.W. Wesselink and T.A.C. Willemse, Liveness Analysis for Parameterised Boolean Equation Systems. In F. Cassez, J.-F. Raskin (eds.), ATVA 2014, Lecture Notes in Computer Science 8837, Springer, pp. 219-234, 2014.

  36. D. Remenska, T.A.C. Willemse, J. Templon, K. Verstoep and H.E. Bal, Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs. In E. Abraham and C. Palamidessi (eds.), FORTE 2014, Lecture Notes in Computer Science 8461, Springer, pp. 17-32, 2014. Note: the paper contains a subtle mistake in the translation of formulae to monitors that is repaired in the thesis of Daniela Remenska.

  37. N. Noroozi, M.R. Mousavi and T.A.C. Willemse, On the Complexity of Input Output Conformance Testing. In José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue (eds.), FACS 2013, Lecture Notes in Computer Science 8348, Springer, pp. 291-309, 2013.

  38. Maciek Gazda and Tim A.C. Willemse, Zielonka’s Recursive Algorithm: dull, weak and solitaire games and tighter bounds. In G. Puppis and T. Villa (eds.), GandALF 2013, Electronic Proceedings in Theoretical Computer Science 119:7-20, 2013.

  39. Sjoerd Cranen, Bas Luttik and Tim A.C. Willemse, Proof Graphs for Parameterised Boolean Equation Systems. In P.R. D'Argenio and H. Melgratti (eds.), CONCUR 2013, Lecture Notes in Computer Science 8052, Springer, pp. 470-484, 2013.

  40. Daniela Remenska, Jeff Templon, Tim A.C. Willemse, Philip Homburg, Kees Verstoep , Adria Casajus and Henri Bal. From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. In Guillaume Brat, Neha Rungta, Arnaud Venet (eds.), NFM 2013, Lecture Notes in Computer Science 7871, Springer, pp. 244-260, 2013.

  41. N. Noroozi, M.R. Mousavi and T.A.C. Willemse, Decomposability in Input Output Conformance Testing. In A.K. Petrenko and H. Schlingloff (eds.), MBT 2013, Electronic Proceedings in Theoretical Computer Science 111:51--66, 2013.

  42. S. Cranen, J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, E.P. de Vink, J.W. Wesselink and Tim A.C. Willemse, An Overview of the mCRL2 Toolset and its Recent Advances. In TACAS 2013, Lecture Notes in Computer Science 7795, Springer, pp. 199-213, 2013.

  43. M. Gazda and T.A.C. Willemse, Expressiveness and Completeness in Abstraction. In Bas Luttik and Michel Reniers (eds.), EXPRESS/SOS, Electronic Proceedings in Theoretical Computer Science 89:49--64, 2012.

  44. S. Cranen, J.J.A. Keiren and T.A.C. Willemse, A Cure for Stuttering Parity Games. In A. Roychoudhury, M. D'Souza (Eds.), Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium,  Lecture Notes in Computer Science 7521, Springer, pp. 198-212, 2012. An extended version containing detailed proofs is available as a technical report.

  45. 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. In 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2012, pp. 335-343, 2012.

  46. 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.

  47. 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.

  48. 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.

  49. 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. In F. Arbab, M. Sirjani (eds.), Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Lecture Notes in Computer Science 7141, pp. 174--189, 2012. Received the Honourable Mention award. Full version containing the formal translations is available as an arXiv preprint.

  50. 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.

  51. 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.

  52. 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.

  53. 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.

  54. 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.

  55. 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.

  56. 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.

  57. 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.

  58. 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.

  59. 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.

  60. 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.

  61. 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.

  62. 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.

  63. 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.

  64. 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.

  65. 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.

  66. 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.

  67. 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.

  68. 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.

  69. 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.

  70. 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.

  71. 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.

  72. 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.

  73. 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.




Popular and Invited Contributions
  1. Tim Willemse. On Verification Challenges at the Large Hadron Collider. In SPIN, Lecture Notes in Computer Science, 9641, Springer, pp. XI-XIII, 2016 (invited talk)

  2. Tim Willemse and Jan Friso Groote. Problem Solver. In International Innovation, 2013 (interview).

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

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

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

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

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

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



Edited Volumes
  1. M.H. ter Beek, K.G. Larsen, D. Nickovic and T.A.C. Willemse, editors, Formal methods and tools for industrial critical systems, Int. J. Softw. Tools Technol. Transf., volume 24(3), Springer, 2022.

  2. K. Peters and T.A.C. Willemse, editors, 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Malta, Lecture Notes in Computer Science 12719, Springer, 2021.

  3. K.G. Larsen and T.A.C. Willemse, editors, 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, Amsterdam, Lecture Notes in Computer Science 11687, Springer, 2019.

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

  5. 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.

  6. 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.




Technical Reports
  1. T. Neele, A. Valmari and T.A.C. Willemse. A Detailed Account of the Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR abs/2012.15704, 2020, 26 pp.

  2. T. Neele, A. Valmari and T.A.C. Willemse. The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR abs/1910.09829, 2019, 18 pp.

  3. M. Laveaux, J.F. Groote and T.A.C. Willemse. Correct and Efficient Antichain Algorithms for Refinement Checking. CoRR abs/1902.09880, 2019, 28 pp.

  4. L. Sanchez, J.W. Wesselink and T.A.C. Willemse. BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration. Computer Science Reports vol 1801, Eindhoven, Technische Universiteit Eindhoven, 2018. Algorithm implementations can be obtained here.

  5. D. de Frutos-Escrig, J.J.A. Keiren and T.A.C. Willemse. Games for Bisimulations and Abstraction. CoRR abs/1611.00401, 2016, 35 pp.

  6. S. Cranen, J.J.A. Keiren and T.A.C. Willemse. Parity Game Reductions. CoRR abs 1603.06422, 2016, 52 pp.

  7. R. van Beusekom, J.F. Groote, R. Howe, J.W. Wesselink, R. Wieringa and T.A.C. Willemse. From Dezyne to model checking, Draft Technical report  (2015); superseded by a thoroughly reworked paper that appeared in FMICS/AVoCS 2017 ('Formalising the Dezyne Modelling Language in mCRL2'); see also the following preprint.

  8. M. Gazda and T.A.C. Willemse. Strategy Derivation for Small Progress Measures, CoRR abs 1407.2149, 2014, 33 pp

  9. J.J.A. Keiren, J.W. Wesselink and T.A.C. Willemse. Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction, CoRR abs 1304.6482, 2013, 27 pp

  10. 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, CSR 13-01, 2013, 33pp.

  11. 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.

  12. 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.

  13. S. Cranen, J.J.A. Keiren and T.A.C. Willemse. Stuttering Equivalence for Parity Games, CoRR abs 1102.2366, 2011, 16 pp.

  14. 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.

  15. 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.

  16. 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.

  17. 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.

  18. 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.

  19. 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.

  20. 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.

  21. 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.

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

  23. 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.

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

  25. 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.

  26. 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.

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

  28. 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.

  29. 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.

  30. 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.




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

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