Tim A. C. Willemse

According to our database, Tim A. C. Willemse authored at least 106 papers between 2003 and 2024.

Collaborative distances:

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

2024

XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.

Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse

Sci. Comput. Program., January, 2024

On Woolhouse's Cotton-Spinning Problem.

Jan Friso Groote, Tim A. C. Willemse

CoRR, 2024

Modelling the Raft Distributed Consensus Protocol in mCRL2.

Parth Bora, Pham Duc Minh, Tim A. C. Willemse

Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

Modelling and Analysing a Mechanical Lung Ventilator in mCRL2.

Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Formalising the Industrial Language SMMT in mCRL2.

Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

Progress, Justness and Fairness in Modal μ-Calculus Formulae.

Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse

Proceedings of the 35th International Conference on Concurrency Theory, 2024

It's All a Game - Apartness and Bisimilarity.

Jeroen J. A. Keiren, Tim A. C. Willemse

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Decomposing monolithic processes in a process algebra with multi-actions.

Maurice Laveaux, Tim A. C. Willemse

J. Log. Algebraic Methods Program., April, 2023

Automated generation of attack trees with optimal shape and labelling.

Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse

CoRR, 2023

Real Equation Systems with Alternating Fixed-points (full version with proofs).

Jan Friso Groote, Tim A. C. Willemse

CoRR, 2023

On the Preservation of Properties When Changing Communication Models.

Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing.

P. H. M. van Spaendonck, Tim A. C. Willemse

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Real Equation Systems with Alternating Fixed-Points.

Jan Friso Groote, Tim A. C. Willemse

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Partial-order reduction for parity games and parameterised Boolean equation systems.

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari

Int. J. Softw. Tools Technol. Transf., 2022

Formal verification of OIL component specifications using mCRL2.

Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Int. J. Softw. Tools Technol. Transf., 2022

Formal methods and tools for industrial critical systems.

Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse

Int. J. Softw. Tools Technol. Transf., 2022

On-The-Fly Solving for Symbolic Parity Games.

Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2.

Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Decompositional Branching Bisimulation Minimisation of Monolithic Processes.

Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.

Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.

Thomas Neele, Antti Valmari, Tim A. C. Willemse

Log. Methods Comput. Sci., 2021

Correct and Efficient Antichain Algorithms for Refinement Checking.

Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse

Log. Methods Comput. Sci., 2021

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract).

Mark Bouwman, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020

Finding compact proofs for infinite-data parameterised Boolean equation systems.

Thomas Neele, Tim A. C. Willemse, Jan Friso Groote

Sci. Comput. Program., 2020

A symmetric protocol to establish service level agreements.

Jan Friso Groote, Tim A. C. Willemse

Log. Methods Comput. Sci., 2020

Decompositional Minimisation of Monolithic Processes.

Maurice Laveaux, Tim A. C. Willemse

CoRR, 2020

A process algebra with global variables.

Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse

Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

Off-the-shelf automated analysis of liveness properties for just paths.

Mark Bouwman, Bas Luttik, Tim A. C. Willemse

Acta Informatica, 2020

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems.

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.

Thomas Neele, Antti Valmari, Tim A. C. Willemse

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Family-Based SPL Model Checking Using Parity Games with Variability.

Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

A framework for the extended evaluation of ABAC policies.

Charles Morisset, Tim A. C. Willemse, Nicola Zannone

Cybersecur., 2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Modelling and Analysing Software in mCRL2.

Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Cooking Your Own Parity Game Preorders Through Matching Plays.

Maciej Gazda, Tim A. C. Willemse

Int. J. Found. Comput. Sci., 2018

A Comparison of BDD-Based Parity Game Solvers.

Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Parity game reductions.

Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse

Acta Informatica, 2018

Efficient Extended ABAC Evaluation.

Charles Morisset, Tim A. C. Willemse, Nicola Zannone

Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018

Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset.

Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.

Thomas Neele, Tim A. C. Willemse, Jan Friso Groote

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Evidence Extraction from Parameterised Boolean Equation Systems.

Wieger Wesselink, Tim A. C. Willemse

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Games for Bisimulations and Abstraction.

David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse

Log. Methods Comput. Sci., 2017

Refinement-Aware Generation of Attack Trees.

Olga Gadyatskaya, Ravi Jhawar, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse

Proceedings of the Security and Trust Management - 13th International Workshop, 2017

Family-Based Model Checking of SPL based on mCRL2.

Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A Formalisation of Consistent Consequence for Boolean Equation Systems.

Myrthe van Delft, Herman Geuvers, Tim A. C. Willemse

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Formalising the Dezyne Modelling Language in mCRL2.

Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Family-Based Model Checking with mCRL2.

Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Parity Games.

Tim A. C. Willemse, Maciej Gazda

Encyclopedia of Algorithms, 2016

Towards a Feature mu-Calculus Targeting SPL Verification.

Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

On Parity Game Preorders and the Logic of Matching Plays.

Maciej Gazda, Tim A. C. Willemse

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Branching Bisimulation Games.

David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Abstraction in Fixpoint Logic.

Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse

ACM Trans. Comput. Log., 2015

Synchrony and asynchrony in conformance testing.

Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse

Softw. Syst. Model., 2015

Improvement in Small Progress Measures.

Maciej Gazda, Tim A. C. Willemse

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Documenting and Designing QVTo Model Transformations Through Mathematics.

Ulyana Tikhonova, Tim A. C. Willemse

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Designing and Describing QVTo Model Transformations.

Ulyana Tikhonova, Tim A. C. Willemse

Proceedings of the ICSOFT-EA 2015, 2015

Evidence for Fixpoint Logic.

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.

Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Strategy Derivation for Small Progress Measures.

Maciej Gazda, Tim A. C. Willemse

CoRR, 2014

Results on Embeddings Between State-Based and Event-Based Systems.

Michel A. Reniers, Rob Schoren, Tim A. C. Willemse

Comput. J., 2014

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.

Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Liveness Analysis for Parameterised Boolean Equation Systems.

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.

Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse

Sci. Comput. Program., 2013

Using model checking to analyze the system behavior of the LHC production grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal

Future Gener. Comput. Syst., 2013

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse

CoRR, 2013

Decomposability in Input Output Conformance Testing

Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse

Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds.

Maciej Gazda, Tim A. C. Willemse

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

An Overview of the mCRL2 Toolset and Its Recent Advances.

Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.

Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal

Proceedings of the NASA Formal Methods, 2013

On the Complexity of Input Output Conformance Testing.

Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Proof Graphs for Parameterised Boolean Equation Systems.

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Structural Analysis of Boolean Equation Systems.

Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse

ACM Trans. Comput. Log., 2012

Expressiveness and Completeness in Abstraction

Maciej Gazda, Tim A. C. Willemse

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

Consistent Consequence for Boolean Equation Systems.

Maciej Gazda, Tim A. C. Willemse

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

A Cure for Stuttering Parity Games.

Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011

Experiences in developing the mCRL2 toolset.

Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse

Softw. Pract. Exp., 2011

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.

Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse

Inf. Comput., 2011

Stuttering Equivalence for Parity Games

Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse

CoRR, 2011

Folk Theorems on the Correspondence between State-Based and Event-Based Systems.

Michel A. Reniers, Tim A. C. Willemse

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Synchronizing Asynchronous Conformance Testing.

Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Stuttering Mostly Speeds Up Solving Parity Games.

Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse

Proceedings of the NASA Formal Methods, 2011

Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.

Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Invariants for Parameterised Boolean Equation Systems.

Simona Orzan, Tim A. C. Willemse

Theor. Comput. Sci., 2010

Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.

Tim A. C. Willemse

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Search algorithms for automated validation.

Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse

J. Log. Algebraic Methods Program., 2009

Analysis of Boolean Equation Systems through Structure Graphs

Michel A. Reniers, Tim A. C. Willemse

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Static Analysis Techniques for Parameterised Boolean Equation Systems.

Simona Orzan, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Bisimulation Minimisations for Boolean Equation Systems.

Jeroen Keiren, Tim A. C. Willemse

Proceedings of the Hardware and Software: Verification and Testing, 2009

2008

Instantiation for Parameterised Boolean Equation Systems.

Alexander van Dam, Bas Ploeger, Tim A. C. Willemse

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Testing and Model-Checking Techniques for Diagnosis.

Maxim Gromov, Tim A. C. Willemse

Proceedings of the Testing of Software and Communicating Systems, 2007

Integrating Verification, Testing, and Learning for Cryptographic Protocols.

Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.

Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Branching bisimulation for probabilistic systems: Characteristics and decidability.

Suzana Andova, Tim A. C. Willemse

Theor. Comput. Sci., 2006

Heuristics for ioco -Based Test-Based Modelling.

Tim A. C. Willemse

Proceedings of the Formal Methods: Applications and Technology, 2006

A Symbolic Framework for Model-Based Testing.

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.

Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Guidelines for a graduate curriculum on embedded software and systems.

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

ACM Trans. Embed. Comput. Syst., 2005

Parameterised boolean equation systems.

Jan Friso Groote, Tim A. C. Willemse

Theor. Comput. Sci., 2005

Model-checking processes with data.

Jan Friso Groote, Tim A. C. Willemse

Sci. Comput. Program., 2005

2004

Language-Driven System Design.

Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse

Int. J. Softw. Eng. Knowl. Eng., 2004

Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).

Suzana Andova, Tim A. C. Willemse

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Embeddings of Hybrid Automata in Process Algebra.

Tim A. C. Willemse

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Test Generation Based on Symbolic Specifications.

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

Parameterised Boolean Equation Systems (Extended Abstract).

Jan Friso Groote, Tim A. C. Willemse

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

A Checker for Modal Formulae for Processes with Data.

Jan Friso Groote, Tim A. C. Willemse

Proceedings of the Formal Methods for Components and Objects, 2003