Levi Lúcio

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