| 2025 | VMCAI | 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. | Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretnsk, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger |
| 2024 | CAV | Monitizer: Automating Design and Evaluation of Neural Network Monitors. | Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretnsk, Stefanie Mohr, Sabine Rieder |
| 2024 | VECoS | Statistical Model Checking the 2024 Edition! | Sudeep Kanav, Jan Kretnsk, Kim G. Larsen |
| 2023 | ICSE | CoVeriTeam Service: Verification as a Service. | Dirk Beyer, Sudeep Kanav, Henrik Wachowitz |
| 2022 | FASE | Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. | Dirk Beyer, Sudeep Kanav, Cedric Richter |
| 2022 | TACAS | CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. | Dirk Beyer, Sudeep Kanav |
| 2020 | ISoLA | An Interface Theory for Program Verification. | Dirk Beyer, Sudeep Kanav |
| 2018 | MODELS | A modular approach to integrate verification tools in model based development. | Sudeep Kanav |
| 2018 | MODELS | Controlling a virtual rover using AutoFOCUS3. | Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder |
| 2017 | MODELS | Tool Support for Live Formal Verification. | Vincent Aravantinos, Sudeep Kanav |
| 2017 | MODELS | Modular Transformation from AF3 to nuXmv. | Sudeep Kanav, Vincent Aravantinos |
| 2014 | CAV | A Conference Management System with Verified Document Confidentiality. | Sudeep Kanav, Peter Lammich, Andrei Popescu |