The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Levi Lucio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Levi Lucio, Marko Samer
    Technology of Test-Case Generation. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:323-354 [Conf]
  2. 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]
  3. Luis Pedro, Levi Lucio, Didier Buchs
    Prototyping Domain Specific Languages with COOPN. [Citation Graph (0, 0)][DBLP]
    RISE, 2005, pp:174-189 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  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. 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. [Citation Graph (0, 0)][DBLP]
    J. Grid Comput., 2004, v:2, n:4, pp:341-351 [Journal]

  10. Model Checking Techniques for Test Generation from Business Process Models. [Citation Graph (, )][DBLP]


  11. A Technique for Automatic Validation of Model Transformations. [Citation Graph (, )][DBLP]


  12. MoDeVVa Workshop Summary. [Citation Graph (, )][DBLP]


  13. System Prototype and Verification Using Metamodel-Based Transformations. [Citation Graph (, )][DBLP]


Search in 0.052secs, Finished in 0.053secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002