Folgen
Tim Willemse
Tim Willemse
Associate Professor, Eindhoven University of Technology
Bestätigte E-Mail-Adresse bei tue.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Test generation based on symbolic specifications
L Frantzen, J Tretmans, TAC Willemse
International Workshop on Formal Approaches to Software Testing, 1-15, 2004
2242004
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
2172019
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
2122013
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
International Workshop on Formal Approaches to Software Testing, 40-54, 2006
1422006
Parameterised boolean equation systems
JF Groote, TAC Willemse
Theoretical Computer Science 343 (3), 332-369, 2005
1192005
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
1062005
Model-checking processes with data
JF Groote, TAC Willemse
Science of Computer Programming 56 (3), 251-273, 2005
802005
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
742011
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
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
552007
Language-driven system design
S Mauw, WT Wiersma, TAC Willemse
Proceedings of the 35th Annual Hawaii International Conference on System …, 2002
492002
Family-based model checking with mCRL2
MH ter Beek, EP de Vink, TAC Willemse
International Conference on Fundamental Approaches to Software Engineering …, 2017
482017
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
392006
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
372013
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
342017
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
322013
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
312018
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
302011
Games for Bisimulations and Abstraction
DDF Escrig, JJA Keiren, TAC Willemse
Logical Methods in Computer Science 13, 2017
292017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20