Dilian Gurov's Publications

Latest update: 6 Sptember 2024
Multi-agent strategic planning Contracts for software development

Software verification

Logics of programs Software product line modelling and verification
Compositional verification of control flow-based safety properties
Security and privacy
State space representations for verification of open systems Verification of peer-to-peer algorithms Compositional verification of behavioural properties of open distributed systems (Erlang, CCS) Other Non-professional Activities