Tim A. C. Willemse

135 papers A 2B 25C 14Journal 53Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Constructing Weakly Terminating Interface Protocols. CoRR Debjyoti Bera, Tim A. C. Willemse
2026	—	`conf`	Deciding Impossible Futures. Juggling Formal Methods and Security Maurice Laveaux, Tim A. C. Willemse
2026	—	`conf`	Synthesising Attack Trees with Optimal Shape and Labelling. ICISSP (1) Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
2025	J	`jnl`	Efficient Evidence Generation for Modal μ-Calculus Model Checking (extended version). CoRR Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse
2025	—	`conf`	Efficient Evidence Generation for Modal μ-Calculus Model Checking. TACAS (1) Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse
2025	J	`jnl`	Formal Methods in Industry. Formal Aspects Comput. Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2025	J	`jnl`	Formalising and analysing SMMT models using the mCRL2 toolset. Int. J. Softw. Tools Technol. Transf. Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
2025	J	`jnl`	OIL: an industrial case study in language engineering with Spoofax. Softw. Syst. Model. Olav Bunte, Jasper Denkers, Louis C. M. van Gool, Jurgen J. Vinju, Eelco Visser, Tim A. C. Willemse, Andy Zaidman
2024	C	`conf`	Formalising the Industrial Language SMMT in mCRL2. FMICS Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
2024	—	`conf`	It's All a Game - Apartness and Bisimilarity. Logics and Type Systems in Theory and Practice Jeroen J. A. Keiren, Tim A. C. Willemse
2024	C	`conf`	Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. ABZ Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse
2024	—	`conf`	Modelling the Raft Distributed Consensus Protocol in mCRL2. MARS Parth Bora, Pham Duc Minh, Tim A. C. Willemse
2024	—	`conf`	On Woolhouse's Cotton-Spinning Problem. Principles of Verification (2) Jan Friso Groote, Tim A. C. Willemse
2024	J	`jnl`	On Woolhouse's Cotton-Spinning Problem. CoRR Jan Friso Groote, Tim A. C. Willemse
2024	B	`conf`	Progress, Justness and Fairness in Modal μ-Calculus Formulae. CONCUR Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse
2024	J	`jnl`	Progress, Justness and Fairness in Modal μ-Calculus Formulae. CoRR Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse
2024	J	`jnl`	XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2023	J	`jnl`	Automated generation of attack trees with optimal shape and labelling. CoRR Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
2023	J	`jnl`	Decomposing monolithic processes in a process algebra with multi-actions. J. Log. Algebraic Methods Program. Maurice Laveaux, Tim A. C. Willemse
2023	B	`conf`	On the Preservation of Properties When Changing Communication Models. SOFSEM Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
2023	B	`conf`	Real Equation Systems with Alternating Fixed-Points. CONCUR Jan Friso Groote, Tim A. C. Willemse
2023	J	`jnl`	Real Equation Systems with Alternating Fixed-points (full version with proofs). CoRR Jan Friso Groote, Tim A. C. Willemse
2023	B	`ed.`	Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings SEFM Carla Ferreira, Tim A. C. Willemse
2023	B	`conf`	The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. CONCUR P. H. M. van Spaendonck, Tim A. C. Willemse
2022	—	`conf`	Decompositional Branching Bisimulation Minimisation of Monolithic Processes. FACS Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse
2022	J	`jnl`	Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
2022	J	`jnl`	Formal verification of OIL component specifications using mCRL2. Int. J. Softw. Tools Technol. Transf. Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
2022	J	`jnl`	On the Preservation of Properties when Changing Communication Models. CoRR Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
2022	—	`conf`	On-The-Fly Solving for Symbolic Parity Games. TACAS (2) Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
2022	J	`jnl`	On-The-Fly Solving for Symbolic Parity Games. CoRR Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
2022	J	`jnl`	Partial-order reduction for parity games and parameterised Boolean equation systems. Int. J. Softw. Tools Technol. Transf. Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari
2022	C	`conf`	Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2022	—	`conf`	Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse
2021	J	`jnl`	A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Log. Methods Comput. Sci. Thomas Neele, Antti Valmari, Tim A. C. Willemse
2021	J	`jnl`	Correct and Efficient Antichain Algorithms for Refinement Checking. Log. Methods Comput. Sci. Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2021	—	`conf`	Decomposing Monolithic Processes in a Process Algebra with Multi-actions. ICE Maurice Laveaux, Tim A. C. Willemse
2021	C	`ed.`	Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings FORTE Kirstin Peters, Tim A. C. Willemse
2021	C	`conf`	Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). FORTE Mark Bouwman, Bas Luttik, Tim A. C. Willemse
2020	J	`jnl`	A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR Thomas Neele, Antti Valmari, Tim A. C. Willemse
2020	—	`conf`	A process algebra with global variables. EXPRESS/SOS Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse
2020	J	`jnl`	A symmetric protocol to establish service level agreements. CoRR Jan Friso Groote, Tim A. C. Willemse
2020	J	`jnl`	A symmetric protocol to establish service level agreements. Log. Methods Comput. Sci. Jan Friso Groote, Tim A. C. Willemse
2020	J	`jnl`	Decompositional Minimisation of Monolithic Processes. CoRR Maurice Laveaux, Tim A. C. Willemse
2020	B	`conf`	Family-Based SPL Model Checking Using Parity Games with Variability. FASE Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
2020	J	`jnl`	Finding compact proofs for infinite-data parameterised Boolean equation systems. Sci. Comput. Program. Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
2020	C	`conf`	Formal Verification of OIL Component Specifications using mCRL2. FMICS Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
2020	J	`jnl`	Off-the-shelf automated analysis of liveness properties for just paths. Acta Informatica Mark Bouwman, Bas Luttik, Tim A. C. Willemse
2020	—	`conf`	Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS (2) Thomas Neele, Tim A. C. Willemse, Wieger Wesselink
2020	B	`conf`	The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. FoSSaCS Thomas Neele, Antti Valmari, Tim A. C. Willemse
2019	J	`jnl`	A framework for the extended evaluation of ABAC policies. Cybersecur. Charles Morisset, Tim A. C. Willemse, Nicola Zannone
2019	C	`conf`	Correct and Efficient Antichain Algorithms for Refinement Checking. FORTE Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2019	J	`jnl`	Correct and Efficient Antichain Algorithms for Refinement Checking. CoRR Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2019	C	`ed.`	Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings FMICS Kim Guldstrand Larsen, Tim A. C. Willemse
2019	—	`conf`	Modelling and Analysing Software in mCRL2. FACS Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
2019	J	`jnl`	The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR Thomas Neele, Antti Valmari, Tim A. C. Willemse
2019	—	`conf`	The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse
2018	—	`conf`	A Comparison of BDD-Based Parity Game Solvers. GandALF Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse
2018	J	`jnl`	Cooking Your Own Parity Game Preorders Through Matching Plays. Int. J. Found. Comput. Sci. Maciej Gazda, Tim A. C. Willemse
2018	C	`conf`	Efficient Extended ABAC Evaluation. SACMAT Charles Morisset, Tim A. C. Willemse, Nicola Zannone
2018	—	`conf`	Evidence Extraction from Parameterised Boolean Equation Systems. ARQNL@IJCAR Wieger Wesselink, Tim A. C. Willemse
2018	C	`conf`	Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. FMICS Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse
2018	J	`jnl`	Parity game reductions. Acta Informatica Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
2018	—	`conf`	Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
2017	B	`conf`	A Formalisation of Consistent Consequence for Boolean Equation Systems. ITP Myrthe van Delft, Herman Geuvers, Tim A. C. Willemse
2017	—	`conf`	Family-Based Model Checking of SPL based on mCRL2. SPLC (B) Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse
2017	B	`conf`	Family-Based Model Checking with mCRL2. FASE Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
2017	—	`conf`	Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
2017	J	`jnl`	Games for Bisimulations and Abstraction. Log. Methods Comput. Sci. David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
2017	—	`conf`	Refinement-Aware Generation of Attack Trees. STM Olga Gadyatskaya, Ravi Jhawar, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
2016	C	`conf`	Branching Bisimulation Games. FORTE David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
2016	J	`jnl`	Games for Bisimulations and Abstraction. CoRR David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
2016	B	`conf`	On Parity Game Preorders and the Logic of Matching Plays. SOFSEM Maciej Gazda, Tim A. C. Willemse
2016	J	`jnl`	Parity Game Reductions. CoRR Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
2016	—	`ch.`	Parity Games. Encyclopedia of Algorithms Tim A. C. Willemse, Maciej Gazda
2016	—	`conf`	Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
2015	J	`jnl`	Abstraction in Fixpoint Logic. ACM Trans. Comput. Log. Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse
2015	—	`conf`	Designing and Describing QVTo Model Transformations. ICSOFT-EA Ulyana Tikhonova, Tim A. C. Willemse
2015	—	`conf`	Documenting and Designing QVTo Model Transformations Through Mathematics. ICSOFT (Selected Papers) Ulyana Tikhonova, Tim A. C. Willemse
2015	B	`conf`	Evidence for Fixpoint Logic. CSL Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
2015	—	`conf`	Improvement in Small Progress Measures. GandALF Maciej Gazda, Tim A. C. Willemse
2015	J	`jnl`	Synchrony and asynchrony in conformance testing. Softw. Syst. Model. Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
2015	B	`conf`	Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. ATVA Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema
2014	B	`conf`	Liveness Analysis for Parameterised Boolean Equation Systems. ATVA Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
2014	C	`conf`	Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. FORTE Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal
2014	J	`jnl`	Results on Embeddings Between State-Based and Event-Based Systems. Comput. J. Michel A. Reniers, Rob Schoren, Tim A. C. Willemse
2014	J	`jnl`	Strategy Derivation for Small Progress Measures. CoRR Maciej Gazda, Tim A. C. Willemse
2013	A	`conf`	An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
2013	—	`conf`	Decomposability in Input Output Conformance Testing MBT Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
2013	J	`jnl`	Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Sci. Comput. Program. Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse
2013	—	`conf`	From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. NASA Formal Methods Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal
2013	J	`jnl`	Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction CoRR Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
2013	—	`conf`	On the Complexity of Input Output Conformance Testing. FACS Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
2013	B	`conf`	Proof Graphs for Parameterised Boolean Equation Systems. CONCUR Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
2013	J	`jnl`	Using model checking to analyze the system behavior of the LHC production grid. Future Gener. Comput. Syst. Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal
2013	—	`conf`	Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds. GandALF Maciej Gazda, Tim A. C. Willemse
2012	C	`conf`	A Cure for Stuttering Parity Games. ICTAC Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
2012	B	`conf`	Consistent Consequence for Boolean Equation Systems. SOFSEM Maciej Gazda, Tim A. C. Willemse
2012	—	`conf`	Expressiveness and Completeness in Abstraction EXPRESS/SOS Maciej Gazda, Tim A. C. Willemse
2012	J	`jnl`	Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log. Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
2012	B	`conf`	Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal
2011	J	`jnl`	Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider CoRR Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse
2011	—	`conf`	Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. FSEN Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse
2011	J	`jnl`	Experiences in developing the mCRL2 toolset. Softw. Pract. Exp. Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse
2011	B	`conf`	Folk Theorems on the Correspondence between State-Based and Event-Based Systems. SOFSEM Michel A. Reniers, Tim A. C. Willemse
2011	J	`jnl`	Stuttering Equivalence for Parity Games CoRR Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse
2011	—	`conf`	Stuttering Mostly Speeds Up Solving Parity Games. NASA Formal Methods Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse
2011	B	`conf`	Synchronizing Asynchronous Conformance Testing. SEFM Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
2011	J	`jnl`	Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. Inf. Comput. Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse
2010	B	`conf`	Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. CONCUR Tim A. C. Willemse
2010	J	`jnl`	Folk Theorems on the Correspondence between State-Based and Event-Based Systems CoRR Michel A. Reniers, Tim A. C. Willemse
2010	J	`jnl`	Invariants for Parameterised Boolean Equation Systems. Theor. Comput. Sci. Simona Orzan, Tim A. C. Willemse
2010	J	`jnl`	Structural Analysis of Boolean Equation Systems CoRR Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
2009	—	`conf`	Analysis of Boolean Equation Systems through Structure Graphs SOS Michel A. Reniers, Tim A. C. Willemse
2009	—	`conf`	Bisimulation Minimisations for Boolean Equation Systems. Haifa Verification Conference Jeroen Keiren, Tim A. C. Willemse
2009	J	`jnl`	Search algorithms for automated validation. J. Log. Algebraic Methods Program. Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse
2009	A	`conf`	Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS Simona Orzan, Wieger Wesselink, Tim A. C. Willemse
2008	C	`conf`	Instantiation for Parameterised Boolean Equation Systems. ICTAC Alexander van Dam, Bas Ploeger, Tim A. C. Willemse
2008	B	`conf`	Invariants for Parameterised Boolean Equation Systems. CONCUR Simona Orzan, Tim A. C. Willemse
2007	B	`conf`	Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse
2007	B	`conf`	Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
2007	—	`conf`	Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES Maxim Gromov, Tim A. C. Willemse
2006	B	`conf`	A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. CONCUR Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse
2006	—	`conf`	A Symbolic Framework for Model-Based Testing. FATES/RV Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
2006	J	`jnl`	Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. Suzana Andova, Tim A. C. Willemse
2006	—	`conf`	Heuristics for ioco -Based Test-Based Modelling. FMICS/PDMC Tim A. C. Willemse
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005	J	`jnl`	Model-checking processes with data. Sci. Comput. Program. Jan Friso Groote, Tim A. C. Willemse
2005	J	`jnl`	Parameterised boolean equation systems. Theor. Comput. Sci. Jan Friso Groote, Tim A. C. Willemse
2004	B	`conf`	Embeddings of Hybrid Automata in Process Algebra. IFM Tim A. C. Willemse
2004	—	`conf`	Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). EXPRESS Suzana Andova, Tim A. C. Willemse
2004	J	`jnl`	Language-Driven System Design. Int. J. Softw. Eng. Knowl. Eng. Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
2004	B	`conf`	Parameterised Boolean Equation Systems (Extended Abstract). CONCUR Jan Friso Groote, Tim A. C. Willemse
2004	—	`conf`	Test Generation Based on Symbolic Specifications. FATES Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
2003	—	`conf`	A Checker for Modal Formulae for Processes with Data. FMCO Jan Friso Groote, Tim A. C. Willemse
2002	—	`conf`	Language Driven System Design. HICSS Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse