| 2009 |
|---|
| 24 | EE | Dilian Gurov,
Marieke Huisman:
Reducing Behavioural to Structural Properties of Programs with Procedures.
VMCAI 2009: 136-150 |
| 2008 |
|---|
| 23 | EE | Irem Aktug,
Mads Dam,
Dilian Gurov:
Provably Correct Runtime Monitoring.
FM 2008: 262-277 |
| 22 | EE | Marieke Huisman,
Irem Aktug,
Dilian Gurov:
Program Models for Compositional Verification.
ICFEM 2008: 147-166 |
| 21 | EE | Dilian Gurov,
Marieke Huisman,
Christoph Sprenger:
Compositional verification of sequential programs with procedures.
Inf. Comput. 206(7): 840-868 (2008) |
| 2007 |
|---|
| 20 | EE | Rana Bakhshi,
Dilian Gurov:
Verification of Peer-to-peer Algorithms: A Case Study.
Electr. Notes Theor. Comput. Sci. 181: 35-47 (2007) |
| 2006 |
|---|
| 19 | EE | Irem Aktug,
Dilian Gurov:
State Space Representation for Verification of Open Systems.
AMAST 2006: 5-20 |
| 2005 |
|---|
| 18 | EE | Dilian Gurov,
Marieke Huisman:
Interface Abstraction for Compositional Verificatio.
SEFM 2005: 414-424 |
| 2004 |
|---|
| 17 | EE | Marieke Huisman,
Dilian Gurov,
Christoph Sprenger,
Gennady Chugunov:
Checking Absence of Illicit Applet Interactions: A Case Study.
FASE 2004: 84-98 |
| 16 | EE | 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 |
| 15 | EE | Christoph Sprenger,
Dilian Gurov,
Marieke Huisman:
Compositional verification for secure loading of smart card applets.
MEMOCODE 2004: 211-222 |
| 2003 |
|---|
| 14 | EE | Lars-Åke Fredlund,
Dilian Gurov,
Thomas Noll,
Mads Dam,
Thomas Arts,
Gennady Chugunov:
A verification tool for ERLANG.
STTT 4(4): 405-420 (2003) |
| 2002 |
|---|
| 13 | EE | Gennady Chugunov,
Lars-Åke Fredlund,
Dilian Gurov:
Model Checking of Multi-Applet JavaCard Applications.
CARDIS 2002: 87-96 |
| 12 | EE | Gilles Barthe,
Dilian Gurov,
Marieke Huisman:
Compositional Verification of Secure Applet Interactions.
FASE 2002: 15-32 |
| 11 | EE | Mads Dam,
Dilian Gurov:
µ-Calculus with Explicit Points and Approximations.
J. Log. Comput. 12(2): 255-269 (2002) |
| 2001 |
|---|
| 10 | EE | Lars-Åke Fredlund,
Dilian Gurov,
Thomas Noll:
Semi-Automated Verification of Erlang Code.
ASE 2001: 319-323 |
| 9 | EE | Thomas Noll,
Lars-Åke Fredlund,
Dilian Gurov:
The Erlang Verification Tool.
TACAS 2001: 582-586 |
| 1999 |
|---|
| 8 | EE | Lars-Åke Fredlund,
Dilian Gurov:
A Framework for Formal Reasoning about Open Distributed Systems.
ASIAN 1999: 87-100 |
| 7 | EE | Mads Dam,
Dilian Gurov:
Compositional Verification of CCS Processes.
Ershov Memorial Conference 1999: 247-256 |
| 6 | | Dilian Gurov,
Bruce M. Kapron:
A note on negative tagging for least fixed-point formulae.
ITA 33(4/5): 383-392 (1999) |
| 1998 |
|---|
| 5 | EE | Thomas Arts,
Mads Dam,
Lars-Åke Fredlund,
Dilian Gurov:
System Description: Verification of Distributed Erlang Programs.
CADE 1998: 38-41 |
| 1997 |
|---|
| 4 | EE | Mads Dam,
Lars-Åke Fredlund,
Dilian Gurov:
Toward Parametric Verification of Open Distributed Systems.
COMPOS 1997: 150-185 |
| 1996 |
|---|
| 3 | EE | Dilian Gurov,
Sergey Berezin,
Bruce M. Kapron:
A modal mu-calculus and a proof system for value passing processes.
Electr. Notes Theor. Comput. Sci. 5: (1996) |
| 1995 |
|---|
| 2 | EE | Elena Dubrova,
Dilian Gurov,
Jon C. Muzio:
The Evaluation of Full Sensitivity for Test Generation in MVL Circuits.
ISMVL 1995: 104- |
| 1994 |
|---|
| 1 | | Elena Dubrova,
Dilian Gurov,
Jon C. Muzio:
Full Sensitivity and Test Generation for Multiple-Valued Logic Circuits.
ISMVL 1994: 284-288 |
