| Dynamic vulnerability detection on smart contracts using machine learning M Eshghie, C Artho, D Gurov Proceedings of the 25th International Conference on Evaluation and …, 2021 | 65 | 2021 |
| Toward parametric verification of open distributed systems M Dam, L Fredlund, D Gurov International Symposium on Compositionality, 150-185, 1997 | 56 | 1997 |
| Provably correct runtime monitoring I Aktug, M Dam, D Gurov International Symposium on Formal Methods, 262-277, 2008 | 52 | 2008 |
| A verification tool for Erlang LÅ Fredlund, D Gurov, T Noll, M Dam, T Arts, G Chugunov International Journal on Software Tools for Technology Transfer 4, 405-420, 2003 | 49 | 2003 |
| Verification of peer-to-peer algorithms: A case study R Bakhshi, D Gurov Electronic Notes in Theoretical Computer Science 181, 35-47, 2007 | 46 | 2007 |
| μ‐Calculus with Explicit Points and Approximations M Dam, D Gurov Journal of Logic and Computation 12 (2), 255-269, 2002 | 42 | 2002 |
| Knowledge-based strategies for multi-agent teams playing against Nature D Gurov, V Goranko, E Lundberg Artificial Intelligence 309, 103728, 2022 | 38 | 2022 |
| Formal verification in automotive industry: Enablers and obstacles M Nyberg, D Gurov, C Lidström, A Rasmusson, J Westman Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 36 | 2018 |
| Checking absence of illicit applet interactions: a case study M Huisman, D Gurov, C Sprenger, G Chugunov Fundamental Approaches to Software Engineering: 7th International Conference …, 2004 | 35 | 2004 |
| Compositional verification of CCS processes M Dam, D Gurov Perspectives of System Informatics: Third International Andrei Ershov …, 2000 | 32 | 2000 |
| Compositional algorithmic verification of software product lines I Schaefer, D Gurov, S Soleimanifard International Symposium on Formal Methods for Components and Objects, 184-203, 2010 | 31 | 2010 |
| Verifying a structured peer-to-peer overlay network: The static case J Borgström, U Nestmann, L Onana, D Gurov Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005 | 30 | 2005 |
| Compositional verification of sequential programs with procedures D Gurov, M Huisman, C Sprenger Information and Computation 206 (7), 840-868, 2008 | 29 | 2008 |
| Sound control-flow graph extraction for Java programs with exceptions A Amighi, P de C. Gomes, D Gurov, M Huisman Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012 | 28 | 2012 |
| System description: Verification of distributed Erlang programs T Arts, M Dam, L Fredlund, D Gurov Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998 | 26 | 1998 |
| Compositional verification of secure applet interactions G Barthe, D Gurov, M Huisman Fundamental Approaches to Software Engineering: 5th International Conference …, 2002 | 20 | 2002 |
| Deductive verification based abstraction for software model checking J Amilon, C Lidström, D Gurov International Symposium on Leveraging Applications of Formal Methods, 7-28, 2022 | 19 | 2022 |
| An abstraction technique for describing concurrent program behaviour W Oortwijn, S Blom, D Gurov, M Huisman, M Zaharieva-Stojanovski Verified Software. Theories, Tools, and Experiments: 9th International …, 2017 | 19 | 2017 |
| Model Checking of {Multi-Applet}{JavaCard} Applications G Chugunov, LÅ Fredlund, D Gurov 5th Smart Card Research and Advanced Application Conference (CARDIS 02), 2002 | 19 | 2002 |
| Deductive functional verification of safety-critical embedded c-code: An experience report D Gurov, C Lidström, M Nyberg, J Westman Critical Systems: Formal Methods and Automated Verification: Joint 22nd …, 2017 | 18 | 2017 |
Marieke HuismanVerified email at ewi.utwente.nl
