Sudeep Kanav

According to our database, Sudeep Kanav authored at least 11 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

CoVeriTeam Service: Verification as a Service.

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.

Dirk Beyer, Sudeep Kanav

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.

Dirk Beyer, Sudeep Kanav, Cedric Richter

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2020

An Interface Theory for Program Verification.

Dirk Beyer, Sudeep Kanav

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Design and Runtime Verification Side-by-Side in eTrice.

Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Controlling a virtual rover using AutoFOCUS3.

Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder

Proceedings of MODELS 2018 Workshops: ModComp, 2018

A modular approach to integrate verification tools in model based development.

Sudeep Kanav

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

2017

Modular Transformation from AF3 to nuXmv.

Sudeep Kanav, Vincent Aravantinos

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Tool Support for Live Formal Verification.

Vincent Aravantinos, Sudeep Kanav

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2014

A Conference Management System with Verified Document Confidentiality.

Sudeep Kanav, Peter Lammich, Andrei Popescu

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2011

Adaptability of Conservative Staircase Scheme for Live Videos.

Sudeep Kanav, Satish Chand

Circuits Syst., 2011