Follow
Tim Willemse
Title
Cited by
Cited by
Year
Test generation based on symbolic specifications
L Frantzen, J Tretmans, TAC Willemse
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
2092005
An overview of the mCRL2 toolset and its recent advances
S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ...
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
1952013
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
FATES/RV 4262, 40-54, 2006
1372006
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
1252019
Parameterised boolean equation systems
JF Groote, TAC Willemse
Theoretical Computer Science 343 (3), 332-369, 2005
1052005
Guidelines for a graduate curriculum on embedded software and systems
P Caspi, A Sangiovanni-Vincentelli, L Almeida, A Benveniste, ...
ACM Transactions on Embedded Computing Systems (TECS) 4 (3), 587-611, 2005
982005
Model-checking processes with data
JF Groote, TAC Willemse
Science of Computer Programming 56 (3), 251-273, 2005
702005
Message Sequence Charts in the software engineering process
S Mauw, MA Reniers, TAC Willemse
Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001
582001
The mCRL2 toolset
JF Groote, J Keiren, A Mathijssen, B Ploeger, F Stappers, C Tankink, ...
Proceedings of the International Workshop on Advanced Software Development …, 2008
562008
Equivalence checking for infinite systems using parameterized boolean equation systems
T Chen, B Ploeger, J Van De Pol, TAC Willemse
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
512007
Language-driven system design
S Mauw, WT Wiersma, TAC Willemse
Proceedings of the 35th Annual Hawaii International Conference on System …, 2002
492002
Analysing the control software of the compact muon solenoid experiment at the large hadron collider
YL Hwong, VJJ Kusters, TAC Willemse
Fundamentals of Software Engineering, 174-189, 2011
36*2011
Branching bisimulation for probabilistic systems: characteristics and decidability
S Andova, TAC Willemse
Theoretical Computer Science 356 (3), 325-355, 2006
362006
Family-based model checking with mCRL2
MH ter Beek, EP de Vink, TAC Willemse
Fundamental Approaches to Software Engineering: 20th International …, 2017
352017
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
YL Hwong, JJA Keiren, VJJ Kusters, S Leemans, TAC Willemse
Science of Computer Programming, 2013
292013
Folk theorems on the correspondence between state-based and event-based systems
MA Reniers, TAC Willemse
SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on …, 2011
292011
Using model checking to analyze the system behavior of the LHC production grid
D Remenska, TAC Willemse, K Verstoep, J Templon, H Bal
Future Generation Computer Systems 29 (8), 2239-2251, 2013
282013
Semantics and verification in process algebras with data and timing
TAC Willemse
Technische Universiteit Eindhoven, 2003
262003
Heuristics for ioco-Based Test-Based Modelling:
TAC Willemse
Formal Methods: Applications and Technology: 11th International Workshop …, 2007
252007
Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset
M Bartholomeus, B Luttik, T Willemse
Formal Methods for Industrial Critical Systems: 23rd International …, 2018
242018
The system can't perform the operation now. Try again later.
Articles 1–20