Levi Lúcio

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 13

Top Topics

Formal Verification

Automated Analysis

Development Environments

Coloured Petri Nets

Top Venues

MoDELS (Satellite Events)

Softw. Syst. Model.

Publications

Eugene Syriani, Vasco Sousa, Levi Lúcio
Refining Statecharts while preserving the structure and behavior. SEAA (2020)
Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen
Generation of Co-simulation Algorithms Subject to Simulator Contracts. SEFM Workshops (2019)
Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz
Design and Runtime Verification Side-by-Side in eTrice. NFM (2019)
Cláudio Gomes, Levi Lúcio, Hans Vangheluwe
Semantics of Co-simulation Algorithms with Simulator Contracts. MoDELS (Companion) (2019)
Eugene Syriani, Vasco Sousa, Levi Lúcio
Structure and behavior preserving statecharts refinements. Sci. Comput. Program. 170 (2019)
Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer
Full contract verification for ATL using symbolic execution. Softw. Syst. Model. 17 (3) (2018)
Moussa Amrani, Levi Lúcio, Adrien Bibal
ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification. CoRR (2018)
Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin
Just Formal Enough? Automated Analysis of EARS Requirements. NFM (2017)
Levi Lúcio, Salman Rahman, Saad bin Abid, Alistair Mavin
EARS-CTRL: Generating Controllers for Dummies. MoDELS (Satellite Events) (2017)
Levi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, Eduard Harwardt
Process-Aware Model-driven Development Environments. MoDELS (Satellite Events) (2017)
Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna
Factory Product Lines: Tackling the Compatibility Problem. VaMoS (2016)
Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
Model transformation intents and their properties. Softw. Syst. Model. 15 (3) (2016)
Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe
SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS (2015)
Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
Towards a model transformation intent catalog. AMT@MoDELS (2012)
Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Dániel Varró
Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). AMT@MoDELS (2012)
Levi Lúcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe
Invariant preservation in iterative modeling. ME@MoDELS (2012)