Tim A. C. Willemse

	2009
20		Simona Orzan, Wieger Wesselink, Tim A. C. Willemse: Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS 2009: 230-245
	2008
19		Simona Orzan, Tim A. C. Willemse: Invariants for Parameterised Boolean Equation Systems. CONCUR 2008: 187-202
18		A. van Dam, Bas Ploeger, Tim A. C. Willemse: Instantiation for Parameterised Boolean Equation Systems. ICTAC 2008: 440-454
	2007
17		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		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		Maxim Gromov, Tim A. C. Willemse: Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES 2007: 138-154
	2006
14		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		Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54
12		Tim A. C. Willemse: Heuristics for ioco -Based Test-Based Modelling. FMICS/PDMC 2006: 132-147
11		Suzana Andova, Tim A. C. Willemse: Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356(3): 325-355 (2006)
	2005
10		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		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		Jan Friso Groote, Tim A. C. Willemse: Model-checking processes with data. Sci. Comput. Program. 56(3): 251-273 (2005)
7		Jan Friso Groote, Tim A. C. Willemse: Parameterised boolean equation systems. Theor. Comput. Sci. 343(3): 332-369 (2005)
	2004
6		Jan Friso Groote, Tim A. C. Willemse: Parameterised Boolean Equation Systems (Extended Abstract). CONCUR 2004: 308-324
5		Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: Test Generation Based on Symbolic Specifications. FATES 2004: 1-15
4		Tim A. C. Willemse: Embeddings of Hybrid Automata in Process Algebra. IFM 2004: 343-362
3		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		Jan Friso Groote, Tim A. C. Willemse: A Checker for Modal Formulae for Processes with Data. FMCO 2003: 223-239
	2002
1		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