Tim A. C. Willemse

Orcid: 0000-0003-3049-7962

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.
Sci. Comput. Program., January, 2024

2023
Automated generation of attack trees with optimal shape and labelling.
CoRR, 2023

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

On the Preservation of Properties When Changing Communication Models.
Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing.
Proceedings of the 34th International Conference on Concurrency Theory, 2023

Real Equation Systems with Alternating Fixed-Points.
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
Partial-order reduction for parity games and parameterised Boolean equation systems.
Int. J. Softw. Tools Technol. Transf., 2022

Formal verification of OIL component specifications using mCRL2.
Int. J. Softw. Tools Technol. Transf., 2022

Formal methods and tools for industrial critical systems.
Int. J. Softw. Tools Technol. Transf., 2022

On-The-Fly Solving for Symbolic Parity Games.
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.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Decompositional Branching Bisimulation Minimisation of Monolithic Processes.
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.
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.
Log. Methods Comput. Sci., 2021

Correct and Efficient Antichain Algorithms for Refinement Checking.
Log. Methods Comput. Sci., 2021

Decomposing Monolithic Processes in a Process Algebra with Multi-actions.
Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract).
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020
Finding compact proofs for infinite-data parameterised Boolean equation systems.
Sci. Comput. Program., 2020

A symmetric protocol to establish service level agreements.
Log. Methods Comput. Sci., 2020

Decompositional Minimisation of Monolithic Processes.
CoRR, 2020

A process algebra with global variables.
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.
Acta Informatica, 2020

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
Proceedings of the Foundations of Software Science and Computation Structures, 2020

Family-Based SPL Model Checking Using Parity Games with Variability.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
A framework for the extended evaluation of ABAC policies.
Cybersecur., 2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Modelling and Analysing Software in mCRL2.
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018
Cooking Your Own Parity Game Preorders Through Matching Plays.
Int. J. Found. Comput. Sci., 2018

A Comparison of BDD-Based Parity Game Solvers.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Parity game reductions.
Acta Informatica, 2018

Efficient Extended ABAC Evaluation.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Evidence Extraction from Parameterised Boolean Equation Systems.
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.
Log. Methods Comput. Sci., 2017

Refinement-Aware Generation of Attack Trees.
Proceedings of the Security and Trust Management - 13th International Workshop, 2017

Family-Based Model Checking of SPL based on mCRL2.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A Formalisation of Consistent Consequence for Boolean Equation Systems.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Formalising the Dezyne Modelling Language in mCRL2.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016
Parity Games.
Encyclopedia of Algorithms, 2016

Towards a Feature mu-Calculus Targeting SPL Verification.
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.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Branching Bisimulation Games.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015
Abstraction in Fixpoint Logic.
ACM Trans. Comput. Log., 2015

Synchrony and asynchrony in conformance testing.
Softw. Syst. Model., 2015

Improvement in Small Progress Measures.
Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Documenting and Designing QVTo Model Transformations Through Mathematics.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Designing and Describing QVTo Model Transformations.
Proceedings of the ICSOFT-EA 2015, 2015

Evidence for Fixpoint Logic.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Strategy Derivation for Small Progress Measures.
CoRR, 2014

Results on Embeddings Between State-Based and Event-Based Systems.
Comput. J., 2014

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Liveness Analysis for Parameterised Boolean Equation Systems.
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.
Sci. Comput. Program., 2013

Using model checking to analyze the system behavior of the LHC production grid.
Future Gener. Comput. Syst., 2013

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

Decomposability in Input Output Conformance Testing
Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

An Overview of the mCRL2 Toolset and Its Recent Advances.
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.
Proceedings of the NASA Formal Methods, 2013

On the Complexity of Input Output Conformance Testing.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Proof Graphs for Parameterised Boolean Equation Systems.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Structural Analysis of Boolean Equation Systems.
ACM Trans. Comput. Log., 2012

Expressiveness and Completeness in Abstraction
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.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

A Cure for Stuttering Parity Games.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011
Experiences in developing the mCRL2 toolset.
Softw. Pract. Exp., 2011

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.
Inf. Comput., 2011

Stuttering Equivalence for Parity Games
CoRR, 2011

Folk Theorems on the Correspondence between State-Based and Event-Based Systems.
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Synchronizing Asynchronous Conformance Testing.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Stuttering Mostly Speeds Up Solving Parity Games.
Proceedings of the NASA Formal Methods, 2011

Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010
Invariants for Parameterised Boolean Equation Systems.
Theor. Comput. Sci., 2010

Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Search algorithms for automated validation.
J. Log. Algebraic Methods Program., 2009

Analysis of Boolean Equation Systems through Structure Graphs
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Static Analysis Techniques for Parameterised Boolean Equation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Bisimulation Minimisations for Boolean Equation Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2009

2008
Instantiation for Parameterised Boolean Equation Systems.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
Testing and Model-Checking Techniques for Diagnosis.
Proceedings of the Testing of Software and Communicating Systems, 2007

Integrating Verification, Testing, and Learning for Cryptographic Protocols.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Branching bisimulation for probabilistic systems: Characteristics and decidability.
Theor. Comput. Sci., 2006

Heuristics for ioco -Based Test-Based Modelling.
Proceedings of the Formal Methods: Applications and Technology, 2006

A Symbolic Framework for Model-Based Testing.
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.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst., 2005

Parameterised boolean equation systems.
Theor. Comput. Sci., 2005

Model-checking processes with data.
Sci. Comput. Program., 2005

2004
Language-Driven System Design.
Int. J. Softw. Eng. Knowl. Eng., 2004

Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Embeddings of Hybrid Automata in Process Algebra.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Test Generation Based on Symbolic Specifications.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

Parameterised Boolean Equation Systems (Extended Abstract).
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.
Proceedings of the Formal Methods for Components and Objects, 2003


  Loading...