Tim Willemse
Cited by
Cited by
Test generation based on symbolic specifications
L Frantzen, J Tretmans, TAC Willemse
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
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
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
FATES/RV 4262, 40-54, 2006
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
Parameterised boolean equation systems
JF Groote, TAC Willemse
Theoretical Computer Science 343 (3), 332-369, 2005
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
Model-checking processes with data
JF Groote, TAC Willemse
Science of Computer Programming 56 (3), 251-273, 2005
Message Sequence Charts in the software engineering process
S Mauw, MA Reniers, TAC Willemse
Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001
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
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
Language-driven system design
S Mauw, WT Wiersma, TAC Willemse
Proceedings of the 35th Annual Hawaii International Conference on System …, 2002
Results on embeddings between state-based and event-based systems
MA Reniers, R Schoren, TAC Willemse
The Computer Journal 57 (1), 73-92, 2014
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
Branching bisimulation for probabilistic systems: characteristics and decidability
S Andova, TAC Willemse
Theoretical Computer Science 356 (3), 325-355, 2006
Family-based model checking with mCRL2
MH ter Beek, EP de Vink, TAC Willemse
Fundamental Approaches to Software Engineering: 20th International …, 2017
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
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
Semantics and verification in process algebras with data and timing
TAC Willemse
Technische Universiteit Eindhoven, 2003
Heuristics for ioco-based test-based modelling
TAC Willemse
FMICS/PDMC 4346, 132-147, 2006
A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification
S Andova, JCM Baeten, TAC Willemse
CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006
The system can't perform the operation now. Try again later.
Articles 1–20