Gurov, Dilian - School of Computer Science and Communication, Royal Institute of Technology (KTH)

• Checking Absence of Illicit Applet Interactions: A Case Study #
• The Origins of the Bulgars Dilian Gurov
• Verification of Erlang Programs: Factoring out the Sideeffectfree Fragment \Lambda
• Interface Abstraction for Compositional Verification Dilian Gurov
• Compositional specication and verication of control AEow based security properties of
• Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
• 2, a b
• Reducing Behavioural to Structural Properties of Programs with Procedures
• Verification of Peer-to-peer Algorithms: A Case Study
• Theoretical Informatics and Applications Theoret. Informatics Appl. 33 (1999) 383392
• Procedure-Modular Verification of Control Flow Safety Properties
• Compositional Verification of Secure Applet Interactions
• A Framework for Formal Reasoning about Open Distributed Systems
• AVIS'05 Preliminary Version Verification of Open Systems Based on Explicit
• Electronic Notes in Theoretical Computer Science 6 (1997) URL: http://www.elsevier.nl/locate/entcs/volume6.html ?? pages
• Composing Modal Properties of Programs with Procedures
• Verifying a Structured Peer-to-peer Overlay Network
• Temporal Logic and Toolset for Applet Veri cation
• The Erlang Verification Tool Thomas Noll 1 , Lars--ake Fredlund 2 , and Dilian Gurov 2
• The Evaluation of Full Sensitivity for Test Generation in MVL Circuits
• Composing Modal Properties of Programs with Procedures
• CVPP: A Tool Set for Compositional Verification of ControlFlow Safety Properties
• de r eche r che INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
• Program Models for Compositional Verification Marieke Huisman1
• to ``s : OE ` s k rh : OE'' (denote this proof obligation by (\Lambda)), namely to proving that any process s satisfying OE, when put in parallel with process rh, also satisfies
• Compositional Verification of CCS Processes Mads Dam 1 and Dilian Gurov 2
• Electronic Notes in Theoretical Computer Science 80 (2003) URL: http://www.elsevier.nl/locate/entcs/volume80.html 6 pages
• Full Sensitivity and Test Generation for MultipleValued Logic Circuits
• Provably Correct Runtime Monitoring (Extended Abstract)
• Specification and Verification of Communicating Systems with Value Passing Dilian Borissov Gurov
• Model Checking of Multi-Applet JavaCard Applications Gennady Chugunov 1 Lars- Ake Fredlund 1 Dilian Gurov 2
• Compositional Verification for Secure Loading of Smart Card Applets # Christoph Sprenger +
• A Compositional Proof System for the Modal calculus and CCS. 1 Sergey Berezin Dilian Gurov
• SemiAutomated Verification of Erlang Code Ake Fredlund Dilian Gurov
• State Space Representation for Verification of Open Systems
• Compositional Algorithmic Verification of Software Product Lines
• ProMoVer: Modular Verification of Temporal Safety Properties
• A Hierarchical Variability Model for Software Product Lines