The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dilian Gurov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Irem Aktug, Dilian Gurov
    State Space Representation for Verification of Open Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:5-20 [Conf]
  2. Lars-Åke Fredlund, Dilian Gurov
    A Framework for Formal Reasoning about Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:87-100 [Conf]
  3. Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
    System Description: Verification of Distributed Erlang Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:38-41 [Conf]
  4. Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov
    Model Checking of Multi-Applet JavaCard Applications. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2002, pp:87-96 [Conf]
  5. Mads Dam, Lars-Åke Fredlund, Dilian Gurov
    Toward Parametric Verification of Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:150-185 [Conf]
  6. Mads Dam, Dilian Gurov
    Compositional Verification of CCS Processes. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:247-256 [Conf]
  7. Gilles Barthe, Dilian Gurov, Marieke Huisman
    Compositional Verification of Secure Applet Interactions. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:15-32 [Conf]
  8. Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
    Checking Absence of Illicit Applet Interactions: A Case Study. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:84-98 [Conf]
  9. Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
    Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:250-265 [Conf]
  10. Elena Dubrova, Dilian Gurov, Jon C. Muzio
    Full Sensitivity and Test Generation for Multiple-Valued Logic Circuits. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1994, pp:284-288 [Conf]
  11. Elena Dubrova, Dilian Gurov, Jon C. Muzio
    The Evaluation of Full Sensitivity for Test Generation in MVL Circuits. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1995, pp:104-0 [Conf]
  12. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
    Semi-Automated Verification of Erlang Code. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:319-323 [Conf]
  13. Christoph Sprenger, Dilian Gurov, Marieke Huisman
    Compositional verification for secure loading of smart card applets. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:211-222 [Conf]
  14. Dilian Gurov, Marieke Huisman
    Interface Abstraction for Compositional Verificatio. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:414-424 [Conf]
  15. Thomas Noll, Lars-Åke Fredlund, Dilian Gurov
    The Erlang Verification Tool. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:582-586 [Conf]
  16. Dilian Gurov, Sergey Berezin, Bruce M. Kapron
    A modal mu-calculus and a proof system for value passing processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  17. Dilian Gurov, Bruce M. Kapron
    A note on negative tagging for least fixed-point formulae. [Citation Graph (0, 0)][DBLP]
    ITA, 1999, v:33, n:4/5, pp:383-392 [Journal]
  18. Mads Dam, Dilian Gurov
    µ-Calculus with Explicit Points and Approximations. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:2, pp:255-269 [Journal]
  19. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
    A verification tool for ERLANG. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:4, pp:405-420 [Journal]
  20. Rana Bakhshi, Dilian Gurov
    Verification of Peer-to-peer Algorithms: A Case Study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:35-47 [Journal]

  21. Provably Correct Runtime Monitoring. [Citation Graph (, )][DBLP]


  22. Program Models for Compositional Verification. [Citation Graph (, )][DBLP]


  23. Reducing Behavioural to Structural Properties of Programs with Procedures. [Citation Graph (, )][DBLP]


Search in 0.258secs, Finished in 0.260secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002