Dr. rer. nat.
Levi Lucio

MbSE · Staff Researcher
+49 89 3603522 559

Dr. Levi Lúcio was awarded a PhD from the University of Geneva, Switzerland, in 2008, for his work on model-based testing. He then held several appointments at the University Nova of Lisbon, University of Luxembourg and McGill University. During those years he has done research on the verification of model transformations based on the DSLTrans language, partly in collaboration with General Motors. This research has materialised in several publications, a best application paper award (at ICMT 2014), several completed and ongoing PhD thesis, and the SyVOLT tool.

Dr. Lúcio's research is about bridging software engineering and formal techniques. Some of his current concrete areas of interest are the analysis of model transformations and software models in general, model-based requirements engineering, correctness-by-construction, domain specific languages, models of concurrency (in particular Petri nets and statecharts), model evolution and tool construction.

At fortiss his main interests lie in the development of tools for model-based software development, in particular for requirements engineering and for the analysis of model transformations. His current work relies on the MPS (meta-programming system) framework for tooling infrastructure.



Liste als BibTeX-Datei exportieren


  • Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto und Georgeta Igna. Factory Product Lines: Tackling the Compatibility Problem. In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, 2016. ACM. Details BibTeX