Adaptability of Conservative Staircase Scheme for Live Videos. - Sudeep Kanav; Satish Chand (Circuits Syst., 2011)

A Conference Management System with Verified Document Confidentiality. - Sudeep Kanav; Peter Lammich; Andrei Popescu 001 (CAV, 2014)

Tool Support for Live Formal Verification. - Vincent Aravantinos; Sudeep Kanav (MoDELS, 2017)

Modular Transformation from AF3 to nuXmv. - Sudeep Kanav; Vincent Aravantinos (MoDELS (Satellite Events), 2017)

A modular approach to integrate verification tools in model based development. - Sudeep Kanav (MoDELS (Companion), 2018)

Controlling a virtual rover using AutoFOCUS3. - Levi Lucio; Sudeep Kanav; Andreas Bayha; Johannes Eder (MoDELS (Workshops), 2018)

Design and Runtime Verification Side-by-Side in eTrice. - Sudeep Kanav; Levi Lúcio; Christian Hilden; Thomas Schuetz (NFM, 2019)

An Interface Theory for Program Verification. - Dirk Beyer 001; Sudeep Kanav (ISoLA (1), 2020)

CoVeriTeam Release 0.1 - ASE20-submission. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Replication Package (Virtual Machine) for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CoVeriTeam Release 0.1. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CoVeriTeam Release 0.2. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CoVeriTeam Release 0.3. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CoVeriTeam Release 0.4. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CoVeriTeam Release 0.5. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Reproduction Package for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Reproduction Package for TACAS 2022 Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CoVeriTeam Release svcomp21 and testcomp21. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CoVeriTeam Release 0.6. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2021)

CoVeriTeam Release svcomp22 and testcomp22. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2021)

Reproduction Package for Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2021)

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. - Dirk Beyer 001; Sudeep Kanav; Cedric Richter (FASE, 2022)

CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. - Dirk Beyer 001; Sudeep Kanav (TACAS (1), 2022)

CoVeriTeam Release 0.9. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2022)

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2022)

Reproduction Package for FASE 2022 Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'. - Dirk Beyer 001; Sudeep Kanav; Cedric Richter (Zenodo, 2022)

CoVeriTeam Release c-cegar-icse2022. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2022)

Reproduction Package for the ICSE 2023 Submission 'CoVeriTeam Service: Verification as a Service'. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2022)

CoVeriTeam Verifier - Algorithm Selection and Parallel Portfolio (SV-COMP 2023). - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2022)

CoVeriTeam Service: Verification as a Service. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (ICSE Companion, 2023)

CoVeriTeam Service Release 1.0. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2023)

Reproduction Package for the ICSE 2023 Article 'CoVeriTeam Service: Verification as a Service'. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2023)

CoVeriTeam Service Release 1.1. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2023)

CoVeriTeam Release 1.0. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2023)

Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2023)

Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2023)

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2023)

Monitizer. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (Zenodo, 2023)

Monitizer. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (Zenodo, 2023)

A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community. - Sudeep Kanav; Jan Kretínský; Sabine Rieder (Principles of Verification (3), 2024)

Monitizer: Automating Design and Evaluation of Neural Network Monitors. - Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretínský; Stefanie Mohr; Sabine Rieder (CAV (2), 2024)

Statistical Model Checking the 2024 Edition! - Sudeep Kanav; Jan Kretínský; Kim G. Larsen (AISoLA, 2024)

Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes. - Muqsit Azeem; Debraj Chakraborty 002; Sudeep Kanav; Jan Kretínský (CoRR, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

Artifact for Paper: Monitizer - Automating Design and Evaluation of Neural Network Monitors. - Stefanie Mohr; Muqsit Azeem; Sudeep Kanav; Marta Grobelna; Sabine Rieder; Jan Kretínský (Zenodo, 2024)

CoVeriTeam Service Release 1.2. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2024)

Reproduction Package for Submission 'A Literature Review on Verification and Abstraction of Neural Networks'. - Sudeep Kanav; Jan Kretínský (Zenodo, 2024)

Reproduction Package for Submission 'A Literature Review on Verification and Abstraction of Neural Networks'. - Sudeep Kanav; Jan Kretínský (Zenodo, 2024)

Explaining Control Policies through Predicate Decision Diagrams. - Debraj Chakraborty 002; Clemens Dubslaff; Sudeep Kanav; Jan Kretínský; Christoph Weinhuber (HSCC, 2025)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. - Muqsit Azeem; Debraj Chakraborty 002; Sudeep Kanav; Jan Kretínský; MohammadSadegh Mohagheghi; Stefanie Mohr; Maximilian Weininger (VMCAI (2), 2025)

Construction of verifier combinations from off-the-shelf components. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Formal Methods Syst. Des., 2025)