Levi Lucio

	2012
18		Moussa Amrani, Levi Lucio, Gehan Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy: A Tridimensional Approach for Studying the Formal Verification of Model Transformations. ICST 2012: 921-928
	2011
17		Levi Lucio, Stephan Weißleder, Frédéric Fondement, Harald Cichos: MoDeVVa 2011 Workshop Summary. MoDELS Workshops 2011: 183-186
	2010
16		Levi Lucio, Bruno Barroca, Vasco Amaral: A Technique for Automatic Validation of Model Transformations. MoDELS (1) 2010: 136-150
15		Levi Lucio, Elisangela Vieira, Stephan Weißleder: MoDeVVa 2010 Workshop Summary. MoDELS Workshops 2010: 239-243
14		Bruno Barroca, Levi Lucio, Vasco Amaral, Roberto Félix, Vasco Sousa: DSLTrans: A Turing Incomplete Transformation Language. SLE 2010: 296-305
	2009
13		Didier Buchs, Levi Lucio, Ang Chen: Model Checking Techniques for Test Generation from Business Process Models. Ada-Europe 2009: 59-74
12		Levi Lucio, Stephan Weißleder: MoDeVVa Workshop Summary. MoDELS Workshops 2009: 155-157
11		Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro: DSL Composition for model-based test generation. ECEASST 21: (2009)
	2007
10		Luis Pedro, Levi Lucio, Didier Buchs: System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Systems Online 8(4): (2007)
	2006
9		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		Didier Buchs, Luis Pedro, Levi Lucio: Formal Test Generation from UML Models. Research Results of the DICS Program 2006: 145-171
	2005
7		Levi Lucio, Luis Pedro, Didier Buchs: A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping 2005: 195-201
6		Luis Pedro, Levi Lucio, Didier Buchs: Prototyping Domain Specific Languages with COOPN. RISE 2005: 174-189
	2004
5		Levi Lucio, Marko Samer: Technology of Test-Case Generation. Model-Based Testing of Reactive Systems 2004: 323-354
4		Levi Lucio, Luis Pedro, Didier Buchs: A Methodology and a Framework for Model-Based Testing. RISE 2004: 57-70
3		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		M. Barczyc, D. Burckhart-Chromek, Mihai Caprini, J. Da Silva Conceicao, M. Dobson, J. Flammer, R. Jones, Andrei Kazarov, S. Kolos, Dietrich Liko, L. Mapelli, Igor 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		I. Alexandrov, Antonio Amorim, E. Badescu, M. Barczyk, D. Burckhart-Chromek, Mihai Caprini, M. Dobson, J. Flammer, R. Hart, R. Jones, Andrei 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, Igor Soloviev, H. Wolters: OBK - An Online High Energy Physics' Meta-Data Repository. VLDB 2002: 920-927

Coauthor Index

1	I. Alexandrov	[1] [2]
2	Vasco Amaral	[11] [14] [16]
3	Antonio Amorim	[1] [2]
4	Moussa Amrani	[18]
5	Giuseppe Andronico	[3]
6	E. Badescu	[1] [2]
7	M. Barczyc	[2]
8	M. Barczyk	[1]
9	Bruno Barroca	[11] [14] [16]
10	William H. Bell	[3]
11	Itzhak Ben-Akiva	[3]
12	Diana Bosio	[3]
13	Didier Buchs	[4] [6] [7] [8] [9] [10] [11] [13]
14	D. Burckhart-Chromek	[1] [2]
15	David G. Cameron	[3]
16	Mihai Caprini	[1] [2]
17	James Casey	[3]
18	Ang Chen	[13]
19	Radovan Chytracek	[3]
20	Harald Cichos	[17]
21	Benoît Combemale	[18]
22	J. Da Silva Conceicao	[2]
23	James R. Cordy	[18]
24	Jürgen Dingel	[18]
25	M. Dobson	[1] [2]
26	Andrea Domenici	[3]
27	Flavia Donno	[3]
28	Roberto Félix	[14]
29	J. Flammer	[1] [2]
30	Frédéric Fondement	[17]
31	Leanne Guy	[3]
32	R. Hart	[1] [2]
33	Wolfgang Hoschek	[3]
34	R. Jones	[1] [2]
35	Andrei Kazarov	[1] [2]
36	D. Klose	[2]
37	S. Kolos	[1] [2]
38	V. Kotov	[1] [2]
39	Peter Z. Kunszt	[3]
40	Erwin Laure	[3]
41	Sophie Lemaitre	[3]
42	Dietrich Liko	[1] [2]
43	J. Lima	[2]
44	L. Mapelli	[1] [2]
45	Gavin McCance	[3]
46	A. Paul Millar	[3]
47	M. Mineev	[1] [2]
48	L. Moneta	[1]
49	M. Nassiakou	[1]
50	I. Papadopoulos	[1]
51	N. Parrington	[1]
52	Luis Pedro	[1] [2] [4] [6] [7] [8] [9] [10] [11]
53	A. Ribeiro	[1]
54	Yu. Ryabov	[1] [2]
55	Livio Salconi	[3]
56	Marko Samer	[5]
57	D. Schweiger	[1]
58	Ben Segal	[3]
59	Gehan Selim	[18]
60	Mika Silander	[3]
61	Igor Soloviev	[1] [2]
62	Vasco Sousa	[14]
63	Heinz Stockinger	[3]
64	Kurt Stockinger	[3]
65	Yves Le Traon	[18]
66	Hans Vangheluwe	[18]
67	Elisangela Vieira	[15]
68	Stephan Weißleder	[12] [15] [17]
69	H. Wolters	[1] [2]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page