| A conference management system with verified document confidentiality S Kanav, P Lammich, A Popescu Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 73 | 2014 |
| CoVeriTeam: On-demand composition of cooperative verification systems D Beyer, S Kanav International Conference on Tools and Algorithms for the Construction and …, 2022 | 47 | 2022 |
| Construction of verifier combinations based on off-the-shelf verifiers D Beyer, S Kanav, C Richter International Conference on Fundamental Approaches to Software Engineering …, 2022 | 27 | 2022 |
| Modular Transformation from AF3 to nuXmv. S Kanav, V Aravantinos MODELS (Satellite Events), 300-306, 2017 | 11 | 2017 |
| CoVeriTeam Service: Verification as a service D Beyer, S Kanav, H Wachowitz 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 9 | 2023 |
| COVERITEAM release 1.0 D Beyer, S Kanav, H Wachowitz Zenodo, 2023 | 6 | 2023 |
| An interface theory for program verification D Beyer, S Kanav International Symposium on Leveraging Applications of Formal Methods, 168-186, 2020 | 5 | 2020 |
| Tool support for live formal verification V Aravantinos, S Kanav 2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017 | 4 | 2017 |
| Monitizer: automating design and evaluation of neural network monitors M Azeem, M Grobelna, S Kanav, J Křetínský, S Mohr, S Rieder International Conference on Computer Aided Verification, 265-279, 2024 | 3 | 2024 |
| Design and Runtime Verification Side-by-Side in eTrice S Kanav, L Lúcio, C Hilden, T Schuetz NASA Formal Methods Symposium, 255-262, 2019 | 1 | 2019 |
| A modular approach to integrate verification tools in model based development S Kanav Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018 | 1 | 2018 |
| Controlling a virtual rover using AutoFOCUS3. L Lúcio, S Kanav, A Bayha, J Eder MoDELS (Workshops), 356-365, 2018 | 1 | 2018 |
| 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization M Azeem, D Chakraborty, S Kanav, J Křetínský, M Mohagheghi, S Mohr, ... International Conference on Verification, Model Checking, and Abstract …, 2025 | | 2025 |
| Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes M Azeem, D Chakraborty, S Kanav, J Kretinsky arXiv preprint arXiv:2411.13365, 2024 | | 2024 |
| A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community S Kanav, J Křetínský, S Rieder Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | | 2024 |
| Statistical Model Checking the 2024 Edition! S Kanav, J Křetínský, KG Larsen International Conference on Bridging the Gap between AI and Reality, 303-311, 2024 | | 2024 |
| Adaptability of Conservative Staircase Scheme for Live Videos S Kanav, S Chand Circuits and Systems 2 (03), 151, 2011 | | 2011 |
| Statistical Model Checking the 2024 S Kanav, J Křetínský, KG Larsen Bridging the Gap Between AI and Reality: Second International Conference …, 0 | | |
| Middlesex University Research Repository S Kanav, P Lammich, A Popescu | | |
| Cooperative Verification S Kanav | | |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyOverená e-mailová adresa na: lmu.de