Sudeep Kanav


Export list as BibTeX file

  • 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
  • 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 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, pages 150–155, ACM. Details DOI 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
  • 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav and 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, pages 300–306, Details URL BIB
  • 2017 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, Details DOI BIB