SODA

Items where Author is "Gurov, Dilian"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Number of items: 19.

Article

Fredlund, Lars-Åke and Gurov, Dilian and Dam, Mads (2003) A verification tool for Erlang. International Journal on Software Tools for Technology Transfer, 4 (4). pp. 405-420.

Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas and Dam, Mads and Arts, Thomas and Chugunov, Gennady (2003) A tool for verifying software written in Erlang. International Journal on Software Tools for Technology Transfer (STTT), 4 (4). pp. 405-420. ISSN 1433-2779 (Print) 1433-2787 (Online)

Dam, Mads and Gurov, Dilian (2002) Mu-Calculus with explicit points and approximations. Journal of Logic and Computation, 12 (2). pp. 255-269.

Gurov, Dilian and Kapron, Bruce (1999) A note on negative tagging for least fixed-point formulae. RAIRO-Theoretical Informatics and Applications, 33 (4/5). pp. 383-392.

Book Section

Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) Toward parametric verification of open distributed systems. In: Compositionality: The Significant Difference. Lecture Notes In Computer Science, 1536 . Springer-Verlag, pp. 150-185.

Conference or Workshop Item

Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (2003) Formal methods research at SICS and KTH: an overview. In: the eight International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), 5-7 June 2003, Trondheim, Norway.

Raudvere, Tarvo and Sander, Ingo and Gurov, Dilian (2002) The ForSyDe semantics. In: Swedish System-on-Chip Conference, March 2002, Falkenberg, Sweden.

Chugunov, Gennady and Fredlund, Lars-Åke and Gurov, Dilian (2002) Model checking of multi-applet JavaCard applications. In: IFIP/USENIX conference CARDIS'02, the 5th Smart Card Research and Advanced Application Conference, 20-22 Nov 2002, San José, California, USA.

Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas (2002) Semi-automated verification of Erlang code. In: 16th conference on Automated Software Engineering (ASE 2001), 26 - 29 Nov 2001, San Diego, California, USA.

Barthe, Gilles and Gurov, Dilian and Huisman, Marieke (2001) Compositional specification and verification of control flow based security properties of multi-application programs. In: Proceedings of the Workshop on Formal Techniques for Java Programs (FTfJP), 18 June 2001, Budapest, Hungary.

Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas (2001) The Erlang verification tool. In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, 2 - 6 Apr 2001, Genova, Italy.

Dam, Mads and Gurov, Dilian (2000) mu-Calculus with explicit points and approximations. In: Proceedings of FICS'2000 (Fixed points in Computer Science), 23 July 2000, Paris, France.

Gurov, Dilian and Chugunov, Gennady (2000) Verification of Erlang programs: factoring out the side-effect-free fragment. In: Proceedings of Formal Methods in Industrial Critical Systems 2000, April 2000, Berlin, Germany.

Dam, Mads and Gurov, Dilian (1999) Compositional verification of CCS processes. In: Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics, 6-9 July 1999, Novosibirsk, Akademgorodok, Russia.

Fredlund, Lars-Åke and Gurov, Dilian (1999) A framework for formal reasoning about open distributed systems. In: Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, 10-12 Dec 1999, Phuket, Thailand.

Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) Compositional verification of Erlang programs. In: Third Internal Workshop on Formal Methods for Industrial Critical Systems (FMICS'98), 25-26 May 1998, Amsterdam, The Netherlands.

Arts, Thomas and Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) System description: verification of distributed Erlang programs. In: Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction, 1998.

SICS Report

Gurov, Dilian and Kapron, Bruce (1998) A Note on Negative Tagging for Least Fixed-Point Formulae. [SICS Report]

Thesis

Gurov, Dilian (1998) Specification and verification of communicating systems with value passing. Doctoral thesis, University of Victoria.

This list was generated on Mon Dec 17 22:28:00 2018 CET.