Publikationen
Liste als BibTeX-Datei exportieren
- 2019Design and Runtime Verification Side-by-Side in eTriceSudeep 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.
DetailsDOIBIB
- Oktober 2018A modular approach to integrate verification tools in model based developmentSudeep Kanav
In
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Seiten 150–155,
ACM.
DetailsDOIBIB
- 2018[T3] Develop your Own CarLevi Lúcio, Sebastian Voss, Tatiana Chuprina, Andreas Bayha, Johannes Eder und Sudeep KanavDetailsURLBIB
- 2018Controlling a virtual rover using AutoFOCUS3Levi 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,
DetailsURLBIB
- 2017Modular Transformation from AF3 to nuXmvSudeep 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,
DetailsURLBIB
- 2017Tool Support for Live Formal VerificationVincent Aravantinos und Sudeep Kanav
In
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS),
Seiten 145-155,
DetailsDOIBIB