Luis Pedro

According to our database, Luis Pedro authored at least 14 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.

Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral

Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

2009

A systematic language engineering approach for prototyping domain specific modelling languages.

Luis Pedro

PhD thesis, 2009

DSL Composition for model-based test generation.

Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Composing Visual Syntax for Domain Specific Languages.

Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral

Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009

2007

System Prototype and Verification Using Metamodel-Based Transformations.

Luis Pedro, Levi Lucio, Didier Buchs

IEEE Distributed Syst. Online, 2007

2006

Principles for System Prototype and Verification Using Metamodel Based Transformations.

Luis Pedro, Levi Lucio, Didier Buchs

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Formal Test Generation from UML Models.

Didier Buchs, Luis Pedro, Levi Lucio

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005

A Test Language for CO-OPN Specifications.

Levi Lucio, Luis Pedro, Didier Buchs

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

Prototyping Domain Specific Languages with COOPN.

Luis Pedro, Levi Lucio, Didier Buchs

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

2004

A Methodology and a Framework for Model-Based Testing.

Levi Lucio, Luis Pedro, Didier Buchs

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

2003

Grid-Brick Event Processing Framework in GEPS

António Amorim, Luis Pedro, Han Fei, Nuno Almeida, Paulo Trezentos, Jaime E. Villate

CoRR, 2003

An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS

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

CoRR, 2003

Experience with the Open Source based implementation for ATLAS Conditions Data Management System

António Amorim, Jorge Lima, C. Oliveira, Luis Pedro, Nuno Barros

CoRR, 2003

2002

OBK - An Online High Energy Physics' Meta-Data Repository.

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

Proceedings of 28th International Conference on Very Large Data Bases, 2002