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; et al. (VLDB, 2002)

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; et al. (CoRR, 2003)

Technology of Test-Case Generation. - Levi Lucio; Marko Samer (Model-Based Testing of Reactive Systems, 2004)

A Methodology and a Framework for Model-Based Testing. - Levi Lucio; Luis Pedro; Didier Buchs (RISE, 2004)

Replica Management in the European DataGrid Project. - David G. Cameron; James Casey; Leanne Guy; Peter Z. Kunszt; Sophie Lemaitre; Gavin McCance; Heinz Stockinger; Kurt Stockinger; Giuseppe Andronico; William H. Bell; Itzhak Ben-Akiva; Diana Bosio; et al. (J. Grid Comput., 2004)

Prototyping Domain Specific Languages with COOPN. - Luis Pedro; Levi Lucio; Didier Buchs (RISE, 2005)

A Test Language for CO-OPN Specifications. - Levi Lucio; Luis Pedro; Didier Buchs (IEEE International Workshop on Rapid System Prototyping, 2005)

Formal Test Generation from UML Models. - Didier Buchs; Luis Pedro; Levi Lucio (Research Results of the DICS Program, 2006)

Principles for System Prototype and Verification Using Metamodel Based Transformations. - Luis Pedro; Levi Lucio; Didier Buchs (IEEE International Workshop on Rapid System Prototyping, 2006)

System Prototype and Verification Using Metamodel-Based Transformations. - Luis Pedro; Levi Lucio; Didier Buchs (IEEE Distributed Syst. Online, 2007)

Model Checking Techniques for Test Generation from Business Process Models. - Didier Buchs; Levi Lucio; Ang Chen (Ada-Europe, 2009)

MoDeVVa Workshop Summary. - Levi Lucio; Stephan Weißleder (MoDELS (Workshops), 2009)

DSL Composition for model-based test generation. - Bruno Barroca; Levi Lucio; Didier Buchs; Vasco Amaral 001; Luis Pedro (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

A Technique for Automatic Validation of Model Transformations. - Levi Lucio; Bruno Barroca; Vasco Amaral 001 (MoDELS (1), 2010)

MoDeVVa 2010 Workshop Summary. - Levi Lucio; Elisangela Vieira; Stephan Weißleder (MoDELS (Workshops), 2010)

DSLTrans: A Turing Incomplete Transformation Language. - Bruno Barroca; Levi Lucio; Vasco Amaral 001; Roberto Félix; Vasco Sousa (SLE, 2010)

MoDeVVa 2011 Workshop Summary. - Levi Lucio; Stephan Weißleder; Frédéric Fondement; Harald Cichos (MoDELS (Workshops), 2011)

Verifying Access Control in Statecharts. - Levi Lucio; Qin Zhang 002; Vasco Sousa; Yves Le Traon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

A Tridimensional Approach for Studying the Formal Verification of Model Transformations. - Moussa Amrani; Levi Lucio; Gehan M. K. Selim; Benoît Combemale; Jürgen Dingel; Hans Vangheluwe; Yves Le Traon; James R. Cordy (ICST, 2012)

Towards a model transformation intent catalog. - Moussa Amrani; Jürgen Dingel; Leen Lambers; Levi Lúcio; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (AMT@MoDELS, 2012)

Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). - Juergen Dingel; Levi Lúcio; Hans Vangheluwe; Dániel Varró (AMT@MoDELS, 2012)

Invariant preservation in iterative modeling. - Levi Lúcio; Eugene Syriani; Moussa Amrani; Qin Zhang 002; Hans Vangheluwe (ME@MoDELS, 2012)

The FTG+PM framework for multi-paradigm modelling: an automotive case study. - Sadaf Mustafiz; Joachim Denil; Levi Lucio; Hans Vangheluwe (MPM@MoDELS, 2012)

FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. - Levi Lucio; Sadaf Mustafiz; Joachim Denil; Hans Vangheluwe; Maris Jukss (SDL Forum, 2013)

Specification and Verification of Graph-Based Model Transformation Properties. - Gehan M. K. Selim; Levi Lucio; James R. Cordy; Jürgen Dingel; Bentley J. Oakes (ICGT, 2014)

ProMoBox: A Framework for Generating Domain-Specific Property Languages. - Bart Meyers; Romuald Deshayes; Levi Lucio; Eugene Syriani; Hans Vangheluwe; Manuel Wimmer (SLE, 2014)

Advances in Model-Driven Security. - Levi Lucio; Qin Zhang 002; Phu Hong Nguyen; Moussa Amrani; Jacques Klein; Hans Vangheluwe; Yves Le Traon (Adv. Comput., 2014)

Migrating Automotive Product Lines: A Case Study. - Michalis Famelis; Levi Lucio; Gehan M. K. Selim; Alessio Di Sandro; Rick Salay; Marsha Chechik; James R. Cordy; Jürgen Dingel; Hans Vangheluwe; S. Ramesh 002 (ICMT, 2015)

SyVOLT: Full Model Transformation Verification Using Contracts. - Levi Lúcio; Bentley James Oakes; Cláudio Gomes 001; Gehan M. K. Selim; Juergen Dingel; James R. Cordy; Hans Vangheluwe (P&D@MoDELS, 2015)

Fully verifying transformation contracts for declarative ATL. - Bentley James Oakes; Javier Troya; Levi Lucio; Manuel Wimmer (MoDELS, 2015)

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. - Gehan M. K. Selim; James R. Cordy; Jürgen Dingel; Levi Lucio; Bentley J. Oakes (AMT@MoDELS, 2015)

Towards Controlling Refinements of Statecharts. - Conner Hansen; Eugene Syriani; Levi Lucio (CoRR, 2015)

Formal Verification Techniques for Model Transformations: A Tridimensional Classification. - Moussa Amrani; Benoît Combemale; Levi Lucio; Gehan M. K. Selim; Jürgen Dingel; Yves Le Traon; Hans Vangheluwe; James R. Cordy (J. Object Technol., 2015)

Factory Product Lines: Tackling the Compatibility Problem. - Andreas Bayha; Levi Lúcio; Vincent Aravantinos; Kenji Miyamoto; Georgeta Igna (VaMoS, 2016)

Model transformation intents and their properties. - Levi Lúcio; Moussa Amrani; Juergen Dingel; Leen Lambers; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (Softw. Syst. Model., 2016)

Process-Aware Model-driven Development Environments. - Levi Lúcio; Saad bin Abid; Salman Rahman; Vincent Aravantinos; Ralf Kuestner; Eduard Harwardt (MoDELS (Satellite Events), 2017)

EARS-CTRL: Generating Controllers for Dummies. - Levi Lúcio; Salman Rahman; Saad bin Abid; Alistair Mavin (MoDELS (Satellite Events), 2017)

Just Formal Enough? Automated Analysis of EARS Requirements. - Levi Lúcio; Salman Rahman; Chih-Hong Cheng; Alistair Mavin (NFM, 2017)

A Bird's Eye View on Requirements Engineering and Machine Learning. - Tahira Iqbal; Parisa Elahidoost; Levi Lucio (APSEC, 2018)

Controlling a virtual rover using AutoFOCUS3. - Levi Lucio; Sudeep Kanav; Andreas Bayha; Johannes Eder (MoDELS (Workshops), 2018)

Debugging of Model Transformations and Contracts in SyVOLT. - Bentley James Oakes; Levi Lucio; Clark Verbrugge; Hans Vangheluwe (MoDELS (Workshops), 2018)

Formalizing EARS - First Impressions. - Levi Lucio; Tahira Iqbal (EARS@RE, 2018)

ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification. - Moussa Amrani; Levi Lúcio; Adrien Bibal (CoRR, 2018)

Full contract verification for ATL using symbolic execution. - Bentley James Oakes; Javier Troya; Levi Lúcio; Manuel Wimmer (Softw. Syst. Model., 2018)

Roadmap to Skill Based Systems Engineering. - Kathrin Evers; Jan R. Seyler; Vincent Aravantinos; Levi Lucio; Anees Mehdi (ETFA, 2019)

Semantics of Co-simulation Algorithms with Simulator Contracts. - Cláudio Gomes 001; Levi Lúcio; Hans Vangheluwe (MoDELS (Companion), 2019)

Design and Runtime Verification Side-by-Side in eTrice. - Sudeep Kanav; Levi Lúcio; Christian Hilden; Thomas Schuetz (NFM, 2019)

Generation of Co-simulation Algorithms Subject to Simulator Contracts. - Cláudio Gomes 001; Casper Thule; Levi Lúcio; Hans Vangheluwe; Peter Gorm Larsen (SEFM Workshops, 2019)

Machine Learning for Learnability of MDD tools. - Saad bin Abid; Vishal Mahajan; Levi Lucio (SEKE, 2019)

Structure and behavior preserving statecharts refinements. - Eugene Syriani; Vasco Sousa; Levi Lúcio (Sci. Comput. Program., 2019)

Refining Statecharts while preserving the structure and behavior. - Eugene Syriani; Vasco Sousa; Levi Lúcio (SEAA, 2020)