Levi Lúcio

Publikationen

Liste als BibTeX-Datei exportieren

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