Levi Lucio Vis

*	2009
10	EE	Didier Buchs, Levi Lucio, Ang Chen: Model Checking Techniques for Test Generation from Business Process Models. Ada-Europe 2009: 59-74
	2006
9	EE	Luis Pedro, Levi Lucio, Didier Buchs: Principles for System Prototype and Verification Using Metamodel Based Transformations. IEEE International Workshop on Rapid System Prototyping 2006: 10-17
8	EE	Didier Buchs, Luis Pedro, Levi Lucio: Formal Test Generation from UML Models. Research Results of the DICS Program 2006: 145-171
	2005
7	EE	Levi Lucio, Luis Pedro, Didier Buchs: A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping 2005: 195-201
6	EE	Luis Pedro, Levi Lucio, Didier Buchs: Prototyping Domain Specific Languages with COOPN. RISE 2005: 174-189
	2004
5	EE	Levi Lucio, Marko Samer: Technology of Test-Case Generation. Model-Based Testing of Reactive Systems 2004: 323-354
4	EE	Levi Lucio, Luis Pedro, Didier Buchs: A Methodology and a Framework for Model-Based Testing. RISE 2004: 57-70
3	EE	David G. Cameron, James Casey, Leanne Guy, Peter Z. Kunszt, Sophie Lemaitre, Gavin McCance, Heinz Stockinger, Kurt Stockinger, Giuseppe Andronico, William H. Bell, Itzhak Ben-Akiva, Diana Bosio, Radovan Chytracek, Andrea Domenici, Flavia Donno, Wolfgang Hoschek, Erwin Laure, Levi Lucio, A. Paul Millar, Livio Salconi, Ben Segal, Mika Silander: Replica Management in the European DataGrid Project. J. Grid Comput. 2(4): 341-351 (2004)
	2003
2	EE	M. Barczyc, D. Burckhart-Chromek, M. Caprini, J. Da Silva Conceicao, M. Dobson, J. Flammer, R. Jones, A. Kazarov, S. Kolos, Dietrich Liko, L. Mapelli, I. Soloviev, R. Hart, Antonio Amorim, D. Klose, J. Lima, Levi Lucio, Luis Pedro, H. Wolters, E. Badescu, I. Alexandrov, V. Kotov, M. Mineev, Yu. Ryabov: An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS CoRR cs.DB/0306081: (2003)
	2002
1	EE	I. Alexandrov, Antonio Amorim, E. Badescu, M. Barczyk, D. Burckhart-Chromek, M. Caprini, M. Dobson, J. Flammer, R. Hart, R. Jones, A. Kazarov, S. Kolos, V. Kotov, Dietrich Liko, Levi Lucio, L. Mapelli, M. Mineev, L. Moneta, I. Papadopoulos, M. Nassiakou, N. Parrington, Luis Pedro, A. Ribeiro, Yu. Ryabov, D. Schweiger, I. Soloviev, H. Wolters: OBK - An Online High Energy Physics' Meta-Data Repository. VLDB 2002: 920-927

Coauthor Index

1	I. Alexandrov	[1] [2]
2	Antonio Amorim	[1] [2]
3	Giuseppe Andronico	[3]
4	E. Badescu	[1] [2]
5	M. Barczyc	[2]
6	M. Barczyk	[1]
7	William H. Bell	[3]
8	Itzhak Ben-Akiva	[3]
9	Diana Bosio	[3]
10	Didier Buchs	[4] [6] [7] [8] [9] [10]
11	D. Burckhart-Chromek	[1] [2]
12	David G. Cameron	[3]
13	M. Caprini	[1] [2]
14	James Casey	[3]
15	Ang Chen	[10]
16	Radovan Chytracek	[3]
17	J. Da Silva Conceicao	[2]
18	M. Dobson	[1] [2]
19	Andrea Domenici	[3]
20	Flavia Donno	[3]
21	J. Flammer	[1] [2]
22	Leanne Guy	[3]
23	R. Hart	[1] [2]
24	Wolfgang Hoschek	[3]
25	R. Jones	[1] [2]
26	A. Kazarov	[1] [2]
27	D. Klose	[2]
28	S. Kolos	[1] [2]
29	V. Kotov	[1] [2]
30	Peter Z. Kunszt	[3]
31	Erwin Laure	[3]
32	Sophie Lemaitre	[3]
33	Dietrich Liko	[1] [2]
34	J. Lima	[2]
35	L. Mapelli	[1] [2]
36	Gavin McCance	[3]
37	A. Paul Millar	[3]
38	M. Mineev	[1] [2]
39	L. Moneta	[1]
40	M. Nassiakou	[1]
41	I. Papadopoulos	[1]
42	N. Parrington	[1]
43	Luis Pedro	[1] [2] [4] [6] [7] [8] [9]
44	A. Ribeiro	[1]
45	Yu. Ryabov	[1] [2]
46	Livio Salconi	[3]
47	Marko Samer	[5]
48	D. Schweiger	[1]
49	Ben Segal	[3]
50	Mika Silander	[3]
51	I. Soloviev	[1] [2]
52	Heinz Stockinger	[3]
53	Kurt Stockinger	[3]
54	H. Wolters	[1] [2]

Colors in the list of coauthors