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, Springer, Cham. Details DOI BIB
  • Dezember 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 und Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, Dezember 2019. Details 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, 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, 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, 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, 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, Details DOI BIB
  • Oktober 2018 [T3] Develop your Own Car Levi Lúcio, Sebastian Voss, Tatiana Chuprina, Andreas Bayha, Johannes Eder und Sudeep Kanav 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, 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, 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 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, 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, 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, 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, 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), ACM. Details DOI BIB