Levi Lucio

According to our database, Levi Lucio authored at least 51 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Refining Statecharts while preserving the structure and behavior.

Eugene Syriani, Vasco Sousa, Levi Lúcio

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2019

Structure and behavior preserving statecharts refinements.

Eugene Syriani, Vasco Sousa, Levi Lúcio

Sci. Comput. Program., 2019

Machine Learning for Learnability of MDD tools.

Saad bin Abid, Vishal Mahajan, Levi Lucio

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Generation of Co-simulation Algorithms Subject to Simulator Contracts.

Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Design and Runtime Verification Side-by-Side in eTrice.

Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Semantics of Co-simulation Algorithms with Simulator Contracts.

Cláudio Gomes, Levi Lúcio, Hans Vangheluwe

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Roadmap to Skill Based Systems Engineering.

Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Full contract verification for ATL using symbolic execution.

Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer

Softw. Syst. Model., 2018

ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification.

Moussa Amrani, Levi Lúcio, Adrien Bibal

CoRR, 2018

Formalizing EARS - First Impressions.

Levi Lucio, Tahira Iqbal

Proceedings of the 1st International Workshop on Easy Approach to Requirements Syntax, 2018

Debugging of Model Transformations and Contracts in SyVOLT.

Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Controlling a virtual rover using AutoFOCUS3.

Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder

Proceedings of MODELS 2018 Workshops: ModComp, 2018

A Bird's Eye View on Requirements Engineering and Machine Learning.

Tahira Iqbal, Parisa Elahidoost, Levi Lucio

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

Just Formal Enough? Automated Analysis of EARS Requirements.

Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

EARS-CTRL: Generating Controllers for Dummies.

Levi Lúcio, Salman Rahman, Saad bin Abid, Alistair Mavin

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Process-Aware Model-driven Development Environments.

Levi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, Eduard Harwardt

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

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

Factory Product Lines: Tackling the Compatibility Problem.

Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

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

Towards Controlling Refinements of Statecharts.

Conner Hansen, Eugene Syriani, Levi Lucio

CoRR, 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

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Fully verifying transformation contracts for declarative ATL.

Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

SyVOLT: Full Model Transformation Verification Using Contracts.

Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

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

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Advances in Model-Driven Security.

Levi Lucio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe, Yves Le Traon

Adv. Comput., 2014

ProMoBox: A Framework for Generating Domain-Specific Property Languages.

Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Specification and Verification of Graph-Based Model Transformation Properties.

Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

FTG+PM: An Integrated Framework for Investigating Model Transformation Chains.

Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

2012

The FTG+PM framework for multi-paradigm modelling: an automotive case study.

Sadaf Mustafiz, Joachim Denil, Levi Lucio, Hans Vangheluwe

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Invariant preservation in iterative modeling.

Levi Lúcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe

Proceedings of the 6th International Workshop on Models and Evolution, 2012

Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012).

Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Dániel Varró

Proceedings of the First Workshop on the Analysis of Model Transformations, 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

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

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

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Verifying Access Control in Statecharts.

Levi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

MoDeVVa 2011 Workshop Summary.

Levi Lucio, Stephan Weißleder, Frédéric Fondement, Harald Cichos

Proceedings of the Models in Software Engineering, 2011

2010

DSLTrans: A Turing Incomplete Transformation Language.

Bruno Barroca, Levi Lucio, Vasco Amaral, Roberto Félix, Vasco Sousa

Proceedings of the Software Language Engineering - Third International Conference, 2010

MoDeVVa 2010 Workshop Summary.

Levi Lucio, Elisangela Vieira, Stephan Weißleder

Proceedings of the Models in Software Engineering, 2010

A Technique for Automatic Validation of Model Transformations.

Levi Lucio, Bruno Barroca, Vasco Amaral

Proceedings of the Model Driven Engineering Languages and Systems, 2010

2009

DSL Composition for model-based test generation.

Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

MoDeVVa Workshop Summary.

Levi Lucio, Stephan Weißleder

Proceedings of the Models in Software Engineering, 2009

Model Checking Techniques for Test Generation from Business Process Models.

Didier Buchs, Levi Lucio, Ang Chen

Proceedings of the Reliable Software Technologies, 2009

2007

System Prototype and Verification Using Metamodel-Based Transformations.

Luis Pedro, Levi Lucio, Didier Buchs

IEEE Distributed Syst. Online, 2007

2006

Principles for System Prototype and Verification Using Metamodel Based Transformations.

Luis Pedro, Levi Lucio, Didier Buchs

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Formal Test Generation from UML Models.

Didier Buchs, Luis Pedro, Levi Lucio

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005

A Test Language for CO-OPN Specifications.

Levi Lucio, Luis Pedro, Didier Buchs

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

Prototyping Domain Specific Languages with COOPN.

Luis Pedro, Levi Lucio, Didier Buchs

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

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, Radovan Chytracek, Andrea Domenici, Flavia Donno, Wolfgang Hoschek, Erwin Laure, Levi Lucio, A. Paul Millar, Livio Salconi, Ben Segal, Mika Silander

J. Grid Comput., 2004

A Methodology and a Framework for Model-Based Testing.

Levi Lucio, Luis Pedro, Didier Buchs

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Technology of Test-Case Generation.

Levi Lucio, Marko Samer

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

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, 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

CoRR, 2003

2002

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, 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

Proceedings of 28th International Conference on Very Large Data Bases, 2002