Levi Lucio

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 11

Top Topics

Declarative Language

Machine Learning

Formal Verification

Requirements Engineering

Top Venues

MoDELS (Workshops)

Publications

Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi
Roadmap to Skill Based Systems Engineering. ETFA (2019)
Saad bin Abid, Vishal Mahajan, Levi Lucio
Machine Learning for Learnability of MDD tools. SEKE (2019)
Levi Lucio, Tahira Iqbal
Formalizing EARS - First Impressions. EARS@RE (2018)
Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe
Debugging of Model Transformations and Contracts in SyVOLT. MoDELS (Workshops) (2018)
Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder
Controlling a virtual rover using AutoFOCUS3. MoDELS (Workshops) (2018)
Tahira Iqbal, Parisa Elahidoost, Levi Lucio
A Bird's Eye View on Requirements Engineering and Machine Learning. APSEC (2018)
Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. AMT@MoDELS (2015)
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
Migrating Automotive Product Lines: A Case Study. ICMT (2015)
Conner Hansen, Eugene Syriani, Levi Lucio
Towards Controlling Refinements of Statecharts. CoRR (2015)
Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
Formal Verification Techniques for Model Transformations: A Tridimensional Classification. J. Object Technol. 14 (3) (2015)
Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer
Fully verifying transformation contracts for declarative ATL. MoDELS (2015)
Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
ProMoBox: A Framework for Generating Domain-Specific Property Languages. SLE (2014)
Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes
Specification and Verification of Graph-Based Model Transformation Properties. ICGT (2014)
Levi Lucio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe, Yves Le Traon
Advances in Model-Driven Security. Adv. Comput. 93 (2014)
Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. SDL Forum (2013)
Sadaf Mustafiz, Joachim Denil, Levi Lucio, Hans Vangheluwe
The FTG+PM framework for multi-paradigm modelling: an automotive case study. MPM@MoDELS (2012)
Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
A Tridimensional Approach for Studying the Formal Verification of Model Transformations. ICST (2012)
Levi Lucio, Stephan Weißleder, Frédéric Fondement, Harald Cichos
MoDeVVa 2011 Workshop Summary. MoDELS (Workshops) (2011)
Levi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon
Verifying Access Control in Statecharts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 50 (2011)
Bruno Barroca, Levi Lucio, Vasco Amaral, Roberto Félix, Vasco Sousa
DSLTrans: A Turing Incomplete Transformation Language. SLE (2010)
Levi Lucio, Elisangela Vieira, Stephan Weißleder
MoDeVVa 2010 Workshop Summary. MoDELS (Workshops) (2010)
Levi Lucio, Bruno Barroca, Vasco Amaral
A Technique for Automatic Validation of Model Transformations. MoDELS (1) (2010)
Didier Buchs, Levi Lucio, Ang Chen
Model Checking Techniques for Test Generation from Business Process Models. Ada-Europe (2009)
Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro
DSL Composition for model-based test generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
Levi Lucio, Stephan Weißleder
MoDeVVa Workshop Summary. MoDELS (Workshops) (2009)
Luis Pedro, Levi Lucio, Didier Buchs
System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Syst. Online 8 (4) (2007)
Didier Buchs, Luis Pedro, Levi Lucio
Formal Test Generation from UML Models. Research Results of the DICS Program (2006)
Luis Pedro, Levi Lucio, Didier Buchs
Principles for System Prototype and Verification Using Metamodel Based Transformations. IEEE International Workshop on Rapid System Prototyping (2006)
Luis Pedro, Levi Lucio, Didier Buchs
Prototyping Domain Specific Languages with COOPN. RISE (2005)
Levi Lucio, Luis Pedro, Didier Buchs
A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping (2005)
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, Radovan Chytracek, Andrea Domenici, Flavia Donno, Wolfgang Hoschek, Erwin Laure, Levi Lucio, A. Paul Millar, Livio Salconi, Ben Segal, Mika Silander
Replica Management in the European DataGrid Project. J. Grid Comput. 2 (4) (2004)
Levi Lucio, Luis Pedro, Didier Buchs
A Methodology and a Framework for Model-Based Testing. RISE (2004)
Levi Lucio, Marko Samer
Technology of Test-Case Generation. Model-Based Testing of Reactive Systems (2004)
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, R. Hart, António Amorim, D. Klose, J. Lima, Levi Lucio, Luis Pedro, H. Wolters, E. Badescu, Igor Alexandrov, V. Kotov, Mikhail Mineev, Yu. Ryabov
An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS CoRR (2003)
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, 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
OBK - An Online High Energy Physics' Meta-Data Repository. VLDB (2002)