Dilian
Gurov's Publications
Latest
update: 8 November 2011
Software product lines modelling and verification
Compositional
verification of control flow safety properties
- ProMoVer: Modular Verification of Temporal Safety Properties
Siavash Soleimanifard, Dilian Gurov, and Marieke Huisman
In Proceedings of: SEFM'11
Lecture Notes in Computer Science, vol. 7041, pp. 366-381,
2011 - CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties
Marieke Huisman, and Dilian Gurov
In Proceedings of: FoVeOOS'10
Lecture Notes in Computer Science, vol. 6528, pp. 107-121,
2010
- Procedure-Modular Verification of Control Flow Safety Properties
Siavash Soleimanifard, Dilian Gurov, and Marieke Huisman
In Proceedings of: FTfJP'10, ACM Digital Library, 2010
- Reducing
Behavioural to
Structural
Properties of Programs with Procedures
Dilian Gurov, and
Marieke Huisman
In Proceedings of: VMCAI'09
Lecture Notes in Computer Science,
vol. 5403, pp. 136-150,
2009 (tool
web-interface) (slides)
Full version
available as: Technical Report TRITA-CSC-TCS 2007:3,
December 2007
- Program Models for Compositional
Verification
Marieke Huisman, Irem Aktug, and
Dilian Gurov
In Proceedings of: ICFEM'08
Lecture Notes in Computer Science, vol. 5256, pp. 147-166,
2008
- Compositional
Verification of Sequential Programs with Procedures
Dilian Gurov, Marieke Huisman, and
Christoph Sprenger
Journal
of Information and Computation, vol. 206, no. 7, pp. 840-868,
2008
- Composing Modal
Properties of Programs with Procedures
Marieke Huisman, and Dilian Gurov
In Proceedings of: FESCA'07
Electronic Notes in Theoretical Computer Science, vol. 203,
issue 7, pp. 87-101, 2009 (slides)
- Interface
Abstraction for
Compositional
Verification
Dilian Gurov, and Marieke Huisman
In Proceedings of: SEFM'05
IEEE Computer Society, pp. 414-423, 2005 (slides)
- Compositional
Verification for Secure Loading of Smart Card Applets
Christoph Sprenger, Dilian Gurov, and Marieke Huisman
In Proceedings of: Memocode'04
IEEE Formal Methods and Models for Co-Design, pp. 211-222,
2004
- Checking
Absence of Illicit Applet Interactions: A Case Study
Marieke Huisman, Dilian Gurov, Christoph Sprenger, and Gennady Chugunov
In Proceedings of: FASE'04 [337]
Lecture Notes in Computer Science, vol. 2984, pp. 84-98
Winner of the EASST
award for Best Software Science Paper,
2004 (slides)
- Simulation
Logic, Applets and Compositional Verification
Christoph Sprenger, Dilian Gurov, and Marieke Huisman
INRIA Technical Report RR-4890,
2003
- Temporal
Logic and Toolset for Applet Verification:
Compositional
Reasoning, Model Checking, Abstract Interpretation
Gilles Barthe, Pierre Courtieu , Guillaume Dufay, Marieke Huisman,
Simão Melo de Sousa,
Gennady Chugunov, Lars-Åke Fredlund, and Dilian Gurov
VerifiCard Deliverable 4.1.,
2002
- Model
Checking of Multi-Applet JavaCard Applications
Gennady Chugunov, Lars-Åke Fredlund, and Dilian Gurov
In Proceedings of: CARDIS'02 [534]
USENIX Publications, pp. 87-95,
2002 (slides)
- Compositional
Verification of Secure Applet Interactions
Gilles Barthe, Dilian Gurov, and Marieke Huisman
In Proceedings of: FASE'02 [337]
Lecture Notes in Computer Science, vol. 2306, pp. 15-32,
2002 (slides)
- Compositional
Specification and Verification of Control Flow
Based
Security Properties of Multi-Application Programs
Gilles Barthe, Dilian Gurov, and Marieke Huisman
In Proceedings of: FTfJP'01,
2001
Specification and
verification of security policies expressed as security automata
- Provably Correct
Runtime Monitoring
Irem Aktug, Mads Dam, and Dilian
Gurov
Journal of Logic
and Algebraic Programming, vol. 78, pp. 304-339, 2009
Short version
appeared in Proceedings of: FM'08 [227]
Lecture Notes in Computer Science, vol. 5014, pp. 262-277,
2008 (slides)
State
space representations for verification of open systems
Verification of
peer-to-peer
algorithms
- Verification
of
Peer-to-peer
Algorithms: A Case Study
Rana Bakhshi, and Dilian Gurov
In Proceedings of: MTCoord'06
Electronic Notes in Theoretical Computer Science, vol. 181,
pp. 35-47, 2007
- Verifying
a Structured Peer-to-peer Overlay Network: The Static Case
Johannes Borgström, Uwe Nestmann, Luc Onana Alima, and Dilian
Gurov
In Proceedings of: Global Computing'04
Lecture Notes in Computer Science, vol. 3267, pp. 250-265,
2004
Logics of programs
Compositional
verification of behavioural properties of open
distributed systems (Erlang, CCS)
- A
Verification
Tool for Erlang
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas
Arts, and Gennady Chugunov
International Journal of
Software Tools for Technology Transfer,
vol. 4, pp. 405-420,
2003
- Semi-Automated
Verification of Erlang Code
Lars-Åke Fredlund, Dilian Gurov, and Thomas Noll
In Proceedings of: ASE'01 [482]
IEEE Computer Society, pp. 319-323,
2001 (long
version)
- The
Erlang
Verification Tool
Thomas Noll, Lars-åke Fredlund, and Dilian Gurov
In Proceedings of: TACAS'01
Lecture Notes in Computer Science, vol. 2031, pp.
582-585,
2001 (slides)
- Verification
of Erlang Programs: Factoring out the Side-effect-free Fragment
Dilian Gurov, and Gennady Chugunov
In Proceedings of: FMICS 2000
GMD Report, no. 91, pp. 109-122,
2000 (slides)
- A
Framework
for Formal Reasoning about Open Distributed Systems
Lars-åke Fredlund, and Dilian Gurov
In Proceedings of: ASIAN'99 [803]
Lecture Notes in Computer Science, vol. 1742, pp. 87-100,
1999
- Compositional
Verification of CCS Processes
Mads Dam, and Dilian Gurov
In Proceedings of: PSI'99 [775]
Lecture Notes in Computer Science, vol. 1755, pp.
247-256,
2000
- System
Description: Verification of Distributed Erlang Programs
Thomas Arts, Mads Dam, Lars-åke Fredlund, and Dilian Gurov
In Proceedings of: CADE'98
Lecture Notes in Artificial Intelligence, vol. 1421, pp.
38-41,
1998
- Toward
Parametric Verification of Open Distributed Systems
Mads Dam, Lars-åke Fredlund, and Dilian Gurov
In book: Compositionality: The Significant Difference
Lecture Notes in Computer Science, vol. 1536, pp.
150-185,
1998
- Specification
and Verification of Communicating Systems with Value Passing
Ph.D. Thesis,
Department of Computer Science,
University of Victoria,
March 1998
- A
Compositional
Proof System for the Modal mu-calculus and CCS
Sergey Berezin, and Dilian Gurov
CMU Techreport CMU-CS-97-105,
1997
- A
Modal mu-Calculus and a Proof System for Value Passing Processes
Dilian Gurov, Sergey Berezin, and Bruce Kapron
In Proceedings of: INFINITY'96
Electronic Notes in Theoretical Computer Science, Vol.5,
1996
Other
- Formal
Methods Research at SICS and KTH: An Overview
Mads Dam, Lars-Åke
Fredlund, and Dilian Gurov
In Proceedings of: FMICS'03
Electronic Notes in Theoretical
Computer Science, vol. 80,
2003
- The
Evaluation
of Full Sensitivity for Test Generation in MVL Circuits
Elena Dubrova, Jon Muzio, and Dilian Gurov
In Proceedings of: ISMVL'95 [941], pp. 104-109,
1995
- Full
Sensitivity and Test Generation for Multiple-Valued Logic Circuits
Elena Dubrova, Jon Muzio,
and Dilian Gurov
In Proceedings of: ISMVL'94 [941], pp.
284-289,
1994
Non-professional Activities