Levi Lúcio

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