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,
Luis Pedro,
Didier Buchs:
A Methodology and a Framework for Model-Based Testing.
RISE 2004: 57-70 |
2003 |
4 | EE | Antonio Amorim,
J. Lima,
C. Oliveira,
Luis Pedro,
N. Barros:
Experience with the Open Source based implementation for ATLAS Conditions Data Management System
CoRR cs.DB/0306006: (2003) |
3 | 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) |
2 | EE | Antonio Amorim,
Luis Pedro,
Han Fei,
Nuno Almeida,
Paulo Trezentos,
Jaime E. Villate:
Grid-Brick Event Processing Framework in GEPS
CoRR cs.DC/0306093: (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 |