| A conference management system with verified document confidentiality S Kanav, P Lammich, A Popescu Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 70 | 2014 |
| CoVeriTeam: On-demand composition of cooperative verification systems D Beyer, S Kanav International Conference on Tools and Algorithms for the Construction and …, 2022 | 35 | 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 | 19 | 2022 |
| Modular Transformation from AF3 to nuXmv. S Kanav, V Aravantinos MODELS (Satellite Events), 300-306, 2017 | 10 | 2017 |
| An interface theory for program verification D Beyer, S Kanav International Symposium on Leveraging Applications of Formal Methods, 168-186, 2020 | 4 | 2020 |
| Tool support for live formal verification V Aravantinos, S Kanav 2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017 | 4 | 2017 |
| CoVeriTeam Service: Verification as a Service D Beyer, S Kanav, H Wachowitz 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 3 | 2023 |
| Design and Runtime Verification Side-by-Side in eTrice S Kanav, L Lúcio, C Hilden, T Schuetz NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 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 |
| Adaptability of Conservative Staircase Scheme for Live Videos S Kanav, S Chand Circuits and Systems 2 (03), 151, 2011 | | 2011 |
| Cooperative Verification S Kanav | | |
| Middlesex University Research Repository K Harman, D Boud, D Rooney, N Solomon, M Leontios | | |
Dirk BeyerProfessor of Computer Science, LMU Munich, Germany在 lmu.de 的电子邮件经过验证
