Levi Lúcio

Publications

Export list as BibTeX file

  • September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe and Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, Springer, Cham. Details DOI BIB
  • December 2019 Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective Alexander Perzylo, Julian Grothoff, Levi Lúcio, Michael Weser, Somayeh Malakuti, Pierre Venet, Vincent Aravantinos and Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, December 2019. Details DOI BIB
  • September 2019 Semantics of Co-simulation Algorithms with Simulator Contracts Cláudio Gomes, Levi Lúcio and Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 784–798, IEEE. Details DOI BIB
  • July 2019 Towards Machine Learning for Learnability of MDD Tools Saad bin Abid, Vishal Mahajan and Levi Lúcio In Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal, pages 1–6, Details DOI BIB
  • January 2019 Structure and behavior preserving statecharts refinements Eugene Syriani, Vasco Sousa and Levi Lúcio Science of Computer Programming, 170():49–79, January 2019. Details DOI BIB
  • 2019 Design and Runtime Verification Side-by-Side in eTrice Sudeep 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. Details DOI BIB
  • 2019 Roadmap to Skill Based Systems Engineering Kathrin 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. Details DOI BIB
  • December 2018 A Bird's Eye View on Requirements Engineering and Machine Learning Tahira Iqbal, Parisa Elahidoost and Levi Lúcio In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC), pages 11-20, Details DOI BIB
  • October 2018 [T3] Develop your Own Car Levi Lúcio, Sebastian Voss, Tatiana Chuprina, Andreas Bayha, Johannes Eder and Sudeep Kanav Details URL BIB
  • October 2018 Controlling a virtual rover using AutoFOCUS3 Levi 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, Details URL BIB
  • August 2018 Formalizing EARS – First Impressions Levi Lúcio and Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), pages 11-13, Details DOI BIB
  • June 2018 ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani, Levi Lúcio and Adrian Bibal Details URL BIB
  • 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes, Javier Troya, Levi Lúcio and Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
  • September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio, Salman Rahman, Saad bin Abid and Alistair Mavin In Tools and Demo Session track at MoDELS 2017, pages 1–6, Details URL BIB
  • September 2017 Expressive Symbolic-Execution Contract Proving for the DSLTrans Transformation Language Bentley James Oakes, Levi Lúcio, Cláudio Gomes and Hans Vangheluwe 2017-01, Details URL BIB
  • September 2017 Process-Aware Model-Driven Development Environments Levi Lúcio, Saad bin Abid, Salman Rahman, Vincent Aravantinos, Eduard Harwardt and Ralf Kuestner In MODELS Workshops, pages 405–411, Details URL BIB
  • May 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi 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, Details URL DOI BIB
  • January 2016 Factory Product Lines: Tackling the Compatibility Problem Andreas 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 (VAMOS), ACM. Details DOI BIB