Tim Willemse
Tim Willemse
Vahvistettu sähköpostiosoite verkkotunnuksessa tue.nl - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Test generation based on symbolic specifications
L Frantzen, J Tretmans, TAC Willemse
International Workshop on Formal Approaches to Software Testing, 1-15, 2004
1972004
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
1782013
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
Formal approaches to software testing and runtime verification, 40-54, 2006
1302006
Parameterised boolean equation systems
JF Groote, TAC Willemse
Theoretical Computer Science 343 (3), 332-369, 2005
982005
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
972005
Model-checking processes with data
JF Groote, TAC Willemse
Science of Computer Programming 56 (3), 251-273, 2005
712005
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, ...
25th International Conference on Tools and Algorithms for the Construction …, 2019
692019
Message Sequence Charts in the software engineering process
S Mauw, MA Reniers, TAC Willemse
Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001
592001
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
International Conference on Concurrency Theory, 120-135, 2007
492007
Language-driven system design
S Mauw, WT Wiersma, TAC Willemse
Proceedings of the 35th Annual Hawaii International Conference on System …, 2002
472002
Results on embeddings between state-based and event-based systems
MA Reniers, R Schoren, TAC Willemse
The Computer Journal 57 (1), 73-92, 2014
35*2014
Branching bisimulation for probabilistic systems: Characteristics and decidability
S Andova, TAC Willemse
Theoretical Computer Science 356 (3), 325-355, 2006
352006
Family-based model checking with mCRL2
MH ter Beek, EP de Vink, TAC Willemse
International Conference on Fundamental Approaches to Software Engineering …, 2017
322017
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
32*2011
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
252013
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
252013
Heuristics for ioco-Based Test-Based Modelling
TAC Willemse
International Workshop on Parallel and Distributed Methods in Verification …, 2006
252006
Semantics and verification in process algebras with data and timing
TAC Willemse
Technische Universiteit Eindhoven, 2003
252003
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
232009
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20