Levi Lcio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
2
Active years
2012–2019
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | MODELS | Semantics of Co-simulation Algorithms with Simulator Contracts. | Cludio Gomes, Levi Lcio, Hans Vangheluwe |
| 2019 | SEFM | Generation of Co-simulation Algorithms Subject to Simulator Contracts. | Cludio Gomes, Casper Thule, Levi Lcio, Hans Vangheluwe, Peter Gorm Larsen |
| 2017 | MODELS | Process-Aware Model-driven Development Environments. | Levi Lcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, Eduard Harwardt |
| 2017 | MODELS | EARS-CTRL: Generating Controllers for Dummies. | Levi Lcio, Salman Rahman, Saad bin Abid, Alistair Mavin |
| 2015 | MODELS | SyVOLT: Full Model Transformation Verification Using Contracts. | Levi Lcio, Bentley James Oakes, Cludio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe |
| 2012 | MODELS | Towards a model transformation intent catalog. | Moussa Amrani, Jrgen Dingel, Leen Lambers, Levi Lcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer |
| 2012 | MODELS | Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). | Juergen Dingel, Levi Lcio, Hans Vangheluwe, Dniel Varr |
| 2012 | MODELS | Invariant preservation in iterative modeling. | Levi Lcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe |