Levi Lúcio

Summary

• 3 papers in 3 bundles
• Top 3 popular topics:
  • T5D: Formal Methods (3 times)
  • T4B: Horizontal Transformation (2 times)
  • T3C: DSLs (2 times)
• Top 3 coauthors:
  • Eugene Syriani (2 times)
  • Bruno Barroca (1 times)
  • Vasco Amaral (1 times)
• Made 3 contributions (see below)

List of contributions

• (SLE 2010) Coauthored DSLTrans: A Turing Incomplete Transformation Language (Bruno Barroca, Levi Lúcio, Vasco Amaral, Roberto Félix, Vasco Sousa)
• (SLE 2013) Coauthored Towards Controlling Refinements of Statecharts (Conner Hansen, Eugene Syriani, Levi Lúcio)
• (SLE 2014) Coauthored ProMoBox: A Framework for Generating Domain-Specific Property Languages (Bart Meyers, Romuald Deshayes, Levi Lúcio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.