16 citations · 26 across the 6 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
Levi Lucio
Model transformations are central to MDE, but formal verification is difficult because mainstream transformation languages are undecidable. DSLTrans was designed to be Turing-incom…
cs.SE2018★ 3 cited
ML + FV = ? A Survey on the Application of Machine Learning to Formal Verification
Moussa Amrani, Levi Lúcio, Adrien Bibal
Formal Verification (FV) and Machine Learning (ML) can seem incompatible due to their opposite mathematical foundations and their use in real-life problems: FV mostly relies on dis…
cs.SE2015★ 3 cited
Towards Controlling Refinements of Statecharts
Conner Hansen, Eugene Syriani, Levi Lucio
In incremental development strategies, modelers frequently refine Statecharts models to satisfy requirements and changes. Although several solutions exist to the problem of Statech…