BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Greece
1 × Italy
1 × Spain
1 × Uruguay
2 × France
2 × Germany
2 × USA
Collaborated with:
M.Huisman L.Fredlund T.Noll P.d.C.Gomes M.Dam A.Picoco S.Soleimanifard I.Aktug G.Barthe A.Amighi C.Sprenger G.Chugunov T.Arts
Talks about:
verif (5) program (4) erlang (3) properti (2) interact (2) composit (2) extract (2) control (2) applet (2) sound (2)

Person: Dilian Gurov

DBLP DBLP: Gurov:Dilian

Contributed to:

FASE 20142014
SEFM 20122012
SEFM 20112011
VMCAI 20092009
FM 20082008
SEFM 20052005
FASE 20042004
FASE 20022002
ASE 20012001
TACAS 20012001
CADE 19981998

Wrote 11 papers:

FASE-2014-GomesPG #bytecode #control flow #graph #java #source code
Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs (PdCG, AP, DG), pp. 215–229.
SEFM-2012-AmighiGGH #control flow #exception #graph #java #source code
Sound Control-Flow Graph Extraction for Java Programs with Exceptions (AA, PdCG, DG, MH), pp. 33–47.
SEFM-2011-SoleimanifardGH #composition #named #safety #verification
ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.
VMCAI-2009-GurovH #behaviour #source code
Reducing Behavioural to Structural Properties of Programs with Procedures (DG, MH), pp. 136–150.
FM-2008-AktugDG #monitoring #runtime
Provably Correct Runtime Monitoring (IA, MD, DG), pp. 262–277.
SEFM-2005-GurovH #abstraction #composition #interface
Interface Abstraction for Compositional Verificatio (DG, MH), pp. 414–424.
FASE-2004-HuismanGSC #case study #interactive
Checking Absence of Illicit Applet Interactions: A Case Study (MH, DG, CS, GC), pp. 84–98.
FASE-2002-BartheGH #composition #interactive #verification
Compositional Verification of Secure Applet Interactions (GB, DG, MH), pp. 15–32.
ASE-2001-FredlundGN #automation #erlang #verification
Semi-Automated Verification of Erlang Code (LÅF, DG, TN), pp. 319–323.
TACAS-2001-NollFG #erlang #verification
The Erlang Verification Tool (TN, LÅF, DG), pp. 582–586.
CADE-1998-ArtsDFG #distributed #erlang #source code #verification
System Description: Verification of Distributed Erlang Programs (TA, MD, LÅF, DG), pp. 38–41.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.