Sudeep Kanav

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 11

Top Topics

Formal Verification

Management System

Top Venues

MoDELS (Workshops)

MoDELS (Satellite Events)

Publications

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CAV (2) (2024)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CoRR (2024)
Dirk Beyer, Sudeep Kanav, Henrik Wachowitz
CoVeriTeam Service: Verification as a Service. ICSE Companion (2023)
Dirk Beyer, Sudeep Kanav, Cedric Richter
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. FASE (2022)
Dirk Beyer, Sudeep Kanav
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. TACAS (1) (2022)
Dirk Beyer, Sudeep Kanav
An Interface Theory for Program Verification. ISoLA (1) (2020)
Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz
Design and Runtime Verification Side-by-Side in eTrice. NFM (2019)
Sudeep Kanav
A modular approach to integrate verification tools in model based development. MoDELS (Companion) (2018)
Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder
Controlling a virtual rover using AutoFOCUS3. MoDELS (Workshops) (2018)
Sudeep Kanav, Vincent Aravantinos
Modular Transformation from AF3 to nuXmv. MoDELS (Satellite Events) (2017)
Vincent Aravantinos, Sudeep Kanav
Tool Support for Live Formal Verification. MoDELS (2017)
Sudeep Kanav, Peter Lammich, Andrei Popescu
A Conference Management System with Verified Document Confidentiality. CAV (2014)
Sudeep Kanav, Satish Chand
Adaptability of Conservative Staircase Scheme for Live Videos. Circuits Syst. 2 (3) (2011)