Publications
Export list as BibTeX file
- December 2019Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspectiveAlexander Perzylo, Julian Grothoff, Levi Lúcio, Michael Weser, Somayeh Malakuti, Pierre Venet, Vincent Aravantinos and Torben DeppeIFAC-PapersOnLine,
52(13):1590–1596,
December 2019.
DetailsDOIBIB
- July 2019Towards Machine Learning for Learnability of MDD ToolsSaad bin Abid, Vishal Mahajan and Levi Lúcio
In
Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal,
pages 1–6,
DetailsDOIBIB
- 2019Design and Runtime Verification Side-by-Side in eTriceSudeep Kanav, Levi Lúcio, Christian Hilden and Thomas Schuetz
In
Proceedings of the NASA Formal Methods Symposium,
volume 11460 of LNCS,pages 255–262,
Springer.
DetailsDOIBIB
- 2019Roadmap to Skill Based Systems EngineeringKathrin Evers, Jan R Seyler, Vincent Aravantinos, Levi Lúcio and Anees Mehdi
In
24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
pages 1093–1100,
IEEE.
DetailsDOIBIB
- December 2018A Bird's Eye View on Requirements Engineering and Machine LearningTahira Iqbal, Parisa Elahidoost and Levi Lúcio
In
2018 25th Asia-Pacific Software Engineering Conference (APSEC),
pages 11-20,
DetailsDOIBIB
- August 2018Formalizing EARS – First ImpressionsLevi Lúcio and Tahira Iqbal
In
2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS),
pages 11-13,
DetailsDOIBIB
- 2018[T3] Develop your Own CarLevi Lúcio, Sebastian Voss, Tatiana Chuprina, Andreas Bayha, Johannes Eder and Sudeep KanavDetailsURLBIB
- 2018Controlling a virtual rover using AutoFOCUS3Levi Lúcio, Sudeep Kanav, Andreas Bayha and Johannes Eder
In
Proceedings of the MDETools Workshop co-located with MODELS 2018,
volume 2245 of CEUR Workshop Proceedings,pages 356–365,
DetailsURLBIB
- September 2017EARS-CTRL:Building and Verifying Controllers for DummiesLevi Lúcio, Salman Rahman, Saad bin Abid and Alistair Mavin
In
Tools and Demo Session track at MoDELS 2017,
pages 1–6,
DetailsURLBIB
- September 2017Process-Aware Model-Driven Development EnvironmentsLevi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Eduard Harwardt and Ralf Kuestner
In
MODELS Workshops,
pages 405–411,
DetailsURLBIB
- May 2017Just Formal Enough? Automated Analysis of EARS RequirementsLevi Lúcio, Salman Rahman, Chih-Hong Cheng and Alistair Mavin
In
NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings,
pages 427–434,
DetailsURLDOIBIB
- January 2016Factory Product Lines: Tackling the Compatibility ProblemAndreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto and Georgeta Igna
In
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems,
ACM.
DetailsBIB