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,
DetailsDOIBIB
- 2019Design and Runtime Verification Side-by-Side in eTriceSudeep Kanav, Levi Lúcio, Christian Hilden und Thomas Schuetz
In
Proceedings of the NASA Formal Methods Symposium,
Band 11460 von LNCS,Seiten 255–262,
Springer.
DetailsDOIBIB
- 2019Roadmap to Skill Based Systems EngineeringKathrin Evers, Jan R Seyler, Vincent Aravantinos, Levi Lúcio und Anees Mehdi
In
24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
Seiten 1093–1100,
IEEE.
DetailsDOIBIB
- 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
- 2018[T3] Develop your Own CarLevi Lúcio, Sebastian Voss, Tatiana Chuprina, Andreas Bayha, Johannes Eder und Sudeep KanavDetailsURLBIB
- 2018Controlling a virtual rover using AutoFOCUS3Levi Lúcio, Sudeep Kanav, Andreas Bayha und Johannes Eder
In
Proceedings of the MDETools Workshop co-located with MODELS 2018,
Band 2245 von CEUR Workshop Proceedings,Seiten 356–365,
DetailsURLBIB
- 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