Tim Willemse
Technische Universiteit Eindhoven
H-index: 24
Europe-Netherlands
Top articles of Tim Willemse
Modelling the Raft Distributed Consensus Protocol in mCRL2
arXiv preprint arXiv:2403.18916
2024/3/27
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications
Science of Computer Programming
2024/1/1
Automated generation of attack trees with optimal shape and labelling
arXiv preprint arXiv:2311.13331
2023/11/22
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
2023/10/30
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing
2023/9
Reader Formal Methods Course 2022-2023
2023/8/27
Real Equation Systems with Alternating Fixed-points (full version with proofs)
arXiv preprint arXiv:2307.07455
2023/7/14
On the Preservation of Properties When Changing Communication Models
2023/1/1
Decompositional Branching Bisimulation Minimisation of Monolithic Processes
2022/11/2
Partial-order reduction for parity games and parameterised Boolean equation systems
International Journal on Software Tools for Technology Transfer
2022/10
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation
2022/9/7
Process algebra can save lives: static analysis of XACML access control policies using mCRL2
2022/6/12
Formal methods and tools for industrial critical systems
International Journal on Software Tools for Technology Transfer
2022/12
Formal verification of OIL component specifications using mCRL2
International Journal on Software Tools for Technology Transfer
2022/6
On-the-fly solving for symbolic parity games
2022/3/30
New algorithms and heuristics for solving Variability Parity Games
2021/11/8
Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
2021/10/11
Decomposing monolithic processes in a process algebra with multi-actions
arXiv preprint arXiv:2110.00147
2021/10/1
Loneliness: A Social Problem by Keming Yang (2019)
International Journal of Care and Caring
2021/8
A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction
Logical Methods in Computer Science
2021/7/21
Co-Authors
