Sudeep Kanav

Model-based systems Engineering · Staff Researcher
+49 89 3603522 35

Sudeep Kanav studied computer science (M.Sc.) at Technischen Universität München with focus on theorem proving. Since 2016 he is research associate at fortiss in the competence field "Model Based Systems Engineering". His research interests are formal verification, model based system development, and model to model transformations.


Export list as BibTeX file


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