Dilian Gurov
Dilian Gurov
Associate Professor of Computer Science, KTH Royal Institute of Technology
Geverifieerd e-mailadres voor kth.se - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Toward parametric verification of open distributed systems
M Dam, L Fredlund, D Gurov
International Symposium on Compositionality, 150-185, 1997
591997
Provably correct runtime monitoring
I Aktug, M Dam, D Gurov
International Symposium on Formal Methods, 262-277, 2008
522008
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 (4), 405-420, 2003
52*2003
Verification of peer-to-peer algorithms: A case study
R Bakhshi, D Gurov
Electronic Notes in Theoretical Computer Science 181, 35-47, 2007
472007
Checking absence of illicit applet interactions: a case study
M Huisman, D Gurov, C Sprenger, G Chugunov
International Conference on Fundamental Approaches to Software Engineering …, 2004
362004
Compositional verification of sequential programs with procedures
D Gurov, M Huisman, C Sprenger
Information and Computation 206 (7), 840-868, 2008
322008
Verifying a structured peer-to-peer overlay network: The static case
J Borgström, U Nestmann, L Onana, D Gurov
International Workshop on Global Computing, 250-265, 2004
302004
Compositional verification of CCS processes
M Dam, D Gurov
International Andrei Ershov Memorial Conference on Perspectives of System …, 1999
301999
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
292010
μ‐Calculus with Explicit Points and Approximations
M Dam, D Gurov
Journal of Logic and Computation 12 (2), 255-269, 2002
292002
System description: Verification of distributed Erlang programs
T Arts, M Dam, LÅ Fredlund, D Gurov
International Conference on Automated Deduction, 38-41, 1998
261998
Compositional verification of secure applet interactions
G Barthe, D Gurov, M Huisman
International Conference on Fundamental Approaches to Software Engineering …, 2002
222002
Sound control-flow graph extraction for Java programs with exceptions
A Amighi, PC Gomes, D Gurov, M Huisman
International Conference on Software Engineering and Formal Methods, 33-47, 2012
212012
Model Checking of Multi-Applet JavaCard Applications.
G Chugunov, LÅ Fredlund, D Gurov
CARDIS, 87-96, 2002
202002
The Erlang verification tool
T Noll, L Fredlund, D Gurov
International Conference on Tools and Algorithms for the Construction and …, 2001
20*2001
Reducing behavioural to structural properties of programs with procedures
D Gurov, M Huisman
Theoretical Computer Science 480, 69-103, 2013
16*2013
A Compositional Proof System for the Modal-calculus and CCS
S Berezin, D Gurov
161997
Formal verification in automotive industry: enablers and obstacles
M Nyberg, D Gurov, C Lidström, A Rasmusson, J Westman
International Symposium on Leveraging Applications of Formal Methods, 139-158, 2018
152018
An abstraction technique for describing concurrent program behaviour
W Oortwijn, S Blom, D Gurov, M Huisman, M Zaharieva-Stojanovski
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2017
142017
CVPP: A tool set for compositional verification of control–flow safety properties
M Huisman, D Gurov
International Conference on Formal Verification of Object-Oriented Software …, 2010
142010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20