Tim A. C. Willemse

2009
20	EE	Simona Orzan, Wieger Wesselink, Tim A. C. Willemse: Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS 2009: 230-245
2008
19	EE	Simona Orzan, Tim A. C. Willemse: Invariants for Parameterised Boolean Equation Systems. CONCUR 2008: 187-202
18	EE	A. van Dam, Bas Ploeger, Tim A. C. Willemse: Instantiation for Parameterised Boolean Equation Systems. ICTAC 2008: 440-454
2007
17	EE	Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse: Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR 2007: 120-135
16	EE	Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse: Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM 2007: 538-557
15	EE	Maxim Gromov, Tim A. C. Willemse: Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES 2007: 138-154
2006
14	EE	Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse: A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. CONCUR 2006: 327-342
13	EE	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54
12	EE	Tim A. C. Willemse: Heuristics for ioco -Based Test-Based Modelling. FMICS/PDMC 2006: 132-147
11	EE	Suzana Andova, Tim A. C. Willemse: Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356(3): 325-355 (2006)
2005
10	EE	Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
9	EE	Suzana Andova, Tim A. C. Willemse: Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 128(2): 53-66 (2005)
8	EE	Jan Friso Groote, Tim A. C. Willemse: Model-checking processes with data. Sci. Comput. Program. 56(3): 251-273 (2005)
7	EE	Jan Friso Groote, Tim A. C. Willemse: Parameterised boolean equation systems. Theor. Comput. Sci. 343(3): 332-369 (2005)
2004
6	EE	Jan Friso Groote, Tim A. C. Willemse: Parameterised Boolean Equation Systems (Extended Abstract). CONCUR 2004: 308-324
5	EE	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: Test Generation Based on Symbolic Specifications. FATES 2004: 1-15
4	EE	Tim A. C. Willemse: Embeddings of Hybrid Automata in Process Algebra. IFM 2004: 343-362
3	EE	Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse: Language-Driven System Design. International Journal of Software Engineering and Knowledge Engineering 14(6): 625-663 (2004)
2003
2	EE	Jan Friso Groote, Tim A. C. Willemse: A Checker for Modal Formulae for Processes with Data. FMCO 2003: 223-239
2002
1	EE	Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse: Language Driven System Design. HICSS 2002: 280

Coauthor Index

1	Luís Almeida	[10]
2	Suzana Andova	[9] [11] [14]
3	Jos C. M. Baeten	[14]
4	Albert Benveniste	[10]
5	Bruno Bouyssounouse	[10]
6	Giorgio C. Buttazzo	[10]
7	Paul Caspi	[10]
8	Taolue Chen	[17]
9	Ivica Crnkovic	[10]
10	A. van Dam	[18]
11	Werner Damm	[10]
12	Jakob Engblom	[10]
13	Gerhard Fohler	[10]
14	Lars Frantzen	[5] [13]
15	Marisol García-Valls	[10]
16	Maxim Gromov	[15]
17	Jan Friso Groote	[2] [6] [7] [8]
18	Hermann Kopetz	[10]
19	Yassine Lakhnech	[10]
20	François Laroussinie	[10]
21	Luciano Lavagno	[10]
22	Giuseppe Lipari	[10]
23	Florence Maraninchi	[10]
24	Sjouke Mauw	[1] [3]
25	Martijn Oostdijk	[16]
26	Simona Orzan	[19] [20]
27	Philipp Peti	[10]
28	Bas Ploeger	[17] [18]
29	Jaco van de Pol	[17]
30	Juan Antonio de la Puente	[10]
31	Vlad Rusu	[16]
32	Alberto L. Sangiovanni-Vincentelli	[10]
33	Norman Scaife	[10]
34	Joseph Sifakis	[10]
35	Robert de Simone	[10]
36	Martin Törngren	[10]
37	Jan Tretmans	[5] [13] [16]
38	Paulo Veríssimo	[10]
39	René G. de Vries	[16]
40	Andy J. Wellings	[10]
41	Wieger Wesselink	[20]
42	Wouter T. Wiersma	[1] [3]
43	Reinhard Wilhelm	[10]
44	Wang Yi	[10]

Colors in the list of coauthors