Tim Willemse

Cited by

	All	Since 2019
Citations	2486	1012
h-index	25	16
i10-index	58	30

200

100

150

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 8 13 15 52 45 54 84 69 93 98 112 140 122 139 118 98 170 184 171 141 176 193 140

Public access

View all

5 articles

1 article

available

not available

Based on funding mandates

Co-authors

Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Wieger WesselinkAI Research Engineer, Eindhoven University of TechnologyVerified email at tue.nl
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsVerified email at tue.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Maurice LaveauxPhD student, Eindhoven University of TechnologyVerified email at tue.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Frank StappersPhD Student, Technische Universiteit EindhovenVerified email at tue.nl
M.A. ReniersTU/eVerified email at tue.nl
Kees VerstoepICT ConsultantVerified email at vu.nl
Henri BalVU University AmsterdamVerified email at cs.vu.nl
Daniela RemenskaComputer Science PhDVerified email at nikhef.nl
Lars FrantzenVerified email at frantzen.info
Maurice H. ter BeekISTI, CNRVerified email at isti.cnr.it
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Neda NorooziVerified email at tue.nl
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyVerified email at tue.nl
Simona OrzanFontys University of Applied SciencesVerified email at fontys.nl

Tim Willemse

Associate Professor, Eindhoven University of Technology

Verified email at tue.nl - Homepage

Formal Methods Verification Model Checking Model-Based Testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Test generation based on symbolic specifications L Frantzen, J Tretmans, TAC Willemse International Workshop on Formal Approaches to Software Testing, 1-15, 2004	221	2004
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	207	2013
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	203	2019
A symbolic framework for model-based testing L Frantzen, J Tretmans, TAC Willemse International Workshop on Formal Approaches to Software Testing, 40-54, 2006	142	2006
Parameterised boolean equation systems JF Groote, TAC Willemse Theoretical Computer Science 343 (3), 332-369, 2005	116	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	106	2005
Model-checking processes with data JF Groote, TAC Willemse Science of Computer Programming 56 (3), 251-273, 2005	78	2005
Experiences in developing the mCRL2 toolset JF Groote, JJA Keiren, FPM Stappers, JW Wesselink, TAC Willemse Software: Practice and Experience 41 (2), 143-153, 2011	73	2011
Message Sequence Charts in the software engineering process S Mauw, MA Reniers, TAC Willemse Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001	59	2001
Equivalence checking for infinite systems using parameterized boolean equation systems T Chen, B Ploeger, J Van De Pol, TAC Willemse International Conference on Concurrency Theory, 120-135, 2007	55	2007
Language-driven system design S Mauw, WT Wiersma, TAC Willemse Proceedings of the 35th Annual Hawaii International Conference on System …, 2002	49	2002
Family-based model checking with mCRL2 MH ter Beek, EP de Vink, TAC Willemse International Conference on Fundamental Approaches to Software Engineering …, 2017	44	2017
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	44*	2011
Branching bisimulation for probabilistic systems: Characteristics and decidability S Andova, TAC Willemse Theoretical Computer Science 356 (3), 325-355, 2006	38	2006
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	37	2013
Refinement-aware generation of attack trees O Gadyatskaya, R Jhawar, S Mauw, R Trujillo-Rasua, TAC Willemse Security and Trust Management: 13th International Workshop, STM 2017, Oslo …, 2017	31	2017
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	31	2013
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	30	2011
Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset M Bartholomeus, B Luttik, T Willemse International Workshop on Formal Methods for Industrial Critical Systems, 98-114, 2018	29	2018
Games for Bisimulations and Abstraction DDF Escrig, JJA Keiren, TAC Willemse Logical Methods in Computer Science 13, 2017	28	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors