| 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 | 128 | 2016 |
| 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 | 84 | 2012 |
| 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 | 71 | 2004 |
| 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 | 67 | 2013 |
| 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 | 67 | 2010 |
| 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 | 65 | 2010 |
| 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 | 59 | 2012 |
| 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 | 57 | 2014 |
| Advances in model-driven security L Lucio, Q Zhang, PH Nguyen, M Amrani, J Klein, H Vangheluwe, ... Advances in Computers 93, 103-152, 2014 | 53 | 2014 |
| 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 | 42 | 2015 |
| 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 | 38 | 2012 |
| 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 | 34 | 2019 |
| Just formal enough? automated analysis of ears requirements L Lúcio, S Rahman, CH Cheng, A Mavin NASA Formal Methods Symposium, 427-434, 2017 | 31 | 2017 |
| 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 | 30 | 2003 |
| 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 | 27 | 2014 |
| 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 | 26 | 2018 |
| Migrating automotive product lines: a case study M Famelis, L Lúcio, G Selim, AD Sandro, R Salay, M Chechik, JR Cordy, ... International Conference on Theory and Practice of Model Transformations, 82-97, 2015 | 21 | 2015 |
| Full contract verification for ATL using symbolic execution BJ Oakes, J Troya, L Lúcio, M Wimmer Software & Systems Modeling 17 (3), 815-849, 2018 | 20 | 2018 |
| 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 | 18 | 2004 |
| A methodology and a framework for model-based testing L Lucio, L Pedro, D Buchs International Workshop on Rapid Integration of Software Engineering …, 2004 | 17 | 2004 |
Hans VangheluweProfessor at University of Antwerp -- Flanders MakeVerified email at uantwerpen.be
