![DBLP keys DBLP keys](../../../keys.gif) | 2009 |
11 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Didier Buchs,
Levi Lucio,
Ang Chen:
Model Checking Techniques for Test Generation from Business Process Models.
Ada-Europe 2009: 59-74 |
| 2007 |
10 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Luis Pedro,
Levi Lucio,
Didier Buchs:
System Prototype and Verification Using Metamodel-Based Transformations.
IEEE Distributed Systems Online 8(4): (2007) |
| 2006 |
9 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | 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 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Didier Buchs,
Luis Pedro,
Levi Lucio:
Formal Test Generation from UML Models.
Research Results of the DICS Program 2006: 145-171 |
| 2005 |
7 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Levi Lucio,
Luis Pedro,
Didier Buchs:
A Test Language for CO-OPN Specifications.
IEEE International Workshop on Rapid System Prototyping 2005: 195-201 |
6 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Luis Pedro,
Levi Lucio,
Didier Buchs:
Prototyping Domain Specific Languages with COOPN.
RISE 2005: 174-189 |
| 2004 |
5 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Levi Lucio,
Marko Samer:
Technology of Test-Case Generation.
Model-Based Testing of Reactive Systems 2004: 323-354 |
4 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Levi Lucio,
Luis Pedro,
Didier Buchs:
A Methodology and a Framework for Model-Based Testing.
RISE 2004: 57-70 |
3 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | 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 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | 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 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | 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 |