Publikationen
Liste als BibTeX-Datei exportieren
- August 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 Deppe
In
Proceedings of the IFAC Conference on Manufacturing Modeling, Management, and Control (MIM),
Berlin, Germany,
DetailsBIB
- 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
- 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
