Sudeep Kanav

Publikationen

Liste als BibTeX-Datei exportieren

  • 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
  • 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 A modular approach to integrate verification tools in model based development Sudeep Kanav In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 150–155, Oktober 2018. ACM. Details DOI 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
  • 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav und Vincent Aravantinos In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, Seiten 300–306, 2017. Details URL BIB
  • 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB