Tim Willemse

Cited by

	All	Since 2016
Citations	1749	682
h-index	21	13
i10-index	46	18

180

135

2001200220032004200520062007200820092010201120122013201420152016201720182019202020217 7 11 14 45 42 53 85 74 89 99 114 155 118 135 105 95 161 176 142 1

Co-authors

Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsVerified email at tue.nl
Wieger WesselinkAssistant Proffessor of Computer Science, 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
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Frank StappersPhD Student, Technische Universiteit EindhovenVerified email at tue.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Thomas NeeleEindhoven University of TechnologyVerified email at tue.nl
Lars FrantzenVerified email at frantzen.info
Kees VerstoepScientific ProgrammerVerified email at cs.vu.nl
Henri BalVU University AmsterdamVerified email at cs.vu.nl
Daniela RemenskaComputer Science PhDVerified email at nikhef.nl
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Mohammad Reza MousaviProfessor, University of LeicesterVerified email at le.ac.uk
Neda NorooziVerified email at tue.nl
Simona Orzanfreelance technical consultant, Antracit (University ;-))Verified email at antracit.nl
Maurice LaveauxPhD student, Eindhoven University of TechnologyVerified email at tue.nl
Maurice H. ter BeekISTI, CNRVerified email at isti.cnr.it
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es

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	190	2004
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ... International Conference on Tools and Algorithms for the Construction and …, 2013	173	2013
A symbolic framework for model-based testing L Frantzen, J Tretmans, TAC Willemse Formal approaches to software testing and runtime verification, 40-54, 2006	126	2006
Parameterised boolean equation systems JF Groote, TAC Willemse Theoretical Computer Science 343 (3), 332-369, 2005	99	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	90	2005
Model-checking processes with data JF Groote, TAC Willemse Science of Computer Programming 56 (3), 251-273, 2005	66	2005
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	54	2008
Message Sequence Charts in the software engineering process S Mauw, MA Reniers, TAC Willemse Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001	54	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	51	2007
Language-driven system design S Mauw, WT Wiersma, TAC Willemse Proceedings of the 35th Annual Hawaii International Conference on System …, 2002	45	2002
The mCRL2 toolset for analysing concurrent systems O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... International Conference on Tools and Algorithms for the Construction and …, 2019	44	2019
Branching bisimulation for probabilistic systems: characteristics and decidability S Andova, TAC Willemse Theoretical Computer Science 356 (3), 325-355, 2006	33	2006
Family-based model checking with mCRL2 MH ter Beek, EP de Vink, TAC Willemse International Conference on Fundamental Approaches to Software Engineering …, 2017	31	2017
Results on embeddings between state-based and event-based systems MA Reniers, R Schoren, TAC Willemse The Computer Journal 57 (1), 73-92, 2014	30*	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	28*	2011
Heuristics for ioco-Based Test-Based Modelling TAC Willemse International Workshop on Parallel and Distributed Methods in Verification …, 2006	26	2006
Semantics and verification in process algebras with data and timing TAC Willemse Technische Universiteit Eindhoven, 2003	24	2003
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	23	2013
Static analysis techniques for parameterised Boolean equation systems S Orzan, W Wesselink, TAC Willemse International Conference on Tools and Algorithms for the Construction and …, 2009	23	2009
Invariants for parameterised Boolean equation systems S Orzan, TAC Willemse Theoretical Computer Science 411 (11-13), 1338-1371, 2010	22	2010

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

Upload PDF

Follow this author

Cited by

Co-authors