Παρακολούθηση
Dilian Gurov
Dilian Gurov
Associate Professor of Computer Science, KTH Royal Institute of Technology
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα kth.se - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
58*2003
Toward parametric verification of open distributed systems
M Dam, LÅ Fredlund, D Gurov
Compositionality: The Significant Difference: International Symposium …, 1998
561998
Provably correct runtime monitoring
I Aktug, M Dam, D Gurov
FM 2008: Formal Methods: 15th International Symposium on Formal Methods …, 2008
522008
Verification of peer-to-peer algorithms: A case study
R Bakhshi, D Gurov
Electronic Notes in Theoretical Computer Science 181, 35-47, 2007
482007
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
372004
μ‐Calculus with Explicit Points and Approximations
M Dam, D Gurov
Journal of Logic and Computation 12 (2), 255-269, 2002
352002
Compositional verification of sequential programs with procedures
D Gurov, M Huisman, C Sprenger
Information and Computation 206 (7), 840-868, 2008
332008
Compositional algorithmic verification of software product lines
I Schaefer, D Gurov, S Soleimanifard
Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012
312012
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
312005
Compositional verification of CCS processes
M Dam, D Gurov
Perspectives of System Informatics: Third International Andrei Ershov …, 2000
312000
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
272018
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
261998
Compositional verification of secure applet interactions
G Barthe, D Gurov, M Huisman
Fundamental Approaches to Software Engineering: 5th International Conference …, 2002
242002
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
222012
Model Checking of Multi-Applet JavaCard Applications.
G Chugunov, LÅ Fredlund, D Gurov
CARDIS 2, 87-95, 2002
202002
Knowledge-based strategies for multi-agent teams playing against Nature
D Gurov, V Goranko, E Lundberg
Artificial Intelligence 309, 103728, 2022
192022
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning
M Eshghie, C Artho, D Gurov
Evaluation and Assessment in Software Engineering, 305-312, 2021
192021
A Compositional Proof System for the Modal-calculus and CCS
S Berezin, D Gurov
181997
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
172017
Reducing behavioural to structural properties of programs with procedures
D Gurov, M Huisman
Theoretical Computer Science 480, 69-103, 2013
17*2013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20