Tim A. C. Willemse

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 62

Top Venues

CoRR

FORTE

Log. Methods Comput. Sci.

Int. J. Softw. Tools Technol. Transf.

Publications

Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. 232 (2024)
P. H. M. van Spaendonck, Tim A. C. Willemse
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. CONCUR (2023)
Jan Friso Groote, Tim A. C. Willemse
Real Equation Systems with Alternating Fixed-points (full version with proofs). CoRR (2023)
Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
Automated generation of attack trees with optimal shape and labelling. CoRR (2023)
Maurice Laveaux, Tim A. C. Willemse
Decomposing monolithic processes in a process algebra with multi-actions. J. Log. Algebraic Methods Program. 132 (2023)
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
On the Preservation of Properties When Changing Communication Models. SOFSEM (2023)
Jan Friso Groote, Tim A. C. Willemse
Real Equation Systems with Alternating Fixed-Points. CONCUR (2023)
Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE (2022)
Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim 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)
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
On-The-Fly Solving for Symbolic Parity Games. TACAS (2) (2022)
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
On-The-Fly Solving for Symbolic Parity Games. CoRR (2022)
Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. FACS (2022)
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
On the Preservation of Properties when Changing Communication Models. CoRR (2022)
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari
Partial-order reduction for parity games and parameterised Boolean equation systems. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
Formal verification of OIL component specifications using mCRL2. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Maurice Laveaux, Tim A. C. Willemse
Decomposing Monolithic Processes in a Process Algebra with Multi-actions. ICE (2021)
Thomas Neele, Antti Valmari, Tim A. C. Willemse
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Log. Methods Comput. Sci. 17 (3) (2021)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. Log. Methods Comput. Sci. 17 (1) (2021)
Mark Bouwman, Bas Luttik, Tim A. C. Willemse
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). FORTE (2021)
Maurice Laveaux, Tim A. C. Willemse
Decompositional Minimisation of Monolithic Processes. CoRR (2020)
Jan Friso Groote, Tim A. C. Willemse
A symmetric protocol to establish service level agreements. CoRR (2020)
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
Finding compact proofs for infinite-data parameterised Boolean equation systems. Sci. Comput. Program. 188 (2020)
Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
Family-Based SPL Model Checking Using Parity Games with Variability. FASE (2020)
Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse
A process algebra with global variables. EXPRESS/SOS (2020)
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
Formal Verification of OIL Component Specifications using mCRL2. FMICS (2020)
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS (2) (2020)
Thomas Neele, Antti Valmari, Tim A. C. Willemse
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. FoSSaCS (2020)
Jan Friso Groote, Tim A. C. Willemse
A symmetric protocol to establish service level agreements. Log. Methods Comput. Sci. 16 (3) (2020)
Mark Bouwman, Bas Luttik, Tim A. C. Willemse
Off-the-shelf automated analysis of liveness properties for just paths. Acta Informatica 57 (3-5) (2020)
Thomas Neele, Antti Valmari, Tim A. C. Willemse
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR (2020)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. CoRR (2019)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. FORTE (2019)
Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
Modelling and Analysing Software in mCRL2. FACS (2019)
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
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)
Thomas Neele, Antti Valmari, Tim A. C. Willemse
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR (2019)
Charles Morisset, Tim A. C. Willemse, Nicola Zannone
A framework for the extended evaluation of ABAC policies. Cybersecur. 2 (1) (2019)
Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse
Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. FMICS (2018)
Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse
A Comparison of BDD-Based Parity Game Solvers. GandALF (2018)
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS (2018)
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
Parity game reductions. Acta Informatica 55 (5) (2018)
Charles Morisset, Tim A. C. Willemse, Nicola Zannone
Efficient Extended ABAC Evaluation. SACMAT (2018)
Wieger Wesselink, Tim A. C. Willemse
Evidence Extraction from Parameterised Boolean Equation Systems. ARQNL@IJCAR (2018)
Maciej Gazda, Tim A. C. Willemse
Cooking Your Own Parity Game Preorders Through Matching Plays. Int. J. Found. Comput. Sci. 29 (4) (2018)
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Games for Bisimulations and Abstraction. Log. Methods Comput. Sci. 13 (4) (2017)
Olga Gadyatskaya, Ravi Jhawar, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse
Refinement-Aware Generation of Attack Trees. STM (2017)
Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse
Family-Based Model Checking of SPL based on mCRL2. SPLC (B) (2017)
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
Family-Based Model Checking with mCRL2. FASE (2017)
Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS (2017)
Myrthe van Delft, Herman Geuvers, Tim A. C. Willemse
A Formalisation of Consistent Consequence for Boolean Equation Systems. ITP (2017)
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Branching Bisimulation Games. FORTE (2016)
Maciej Gazda, Tim A. C. Willemse
On Parity Game Preorders and the Logic of Matching Plays. SOFSEM (2016)
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE (2016)
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
Parity Game Reductions. CoRR (2016)
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Games for Bisimulations and Abstraction. CoRR (2016)
Maciej Gazda, Tim A. C. Willemse
Improvement in Small Progress Measures. GandALF (2015)
Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema
Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. ATVA (2015)
Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
Evidence for Fixpoint Logic. CSL (2015)
Ulyana Tikhonova, Tim A. C. Willemse
Documenting and Designing QVTo Model Transformations Through Mathematics. ICSOFT (Selected Papers) (2015)
Ulyana Tikhonova, Tim A. C. Willemse
Designing and Describing QVTo Model Transformations. ICSOFT-EA (2015)
Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse
Abstraction in Fixpoint Logic. ACM Trans. Comput. Log. 16 (4) (2015)
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
Synchrony and asynchrony in conformance testing. Softw. Syst. Model. 14 (1) (2015)
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
Liveness Analysis for Parameterised Boolean Equation Systems. ATVA (2014)
Maciej Gazda, Tim A. C. Willemse
Strategy Derivation for Small Progress Measures. CoRR (2014)
Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. FORTE (2014)
Michel A. Reniers, Rob Schoren, Tim A. C. Willemse
Results on Embeddings Between State-Based and Event-Based Systems. Comput. J. 57 (1) (2014)
Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. NASA Formal Methods (2013)
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction CoRR (2013)
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
On the Complexity of Input Output Conformance Testing. FACS (2013)
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal
Using model checking to analyze the system behavior of the LHC production grid. Future Gener. Comput. Syst. 29 (8) (2013)
Maciej Gazda, Tim A. C. Willemse
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds. GandALF (2013)
Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
Proof Graphs for Parameterised Boolean Equation Systems. CONCUR (2013)
Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Sci. Comput. Program. 78 (12) (2013)
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS (2013)
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
Decomposability in Input Output Conformance Testing MBT (2013)
Maciej Gazda, Tim A. C. Willemse
Expressiveness and Completeness in Abstraction EXPRESS/SOS (2012)
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
A Cure for Stuttering Parity Games. ICTAC (2012)
Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log. 13 (1) (2012)
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal
Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID (2012)
Maciej Gazda, Tim A. C. Willemse
Consistent Consequence for Boolean Equation Systems. SOFSEM (2012)
Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse
Experiences in developing the mCRL2 toolset. Softw. Pract. Exp. 41 (2) (2011)
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
Synchronizing Asynchronous Conformance Testing. SEFM (2011)
Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. Inf. Comput. 209 (4) (2011)
Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider CoRR (2011)
Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. FSEN (2011)
Michel A. Reniers, Tim A. C. Willemse
Folk Theorems on the Correspondence between State-Based and Event-Based Systems. SOFSEM (2011)
Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse
Stuttering Equivalence for Parity Games CoRR (2011)
Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse
Stuttering Mostly Speeds Up Solving Parity Games. NASA Formal Methods (2011)
Michel A. Reniers, Tim A. C. Willemse
Folk Theorems on the Correspondence between State-Based and Event-Based Systems CoRR (2010)
Tim A. C. Willemse
Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. CONCUR (2010)
Simona Orzan, Tim A. C. Willemse
Invariants for Parameterised Boolean Equation Systems. Theor. Comput. Sci. 411 (11-13) (2010)
Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
Structural Analysis of Boolean Equation Systems CoRR (2010)
Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse
Search algorithms for automated validation. J. Log. Algebraic Methods Program. 78 (4) (2009)
Michel A. Reniers, Tim A. C. Willemse
Analysis of Boolean Equation Systems through Structure Graphs SOS (2009)
Simona Orzan, Wieger Wesselink, Tim A. C. Willemse
Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS (2009)
Jeroen Keiren, Tim A. C. Willemse
Bisimulation Minimisations for Boolean Equation Systems. Haifa Verification Conference (2009)
Simona Orzan, Tim A. C. Willemse
Invariants for Parameterised Boolean Equation Systems. CONCUR (2008)
Alexander van Dam, Bas Ploeger, Tim A. C. Willemse
Instantiation for Parameterised Boolean Equation Systems. ICTAC (2008)
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR (2007)
Maxim Gromov, Tim A. C. Willemse
Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES (2007)

Tim A. C. Willemse.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tim A. C. Willemse