Luis Pedro

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study. DSM@SPLASH (2010)
Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro
DSL Composition for model-based test generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral
Composing Visual Syntax for Domain Specific Languages. HCI (2) (2009)
Luis Pedro, Levi Lucio, Didier Buchs
System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Syst. Online 8 (4) (2007)
Didier Buchs, Luis Pedro, Levi Lucio
Formal Test Generation from UML Models. Research Results of the DICS Program (2006)
Luis Pedro, Levi Lucio, Didier Buchs
Principles for System Prototype and Verification Using Metamodel Based Transformations. IEEE International Workshop on Rapid System Prototyping (2006)
Luis Pedro, Levi Lucio, Didier Buchs
Prototyping Domain Specific Languages with COOPN. RISE (2005)
Levi Lucio, Luis Pedro, Didier Buchs
A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping (2005)
Levi Lucio, Luis Pedro, Didier Buchs
A Methodology and a Framework for Model-Based Testing. RISE (2004)
António Amorim, Luis Pedro, Han Fei, Nuno Almeida, Paulo Trezentos, Jaime E. Villate
Grid-Brick Event Processing Framework in GEPS CoRR (2003)
António Amorim, J. Lima, C. Oliveira, Luis Pedro, N. Barros
Experience with the Open Source based implementation for ATLAS Conditions Data Management System CoRR (2003)
M. Barczyk, D. Burckhart-Chromek, Mihai Caprini, J. Da Silva Conceicao, M. Dobson, J. Flammer, R. Jones, Andrei Kazarov, S. Kolos, Dietrich Liko, L. Mapelli, Igor Soloviev, R. Hart, António Amorim, D. Klose, J. Lima, Levi Lucio, Luis Pedro, H. Wolters, E. Badescu, Igor Alexandrov, V. Kotov, Mikhail Mineev, Yu. Ryabov
An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS CoRR (2003)
Igor Alexandrov, António Amorim, E. Badescu, M. Barczyk, D. Burckhart-Chromek, Mihai Caprini, M. Dobson, J. Flammer, R. Hart, R. Jones, Andrei Kazarov, S. Kolos, V. Kotov, Dietrich Liko, Levi Lucio, L. Mapelli, Mikhail Mineev, L. Moneta, I. Papadopoulos, M. Nassiakou, N. Parrington, Luis Pedro, A. Ribeiro, Yu. Ryabov, D. Schweiger, Igor Soloviev, H. Wolters
OBK - An Online High Energy Physics' Meta-Data Repository. VLDB (2002)