Dilian Gurov

Citado por

	Total	Desde 2019
Citas	1141	395
Índice h	18	11
Índice i10	43	16

100

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 11 17 14 30 35 37 31 35 21 21 52 40 49 35 75 43 22 48 40 33 33 50 40 48 67 87 98

Acceso público

Ver todo

18 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Marieke HuismanDirección de correo verificada de ewi.utwente.nl
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of TechnologyDirección de correo verificada de kth.se
Pedro de Carvalho GomesPhD in Computer Science, KTH Royal Institute of TechnologyDirección de correo verificada de csc.kth.se
Thomas ArtsProfessor of Software Engineering, ChalmersDirección de correo verificada de quviq.com
Ina SchaeferKarlsruhe Institute of Technology (KIT)Dirección de correo verificada de kit.edu
Bruce KapronProfessor of Computer Science, University of VictoriaDirección de correo verificada de uvic.ca
Roberto GuancialeKTHDirección de correo verificada de kth.se
Jon MuzioProfessor of Computer Science, University of VictoriaDirección de correo verificada de cs.uvic.ca
Uwe NestmannProfessor of Computer Science, TU BerlinDirección de correo verificada de tu-berlin.de
Peeter LaudCybernetica ASDirección de correo verificada de cyber.ee
Elena DubrovaRoyal Institute of Technology (KTH), Stockholm, SwedenDirección de correo verificada de kth.se
Rena BakhshiVU University AmsterdamDirección de correo verificada de bakhshi.org
Bjarte M. ØstvoldNorwegian Computing CenterDirección de correo verificada de nr.no
Hausi A. MüllerDepartment of Computer Science, Faculty of Engineering, University of Victoria, IEEE Quantum WeekDirección de correo verificada de cs.uvic.ca
Siavash SoleimanifardPhD in Computer Science, Facebook

Seguir

Dilian Gurov

Professor in Computer Science, KTH Royal Institute of Technology

Dirección de correo verificada de kth.se - Página principal

Software verification Compositional reasoning Multi-agent strategic planning


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Toward parametric verification of open distributed systems M Dam, L Fredlund, D Gurov International Symposium on Compositionality, 150-185, 1997	56	1997
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	54	2021
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	48	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	41	2002
Knowledge-based strategies for multi-agent teams playing against Nature D Gurov, V Goranko, E Lundberg Artificial Intelligence 309, 103728, 2022	36	2022
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
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	34	2018
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
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
Provably correct runtime monitoring I Aktug, M Dam, D Gurov The Journal of Logic and Algebraic Programming 78 (5), 304-339, 2009	18	2009
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	17	2017

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores