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,
D. 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,
D. 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 |