+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.
- 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. .
- 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. .