Levi Lucio
Levi Lucio
Software Architect, Airbus Defence and Space
Dirección de correo verificada de airbus.com - Página principal
Título
Citado por
Citado por
Año
Model transformation intents and their properties
L Lúcio, M Amrani, J Dingel, L Lambers, R Salay, GMK Selim, E Syriani, ...
Software & systems modeling 15 (3), 647-684, 2016
972016
A tridimensional approach for studying the formal verification of model transformations
M Amrani, L Lucio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth …, 2012
762012
Replica management in the european datagrid project
D Cameron, J Casey, L Guy, P Kunszt, S Lemaitre, G McCance, ...
Journal of Grid computing 2 (4), 341-351, 2004
652004
Dsltrans: A turing incomplete transformation language
B Barroca, L Lúcio, V Amaral, R Félix, V Sousa
International Conference on Software Language Engineering, 296-305, 2010
612010
A technique for automatic validation of model transformations
L Lúcio, B Barroca, V Amaral
International Conference on Model Driven Engineering Languages and Systems …, 2010
612010
FTG+ PM: An integrated framework for investigating model transformation chains
L Lúcio, S Mustafiz, J Denil, H Vangheluwe, M Jukss
International SDL Forum, 182-202, 2013
532013
Towards a model transformation intent catalog
M Amrani, J Dingel, L Lambers, L Lúcio, R Salay, G Selim, E Syriani, ...
Proceedings of the First Workshop on the Analysis of Model Transformations, 3-8, 2012
492012
ProMoBox: a framework for generating domain-specific property languages
B Meyers, R Deshayes, L Lucio, E Syriani, H Vangheluwe, M Wimmer
International Conference on Software Language Engineering, 1-20, 2014
412014
Advances in model-driven security
L Lucio, Q Zhang, PH Nguyen, M Amrani, J Klein, H Vangheluwe, ...
Advances in Computers 93, 103-152, 2014
412014
Formal verification techniques for model transformations: A tridimensional classification
M Amrani, B Combemale, L Lúcio, GMK Selim, J Dingel, Y Le Traon, ...
Journal of Object Technology 14 (3), 2015
342015
Next-generation eu datagrid data management services
D Bosio, J Casey, A Frohner, L Guy, P Kunszt, E Laure, S Lemaitre, ...
arXiv preprint physics/0305134, 2003
282003
The FTG+ PM framework for multi-paradigm modelling: An automotive case study
S Mustafiz, J Denil, L Lúcio, H Vangheluwe
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 13-18, 2012
272012
Specification and verification of graph-based model transformation properties
GMK Selim, L Lúcio, JR Cordy, J Dingel, BJ Oakes
International Conference on Graph Transformation, 113-129, 2014
232014
Migrating automotive product lines: a case study
M Famelis, L Lúcio, G Selim, A Di Sandro, R Salay, M Chechik, JR Cordy, ...
International Conference on Theory and Practice of Model Transformations, 82-97, 2015
192015
Online software for the ATLAS test beam data acquisition system
I Alexandrov, A Amorim, E Badescu, M Barczyk, D Burckhart-Chromek, ...
IEEE Transactions on Nuclear Science 51 (3), 578-584, 2004
182004
Programação em Visual Basic 6
L Campos, S Vilar, L Lúcio
Lisboa: FCA. Findlay, W. & Watt, DA (1981). Introdução à programação em …, 1999
181999
Online Monitoring software framework in the ATLAS experiment
S Kolos, I Alexandrov, A Amorim, M Barczyk, E Badescu, ...
arXiv preprint hep-ex/0305096, 2003
162003
A methodology and a framework for model-based testing
L Lucio, L Pedro, D Buchs
International Workshop on Rapid Integration of Software Engineering …, 2004
152004
Fully verifying transformation contracts for declarative ATL
BJ Oakes, J Troya, L Lúcio, M Wimmer
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
132015
Model checking techniques for test generation from business process models
D Buchs, L Lucio, A Chen
International Conference on Reliable Software Technologies, 59-74, 2009
132009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20