Dilian Gurov's Publications

Latest update: 8 September 2017
Software modelling and verification
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 Logics of programs Compositional verification of behavioural properties of open distributed systems (Erlang, CCS) Other Non-professional Activities