Search the dblp DataBase

Publications of Author

1. Levi Lucio, Luis Pedro, Didier Buchs
   A Methodology and a Framework for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
   RISE, 2004, pp:57-70 [Conf]
   
2. Luis Pedro, Levi Lucio, Didier Buchs
   Prototyping Domain Specific Languages with COOPN. [Citation Graph (0, 0)][DBLP]
   RISE, 2005, pp:174-189 [Conf]
   
3. Luis Pedro, Levi Lucio, Didier Buchs
   Principles for System Prototype and Verification Using Metamodel Based Transformations. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2006, pp:10-17 [Conf]
   
4. Levi Lucio, Luis Pedro, Didier Buchs
   A Test Language for CO-OPN Specifications. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2005, pp:195-201 [Conf]
   
5. I. Alexandrov, A. 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, L. Lucio, L. Mapelli, M. Mineev, L. Moneta, I. Papadopoulos, M. Nassiakou, N. Parrington, L. Pedro, A. Ribeiro, Yu. Ryabov, D. Schweiger, I. Soloviev, H. Wolters
   OBK - An Online High Energy Physics' Meta-Data Repository. [Citation Graph (0, 0)][DBLP]
   VLDB, 2002, pp:920-927 [Conf]
   
6. Didier Buchs, Luis Pedro, Levi Lucio
   Formal Test Generation from UML Models. [Citation Graph (0, 0)][DBLP]
   Research Results of the DICS Program, 2006, pp:145-171 [Conf]
   
7. A. Amorim, J. Lima, C. Oliveira, L. Pedro, N. Barros
   Experience with the Open Source based implementation for ATLAS Conditions Data Management System [Citation Graph (0, 0)][DBLP]
   CoRR, 2003, v:0, n:, pp:- [Journal]
   
8. 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, A. Amorim, D. Klose, J. Lima, L. Lucio, L. 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 [Citation Graph (0, 0)][DBLP]
   CoRR, 2003, v:0, n:, pp:- [Journal]
   
9. Antonio Amorim, Luis Pedro, Han Fei, Nuno Almeida, Paulo Trezentos, Jaime E. Villate
   Grid-Brick Event Processing Framework in GEPS [Citation Graph (0, 0)][DBLP]
   CoRR, 2003, v:0, n:, pp:- [Journal]
   
10. 
    Composing Visual Syntax for Domain Specific Languages. [Citation Graph (, )][DBLP]
    
    
11. 
    System Prototype and Verification Using Metamodel-Based Transformations. [Citation Graph (, )][DBLP]