![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Dilian Gurov
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i10]Eduard Kamburjan, Dilian Gurov:
A Hoare Logic for Domain Specification (Full Version). CoRR abs/2402.00452 (2024) - 2023
- [c56]Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer:
Automatic Program Instrumentation for Automatic Verification. CAV (3) 2023: 281-304 - [c55]Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
:
Trace-based Deductive Verification. LPAR 2023: 73-95 - [c54]Christian Lidström, Dilian Gurov:
Contract Based Embedded Software Design. TASE 2023: 77-94 - [i9]Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer:
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). CoRR abs/2306.00004 (2023) - [i8]Georg Friedrich Schuppe, Dilian Gurov:
Soundness and Completeness of a Model-Checking Proof System for CTL. CoRR abs/2309.05389 (2023) - 2022
- [j12]Dilian Gurov
, Valentin Goranko
, Edvin Lundberg
:
Knowledge-based strategies for multi-agent teams playing against Nature. Artif. Intell. 309: 103728 (2022) - [c53]Dilian Gurov, Christian Lidström, Philipp Rümmer:
Alice in Wineland: A Fairy Tale with Contracts. The Logic of Software. A Tasting Menu of Formal Methods 2022: 229-242 - [c52]Jesper Amilon, Christian Lidström, Dilian Gurov:
Deductive Verification Based Abstraction for Software Model Checking. ISoLA (1) 2022: 7-28 - [c51]Wolfgang Ahrendt
, Dilian Gurov
, Moa Johansson
, Philipp Rümmer
:
TriCo - Triple Co-piloting of Implementation, Specification and Tests. ISoLA (1) 2022: 174-187 - [c50]Daniel-Jesus Munoz, Mónica Pinto, Dilian Gurov, Lidia Fuentes:
Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes. SPLC (B) 2022: 132-139 - [c49]Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg:
Bounded Invariant Checking for Stateflow. FMAS/ASYDE@SEFM 2022: 38-52 - [i7]Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta:
Towards Trace-based Deductive Verification (Tech Report). CoRR abs/2211.09487 (2022) - [i6]Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström:
Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12(11): 1-27 (2022) - 2021
- [c48]Daniel-Jesus Munoz, Dilian Gurov
, Mónica Pinto
, Lidia Fuentes:
Category Theory Framework for Variability Models with Non-functional Requirements. CAiSE 2021: 397-413 - [c47]Mojtaba Eshghie
, Cyrille Artho, Dilian Gurov
:
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. EASE 2021: 305-312 - [c46]Christian Lidström, Dilian Gurov:
An Abstract Contract Theory for Programs with Procedures. FASE 2021: 152-171 - [i5]Christian Lidström, Dilian Gurov:
An Abstract Contract Theory for Programs with Procedures. CoRR abs/2101.06087 (2021) - [i4]Mojtaba Eshghie, Cyrille Artho, Dilian Gurov:
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. CoRR abs/2102.07420 (2021) - [i3]Predrag Filipovikj, Dilian Gurov, Mattias Nyberg:
Bounded Invariant Checking for Stateflow Programs. CoRR abs/2103.06248 (2021) - 2020
- [c45]Dilian Gurov
, Reiner Hähnle
, Eduard Kamburjan:
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. ISoLA (1) 2020: 3-21 - [c44]Dilian Gurov
, Paula Herber, Ina Schaefer:
Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) 2020: 235-239 - [c43]Mattias Nyberg, Jonas Westman, Dilian Gurov
:
Formally Proving Compositionality in Industrial Systems with Informal Specifications. ISoLA (3) 2020: 348-365 - [c42]Wytse Oortwijn, Dilian Gurov
, Marieke Huisman
:
Practical Abstractions for Automated Verification of Shared-Memory Concurrency. VMCAI 2020: 401-425 - [p1]Anoud Alshnakat, Dilian Gurov
, Christian Lidström, Philipp Rümmer
:
Constraint-Based Contract Inference for Deductive Verification. 20 Years of KeY 2020: 149-176 - [i2]Marieke Huisman
, Dilian Gurov, Alexander Malkis
:
Formal Methods: From Academia to Industrial Practice. A Travel Guide. CoRR abs/2002.07279 (2020) - [i1]Dilian Gurov, Valentin Goranko, Edvin Lundberg:
Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature. CoRR abs/2012.14851 (2020)
2010 – 2019
- 2018
- [j11]Pedro de Carvalho Gomes
, Dilian Gurov
, Marieke Huisman
, Cyrille Artho:
Specification and verification of synchronization with condition variables. Sci. Comput. Program. 163: 174-189 (2018) - [c41]Dilian Gurov, Jonas Westman:
A Hoare Logic Contract Theory: An Exercise in Denotational Semantics. Principled Software Development 2018: 119-127 - [c40]Michael Felderer, Dilian Gurov
, Marieke Huisman
, Björn Lisper, Rupert Schlick
:
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). ISoLA (4) 2018: 77-81 - [c39]Mattias Nyberg, Dilian Gurov
, Christian Lidström, Andreas Rasmusson, Jonas Westman:
Formal Verification in Automotive Industry: Enablers and Obstacles. ISoLA (4) 2018: 139-158 - 2017
- [j10]Jonas Westman
, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov
:
Formal architecture modeling of sequential non-recursive C programs. Sci. Comput. Program. 146: 2-27 (2017) - [c38]Dilian Gurov
, Christian Lidström, Mattias Nyberg, Jonas Westman:
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. FMICS-AVoCS 2017: 3-18 - [c37]Wytse Oortwijn, Stefan Blom, Dilian Gurov
, Marieke Huisman
, Marina Zaharieva-Stojanovski:
An Abstraction Technique for Describing Concurrent Program Behaviour. VSTTE 2017: 191-209 - 2016
- [j9]Siavash Soleimanifard
, Dilian Gurov
:
Algorithmic verification of procedural programs in the presence of code variability. Sci. Comput. Program. 127: 76-102 (2016) - [j8]Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov
, Marieke Huisman
:
Provably correct control flow graphs from Java bytecode programs with exceptions. Int. J. Softw. Tools Technol. Transf. 18(6): 653-684 (2016) - [c36]Pedro de Carvalho Gomes, Dilian Gurov
, Marieke Huisman
:
Specification and Verification of Synchronization with Condition Variables. FTSCS 2016: 3-19 - [c35]Dilian Gurov
, Klaus Havelund, Marieke Huisman
, Rosemary Monahan
:
Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) 2016: 397-401 - 2015
- [j7]Siavash Soleimanifard, Dilian Gurov
, Marieke Huisman
:
Procedure-modular specification and verification of temporal safety properties. Softw. Syst. Model. 14(1): 83-100 (2015) - [c34]Dilian Gurov
, Peeter Laud
, Roberto Guanciale
:
Privacy preserving business process matching. PST 2015: 36-43 - [c33]Dilian Gurov
, Minko Markov:
Self-Correlation and Maximum Independence in Finite Relations. FICS 2015: 60-74 - 2014
- [c32]Roberto Guanciale
, Dilian Gurov
:
Privacy Preserving Business Process Fusion. Business Process Management Workshops 2014: 96-101 - [c31]Siavash Soleimanifard, Dilian Gurov
:
Algorithmic Verification of Procedural Programs in the Presence of Code Variability. FACS 2014: 327-345 - [c30]Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov
:
Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. FASE 2014: 215-229 - [c29]Roberto Guanciale
, Dilian Gurov
, Peeter Laud
:
Private intersection of regular languages. PST 2014: 112-120 - 2013
- [j6]Dilian Gurov
, Marieke Huisman
:
Reducing behavioural to structural properties of programs with procedures. Theor. Comput. Sci. 480: 69-103 (2013) - 2012
- [c28]Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov
, Marieke Huisman
:
Sound Control-Flow Graph Extraction for Java Programs with Exceptions. SEFM 2012: 33-47 - [e1]Bernhard Beckert
, Ferruccio Damiani
, Dilian Gurov:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7421, Springer 2012, ISBN 978-3-642-31761-3 [contents] - 2011
- [c27]Dilian Gurov
, Bjarte M. Østvold, Ina Schaefer:
A Hierarchical Variability Model for Software Product Lines. ISoLA Workshops 2011: 181-199 - [c26]Siavash Soleimanifard, Dilian Gurov
, Marieke Huisman
:
ProMoVer: Modular Verification of Temporal Safety Properties. SEFM 2011: 366-381 - 2010
- [c25]Siavash Soleimanifard, Dilian Gurov
, Marieke Huisman
:
Procedure-modular verification of control flow safety properties. FTfJP@ECOOP 2010: 5:1-5:7 - [c24]Ina Schaefer, Dilian Gurov
, Siavash Soleimanifard:
Compositional Algorithmic Verification of Software Product Lines. FMCO 2010: 184-203 - [c23]Marieke Huisman
, Dilian Gurov
:
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. FoVeOOS 2010: 107-121
2000 – 2009
- 2009
- [j5]Irem Aktug, Mads Dam, Dilian Gurov
:
Provably correct runtime monitoring. J. Log. Algebraic Methods Program. 78(5): 304-339 (2009) - [c22]Dilian Gurov
, Marieke Huisman
:
Reducing Behavioural to Structural Properties of Programs with Procedures. VMCAI 2009: 136-150 - 2008
- [j4]Dilian Gurov
, Marieke Huisman
, Christoph Sprenger
:
Compositional verification of sequential programs with procedures. Inf. Comput. 206(7): 840-868 (2008) - [c21]Irem Aktug, Mads Dam, Dilian Gurov
:
Provably Correct Runtime Monitoring. FM 2008: 262-277 - [c20]Marieke Huisman
, Irem Aktug, Dilian Gurov
:
Program Models for Compositional Verification. ICFEM 2008: 147-166 - 2007
- [c19]Marieke Huisman
, Dilian Gurov
:
Composing Modal Properties of Programs with Procedures. FESCA@ETAPS 2007: 87-101 - 2006
- [c18]Irem Aktug, Dilian Gurov
:
State Space Representation for Verification of Open Systems. AMAST 2006: 5-20 - [c17]Rena Bakhshi
, Dilian Gurov
:
Verification of Peer-to-peer Algorithms: A Case Study. CoOrg/MTCoord@COORDINATION 2006: 35-47 - 2005
- [c16]Dilian Gurov
, Marieke Huisman
:
Interface Abstraction for Compositional Verificatio. SEFM 2005: 414-424 - 2004
- [c15]Marieke Huisman
, Dilian Gurov
, Christoph Sprenger
, Gennady Chugunov:
Checking Absence of Illicit Applet Interactions: A Case Study. FASE 2004: 84-98 - [c14]Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
:
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing 2004: 250-265 - [c13]Christoph Sprenger
, Dilian Gurov, Marieke Huisman
:
Compositional verification for secure loading of smart card applets. MEMOCODE 2004: 211-222 - 2003
- [j3]Lars-Åke Fredlund
, Dilian Gurov
, Thomas Noll
, Mads Dam, Thomas Arts, Gennady Chugunov:
A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. 4(4): 405-420 (2003) - [c12]Mads Dam, Lars-Åke Fredlund
, Dilian Gurov
:
Formal Methods Research at SICS and KTH: An Overview. FMICS 2003: 267-272 - 2002
- [j2]Mads Dam, Dilian Gurov
:
µ-Calculus with Explicit Points and Approximations. J. Log. Comput. 12(2): 255-269 (2002) - [c11]Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov:
Model Checking of Multi-Applet JavaCard Applications. CARDIS 2002: 87-96 - [c10]Gilles Barthe, Dilian Gurov
, Marieke Huisman
:
Compositional Verification of Secure Applet Interactions. FASE 2002: 15-32 - 2001
- [c9]Lars-Åke Fredlund, Dilian Gurov
, Thomas Noll
:
Semi-Automated Verification of Erlang Code. ASE 2001: 319-323 - [c8]Thomas Noll
, Lars-Åke Fredlund, Dilian Gurov
:
The Erlang Verification Tool. TACAS 2001: 582-586
1990 – 1999
- 1999
- [j1]Dilian Gurov
, Bruce M. Kapron
:
A note on negative tagging for least fixed-point formulae. RAIRO Theor. Informatics Appl. 33(4/5): 383-392 (1999) - [c7]Lars-Åke Fredlund
, Dilian Gurov
:
A Framework for Formal Reasoning about Open Distributed Systems. ASIAN 1999: 87-100 - [c6]Mads Dam, Dilian Gurov
:
Compositional Verification of CCS Processes. Ershov Memorial Conference 1999: 247-256 - 1998
- [b1]Dilian Gurov:
Specification and verification of communicating systems with value passing. University of Victoria, Canada, 1998 - [c5]Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
:
System Description: Verification of Distributed Erlang Programs. CADE 1998: 38-41 - 1997
- [c4]Mads Dam, Lars-Åke Fredlund, Dilian Gurov
:
Toward Parametric Verification of Open Distributed Systems. COMPOS 1997: 150-185 - 1996
- [c3]Dilian Gurov
, Sergey Berezin, Bruce M. Kapron
:
A modal mu-calculus and a proof system for value passing processes. INFINITY 1996: 47 - 1995
- [c2]Elena Dubrova, Dilian Gurov, Jon C. Muzio:
The Evaluation of Full Sensitivity for Test Generation in MVL Circuits. ISMVL 1995: 104-111 - 1994
- [c1]Elena Dubrova, Dilian Gurov, Jon C. Muzio:
Full Sensitivity and Test Generation for Multiple-Valued Logic Circuits. ISMVL 1994: 284-288
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint