Levi Lucio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2002–2019
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ETFA | Roadmap to Skill Based Systems Engineering. | Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi |
| 2019 | SEKE | Machine Learning for Learnability of MDD tools. | Saad bin Abid, Vishal Mahajan, Levi Lucio |
| 2018 | APSEC | A Bird's Eye View on Requirements Engineering and Machine Learning. | Tahira Iqbal, Parisa Elahidoost, Levi Lucio |
| 2018 | MODELS | Controlling a virtual rover using AutoFOCUS3. | Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder |
| 2018 | MODELS | Debugging of Model Transformations and Contracts in SyVOLT. | Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe |
| 2018 | RE | Formalizing EARS - First Impressions. | Levi Lucio, Tahira Iqbal |
| 2015 | MODELS | Fully verifying transformation contracts for declarative ATL. | Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer |
| 2015 | MODELS | Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. | Gehan M. K. Selim, James R. Cordy, Jrgen Dingel, Levi Lucio, Bentley J. Oakes |
| 2014 | SLE | ProMoBox: A Framework for Generating Domain-Specific Property Languages. | Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer |
| 2012 | ICST | A Tridimensional Approach for Studying the Formal Verification of Model Transformations. | Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benot Combemale, Jrgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy |
| 2012 | MODELS | The FTG+PM framework for multi-paradigm modelling: an automotive case study. | Sadaf Mustafiz, Joachim Denil, Levi Lucio, Hans Vangheluwe |
| 2011 | MODELS | MoDeVVa 2011 Workshop Summary. | Levi Lucio, Stephan Weileder, Frdric Fondement, Harald Cichos |
| 2010 | MODELS | A Technique for Automatic Validation of Model Transformations. | Levi Lucio, Bruno Barroca, Vasco Amaral |
| 2010 | MODELS | MoDeVVa 2010 Workshop Summary. | Levi Lucio, Elisangela Vieira, Stephan Weileder |
| 2010 | SLE | DSLTrans: A Turing Incomplete Transformation Language. | Bruno Barroca, Levi Lucio, Vasco Amaral, Roberto Flix, Vasco Sousa |
| 2009 | MODELS | MoDeVVa Workshop Summary. | Levi Lucio, Stephan Weileder |
| 2006 | RSP | Principles for System Prototype and Verification Using Metamodel Based Transformations. | Luis Pedro, Levi Lucio, Didier Buchs |
| 2005 | RSP | A Test Language for CO-OPN Specifications. | Levi Lucio, Luis Pedro, Didier Buchs |
| 2002 | VLDB | OBK - An Online High Energy Physics' Meta-Data Repository. | Igor Alexandrov, Antnio 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 |