Tim Willemse

Cited by

	All	Since 2018
Citations	2093	824
h-index	22	14
i10-index	52	23

180

135

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 6 11 12 48 41 52 76 76 93 102 106 144 123 138 101 98 166 175 158 142 156 26

Public access

View all

4 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 WesselinkAssistant Proffessor of Computer Science, 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
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Maurice LaveauxPhD student, Eindhoven University of TechnologyVerified email at tue.nl
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Frank StappersPhD Student, Technische Universiteit EindhovenVerified email at tue.nl
Bas LuttikAssistant 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
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Lars FrantzenVerified email at frantzen.info
Henri BalVU University AmsterdamVerified email at cs.vu.nl
Daniela RemenskaComputer Science PhDVerified email at nikhef.nl
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Neda NorooziVerified 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
Simona OrzanFontys University of Applied SciencesVerified email at fontys.nl
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.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 Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005	209	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	193	2013
A symbolic framework for model-based testing L Frantzen, J Tretmans, TAC Willemse FATES/RV 4262, 40-54, 2006	137	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	117	2019
Parameterised boolean equation systems JF Groote, TAC Willemse Theoretical Computer Science 343 (3), 332-369, 2005	103	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	97	2005
Model-checking processes with data JF Groote, TAC Willemse Science of Computer Programming 56 (3), 251-273, 2005	69	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	58	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	55	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	49	2007
Language-driven system design S Mauw, WT Wiersma, TAC Willemse Proceedings of the 35th Annual Hawaii International Conference on System …, 2002	49	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	44*	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	36*	2011
Branching bisimulation for probabilistic systems: characteristics and decidability S Andova, TAC Willemse Theoretical Computer Science 356 (3), 325-355, 2006	36	2006
Family-based model checking with mCRL2 MH ter Beek, EP de Vink, TAC Willemse Fundamental Approaches to Software Engineering: 20th International …, 2017	35	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	29	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	28	2013
Semantics and verification in process algebras with data and timing TAC Willemse Technische Universiteit Eindhoven, 2003	26	2003
Heuristics for ioco-based test-based modelling TAC Willemse FMICS/PDMC 4346, 132-147, 2006	25	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	24	2006

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