Publikationen
Liste als BibTeX-Datei exportieren
- Dezember 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 und Torben DeppeIFAC-PapersOnLine,
52(13):1590–1596,
Dezember 2019.
DetailsDOIBIB
- Juli 2019Towards Machine Learning for Learnability of MDD ToolsSaad bin Abid, Vishal Mahajan und Levi Lúcio
In
Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal,
Seiten 1–6,
DetailsURLDOIBIB
- Dezember 2018A Bird's Eye View on Requirements Engineering and Machine LearningTahira Iqbal, Parisa Elahidoost und Levi Lúcio
In
2018 25th Asia-Pacific Software Engineering Conference (APSEC),
Seiten 11-20,
DetailsDOIBIB
- August 2018Formalizing EARS – First ImpressionsLevi Lúcio und Tahira Iqbal
In
2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS),
Seiten 11-13,
DetailsDOIBIB
- 2018Controlling a virtual rover using AutoFOCUS3.Levi Lúcio, Sudeep Kanav, Andreas Bayha und Johannes Eder
In
MODELS Workshops,
Seiten 356–365,
DetailsBIB
- September 2017EARS-CTRL:Building and Verifying Controllers for DummiesLevi Lúcio, Salman Rahman, Saad bin Abid und Alistair Mavin
In
Tools and Demo Session track at MoDELS 2017,
Seiten 1–6,
DetailsURLBIB
- September 2017Process-Aware Model-Driven Development EnvironmentsLevi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Eduard Harwardt und Ralf Kuestner
In
MODELS Workshops,
Seiten 405–411,
DetailsURLBIB
- Mai 2017Just Formal Enough? Automated Analysis of EARS RequirementsLevi Lúcio, Salman Rahman, Chih-Hong Cheng und Alistair Mavin
In
NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings,
Seiten 427–434,
DetailsURLDOIBIB
- Januar 2016Factory Product Lines: Tackling the Compatibility ProblemAndreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto und Georgeta Igna
In
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems,
ACM.
DetailsBIB
