Follow
Levi Lucio
Levi Lucio
Eurodrone Model Manager, Airbus Defence and Space
Verified email at airbus.com - Homepage
Title
Cited by
Cited by
Year
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
1362016
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
842012
Replica management in the european datagrid project
D Cameron, J Casey, L Guy, P Kunszt, S Lemaitre, G McCance, ...
Journal of Grid computing 2, 341-351, 2004
712004
FTG+ PM: An integrated framework for investigating model transformation chains
L Lúcio, S Mustafiz, J Denil, H Vangheluwe, M Jukss
SDL 2013: Model-Driven Dependability Engineering: 16th International SDL …, 2013
672013
DSLTrans: A Turing Incomplete Transformation
B Barroca, L Lúcio, V Amaral, R Félix, V Sousa
Software Language Engineering: Third International Conference, SLE 2010 …, 2011
672011
A Technique for Automatic Validation of Model Transformations.
L Lúcio, B Barroca, V Amaral
MoDELS (1) 6394, 136-150, 2010
632010
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
612012
Promobox: A framework for generating domain-specific property languages
B Meyers, R Deshayes, L Lucio, E Syriani, H Vangheluwe, M Wimmer
Software Language Engineering: 7th International Conference, SLE 2014 …, 2014
602014
Advances in model-driven security
L Lucio, Q Zhang, PH Nguyen, M Amrani, J Klein, H Vangheluwe, ...
Advances in Computers 93, 103-152, 2014
542014
Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective
A Perzylo, J Grothoff, L Lucio, M Weser, S Malakuti, P Venet, ...
IFAC-PapersOnLine 52 (13), 1590-1596, 2019
482019
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
472015
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
412012
Just formal enough? automated analysis of EARS requirements
L Lúcio, S Rahman, CH Cheng, A Mavin
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
372017
A bird's eye view on requirements engineering and machine learning
T Iqbal, P Elahidoost, L Lucio
2018 25th Asia-Pacific Software Engineering Conference (APSEC), 11-20, 2018
352018
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
312003
Specification and verification of graph-based model transformation properties
GMK Selim, L Lúcio, JR Cordy, J Dingel, BJ Oakes
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014
292014
Full contract verification for ATL using symbolic execution
BJ Oakes, J Troya, L Lúcio, M Wimmer
Software & Systems Modeling 17, 815-849, 2018
242018
Migrating automotive product lines: a case study
M Famelis, L Lúcio, G Selim, A Di Sandro, R Salay, M Chechik, JR Cordy, ...
Theory and Practice of Model Transformations: 8th International Conference …, 2015
222015
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 de Campos, S Vilar, L Lúcio
181999
The system can't perform the operation now. Try again later.
Articles 1–20