Tim Willemse
Tim Willemse
Verifierad e-postadress på tue.nl - Startsida
TitelCiteras avÅr
Test generation based on symbolic specifications
L Frantzen, J Tretmans, TAC Willemse
International Workshop on Formal Approaches to Software Testing, 1-15, 2004
1752004
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
1402013
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
Formal approaches to software testing and runtime verification, 40-54, 2006
1152006
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
852005
Parameterised boolean equation systems
JF Groote, TAC Willemse
Theoretical Computer Science 343 (3), 332-369, 2005
842005
Model-checking processes with data
JF Groote, TAC Willemse
Science of Computer Programming 56 (3), 251-273, 2005
602005
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
542008
Message Sequence Charts in the software engineering process
S Mauw, MA Reniers, TAC Willemse
Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001
532001
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
462007
Language-driven system design
S Mauw, WT Wiersma, TAC Willemse
Proceedings of the 35th Annual Hawaii International Conference on System …, 2002
422002
Branching bisimulation for probabilistic systems: characteristics and decidability
S Andova, TAC Willemse
Theoretical Computer Science 356 (3), 325-355, 2006
292006
Semantics and verification in process algebras with data and timing
TAC Willemse
Technische Universiteit Eindhoven, 2003
252003
Results on embeddings between state-based and event-based systems
MA Reniers, R Schoren, TAC Willemse
The Computer Journal 57 (1), 73-92, 2014
24*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
22*2011
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
222009
Instantiation for parameterised boolean equation systems
A van Dam, B Ploeger, TAC Willemse
International Colloquium on Theoretical Aspects of Computing, 440-454, 2008
212008
Bisimulation minimisations for boolean equation systems
JJA Keiren, TAC Willemse
Haifa Verification Conference, 102-116, 2009
202009
Heuristics for ioco-Based Test-Based Modelling
TAC Willemse
International Workshop on Parallel and Distributed Methods in Verification …, 2006
202006
Invariants for parameterised Boolean equation systems
S Orzan, TAC Willemse
Theoretical Computer Science 411 (11-13), 1338-1371, 2010
192010
Synchronizing asynchronous conformance testing
N Noroozi, R Khosravi, MR Mousavi, TAC Willemse
International Conference on Software Engineering and Formal Methods, 334-349, 2011
182011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20