Full Sensitivity and Test Generation for Multiple-Valued Logic Circuits. - Elena Dubrova; Dilian Gurov; Jon C. Muzio (ISMVL, 1994)

The Evaluation of Full Sensitivity for Test Generation in MVL Circuits. - Elena Dubrova; Dilian Gurov; Jon C. Muzio (ISMVL, 1995)

A modal mu-calculus and a proof system for value passing processes. - Dilian Gurov; Sergey Berezin; Bruce M. Kapron (INFINITY, 1996)

Toward Parametric Verification of Open Distributed Systems. - Mads Dam; Lars-Åke Fredlund; Dilian Gurov (COMPOS, 1997)

System Description: Verification of Distributed Erlang Programs. - Thomas Arts; Mads Dam; Lars-Åke Fredlund; Dilian Gurov (CADE, 1998)

Specification and verification of communicating systems with value passing. - Dilian Gurov (1998)

A Framework for Formal Reasoning about Open Distributed Systems. - Lars-Åke Fredlund; Dilian Gurov (ASIAN, 1999)

Compositional Verification of CCS Processes. - Mads Dam; Dilian Gurov (Ershov Memorial Conference, 1999)

A note on negative tagging for least fixed-point formulae. - Dilian Gurov; Bruce M. Kapron (RAIRO Theor. Informatics Appl., 1999)

Semi-Automated Verification of Erlang Code. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001 (ASE, 2001)

The Erlang Verification Tool. - Thomas Noll 001; Lars-Åke Fredlund; Dilian Gurov (TACAS, 2001)

Model Checking of Multi-Applet JavaCard Applications. - Gennady Chugunov; Lars-Åke Fredlund; Dilian Gurov (CARDIS, 2002)

Compositional Verification of Secure Applet Interactions. - Gilles Barthe; Dilian Gurov; Marieke Huisman (FASE, 2002)

µ-Calculus with Explicit Points and Approximations. - Mads Dam; Dilian Gurov (J. Log. Comput., 2002)

Formal Methods Research at SICS and KTH: An Overview. - Mads Dam; Lars-Åke Fredlund; Dilian Gurov (FMICS, 2003)

A verification tool for ERLANG. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001; Mads Dam; Thomas Arts; Gennady Chugunov (Int. J. Softw. Tools Technol. Transf., 2003)

Checking Absence of Illicit Applet Interactions: A Case Study. - Marieke Huisman; Dilian Gurov; Christoph Sprenger 001; Gennady Chugunov (FASE, 2004)

Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. - Johannes Borgström; Uwe Nestmann; Luc Onana Alima; Dilian Gurov (Global Computing, 2004)

Compositional verification for secure loading of smart card applets. - Christoph Sprenger 001; Dilian Gurov; Marieke Huisman (MEMOCODE, 2004)

Interface Abstraction for Compositional Verificatio. - Dilian Gurov; Marieke Huisman (SEFM, 2005)

State Space Representation for Verification of Open Systems. - Irem Aktug; Dilian Gurov (AMAST, 2006)

Verification of Peer-to-peer Algorithms: A Case Study. - Rena Bakhshi; Dilian Gurov (CoOrg/MTCoord@COORDINATION, 2006)

Composing Modal Properties of Programs with Procedures. - Marieke Huisman; Dilian Gurov (FESCA@ETAPS, 2007)

Program Models for Compositional Verification. - Marieke Huisman; Irem Aktug; Dilian Gurov (ICFEM, 2008)

Compositional verification of sequential programs with procedures. - Dilian Gurov; Marieke Huisman; Christoph Sprenger 001 (Inf. Comput., 2008)

Provably correct runtime monitoring. - Irem Aktug; Mads Dam; Dilian Gurov (J. Log. Algebraic Methods Program., 2009)

Procedure-modular verification of control flow safety properties. - Siavash Soleimanifard; Dilian Gurov; Marieke Huisman (FTfJP@ECOOP, 2010)

Compositional Algorithmic Verification of Software Product Lines. - Ina Schaefer; Dilian Gurov; Siavash Soleimanifard (FMCO, 2010)

CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. - Marieke Huisman; Dilian Gurov (FoVeOOS, 2010)

A Hierarchical Variability Model for Software Product Lines. - Dilian Gurov; Bjarte M. Østvold; Ina Schaefer (ISoLA Workshops, 2011)

ProMoVer: Modular Verification of Temporal Safety Properties. - Siavash Soleimanifard; Dilian Gurov; Marieke Huisman (SEFM, 2011)

Sound Control-Flow Graph Extraction for Java Programs with Exceptions. - Afshin Amighi; Pedro de Carvalho Gomes; Dilian Gurov; Marieke Huisman (SEFM, 2012)

Reducing behavioural to structural properties of programs with procedures. - Dilian Gurov; Marieke Huisman (Theor. Comput. Sci., 2013)

Privacy Preserving Business Process Fusion. - Roberto Guanciale; Dilian Gurov (Business Process Management Workshops, 2014)

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. - Pedro de Carvalho Gomes; Attilio Picoco; Dilian Gurov (FASE, 2014)

Private intersection of regular languages. - Roberto Guanciale; Dilian Gurov; Peeter Laud (PST, 2014)

Privacy preserving business process matching. - Dilian Gurov; Peeter Laud; Roberto Guanciale (PST, 2015)

Self-Correlation and Maximum Independence in Finite Relations. - Dilian Gurov; Minko Markov (FICS, 2015)

Procedure-modular specification and verification of temporal safety properties. - Siavash Soleimanifard; Dilian Gurov; Marieke Huisman (Softw. Syst. Model., 2015)

Specification and Verification of Synchronization with Condition Variables. - Pedro de Carvalho Gomes; Dilian Gurov; Marieke Huisman (FTSCS, 2016)

Static and Runtime Verification, Competitors or Friends? (Track Summary). - Dilian Gurov; Klaus Havelund; Marieke Huisman; Rosemary Monahan (ISoLA (1), 2016)

Algorithmic verification of procedural programs in the presence of code variability. - Siavash Soleimanifard; Dilian Gurov (Sci. Comput. Program., 2016)

Provably correct control flow graphs from Java bytecode programs with exceptions. - Afshin Amighi; Pedro de Carvalho Gomes; Dilian Gurov; Marieke Huisman (Int. J. Softw. Tools Technol. Transf., 2016)

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. - Dilian Gurov; Christian Lidström; Mattias Nyberg; Jonas Westman (FMICS-AVoCS, 2017)

An Abstraction Technique for Describing Concurrent Program Behaviour. - Wytse Oortwijn; Stefan Blom; Dilian Gurov; Marieke Huisman; Marina Zaharieva-Stojanovski (VSTTE, 2017)

Formal architecture modeling of sequential non-recursive C programs. - Jonas Westman; Mattias Nyberg; Joakim Gustavsson; Dilian Gurov (Sci. Comput. Program., 2017)

A Hoare Logic Contract Theory: An Exercise in Denotational Semantics. - Dilian Gurov; Jonas Westman (Principled Software Development, 2018)

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). - Michael Felderer; Dilian Gurov; Marieke Huisman; Björn Lisper; Rupert Schlick (ISoLA (4), 2018)

Formal Verification in Automotive Industry: Enablers and Obstacles. - Mattias Nyberg; Dilian Gurov; Christian Lidström; Andreas Rasmusson; Jonas Westman (ISoLA (4), 2018)

Specification and verification of synchronization with condition variables. - Pedro de Carvalho Gomes; Dilian Gurov; Marieke Huisman; Cyrille Artho (Sci. Comput. Program., 2018)

Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. - Dilian Gurov; Reiner Hähnle; Eduard Kamburjan (ISoLA (1), 2020)

Automated Verification of Embedded Control Software - Track Introduction. - Dilian Gurov; Paula Herber; Ina Schaefer (ISoLA (3), 2020)

Formally Proving Compositionality in Industrial Systems with Informal Specifications. - Mattias Nyberg; Jonas Westman; Dilian Gurov (ISoLA (3), 2020)

Practical Abstractions for Automated Verification of Shared-Memory Concurrency. - Wytse Oortwijn; Dilian Gurov; Marieke Huisman (VMCAI, 2020)

Formal Methods: From Academia to Industrial Practice. A Travel Guide. - Marieke Huisman; Dilian Gurov; Alexander Malkis (CoRR, 2020)

Constraint-Based Contract Inference for Deductive Verification. - Anoud Alshnakat; Dilian Gurov; Christian Lidström; Philipp Rümmer (20 Years of KeY, 2020)

Category Theory Framework for Variability Models with Non-functional Requirements. - Daniel-Jesus Munoz; Dilian Gurov; Mónica Pinto; Lidia Fuentes (CAiSE, 2021)

Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. - Mojtaba Eshghie; Cyrille Artho; Dilian Gurov (EASE, 2021)

An Abstract Contract Theory for Programs with Procedures. - Christian Lidström; Dilian Gurov (FASE, 2021)

Bounded Invariant Checking for Stateflow Programs. - Predrag Filipovikj; Dilian Gurov; Mattias Nyberg (CoRR, 2021)

Alice in Wineland: A Fairy Tale with Contracts. - Dilian Gurov; Christian Lidström; Philipp Rümmer (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

TriCo - Triple Co-piloting of Implementation, Specification and Tests. - Wolfgang Ahrendt; Dilian Gurov; Moa Johansson; Philipp Rümmer (ISoLA (1), 2022)

Deductive Verification Based Abstraction for Software Model Checking. - Jesper Amilon; Christian Lidström; Dilian Gurov (ISoLA (1), 2022)

Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes. - Daniel-Jesus Munoz; Mónica Pinto; Dilian Gurov; Lidia Fuentes (SPLC (B), 2022)

Knowledge-based strategies for multi-agent teams playing against Nature. - Dilian Gurov; Valentin Goranko; Edvin Lundberg (Artif. Intell., 2022)

Bounded Invariant Checking for Stateflow. - Predrag Filipovikj; Gustav Ung; Dilian Gurov; Mattias Nyberg (FMAS/ASYDE@SEFM, 2022)

Towards Trace-based Deductive Verification (Tech Report). - Richard Bubel; Dilian Gurov; Reiner Hähnle; Marco Scaletta (CoRR, 2022)

Principles of Contract Languages (Dagstuhl Seminar 22451). - Dilian Gurov; Reiner Hähnle; Marieke Huisman; Giles Reger; Christian Lidström (Dagstuhl Reports, 2022)

Automatic Program Instrumentation for Automatic Verification. - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer (CAV (3), 2023)

Trace-based Deductive Verification. - Richard Bubel; Dilian Gurov; Reiner Hähnle; Marco Scaletta (LPAR, 2023)

Contract Based Embedded Software Design. - Christian Lidström; Dilian Gurov (TASE, 2023)

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer (CoRR, 2023)

Soundness and Completeness of a Model-Checking Proof System for CTL. - Georg Friedrich Schuppe; Dilian Gurov (CoRR, 2023)

Deductively Verified Program Models for Software Model Checking. - Jesper Amilon; Dilian Gurov (ISoLA (3), 2024)

Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. - Gustav Ung; Jesper Amilon; Dilian Gurov; Christian Lidström; Mattias Nyberg; Karl Palmskog (RE, 2024)

A Hoare Logic for Domain Specification (Full Version). - Eduard Kamburjan; Dilian Gurov (CoRR, 2024)

A Program Instrumentation Framework for Automatic Verification. - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer; Marten Voorberg (CoRR, 2024)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies. - Dilian Gurov; Filip Jamroga; Wojciech Jamroga; Mateusz Kaminski; Damian Kurpiewski; Wojciech Penczek; Teofil Sidoruk (CoRR, 2024)

An Expressive Trace Logic for Recursive Programs. - Dilian Gurov; Reiner Hähnle (FSCD, 2025)

Machine-Checked Compositional Specification and Proofs for Embedded Systems. - Karl Palmskog; Mattias Nyberg; Dilian Gurov (TASE, 2025)

Unattainability of Common Knowledge in Asymmetric Games with Imperfect Information. - Fabian Farestam; Dilian Gurov (CoRR, 2025)

AutoDeduct: A Tool for Automated Deductive Verification of C Code. - Jesper Amilon; Dilian Gurov; Christian Lidström; Mattias Nyberg; Gustav Ung; Ola Wingbrant (CoRR, 2025)

Contract Based Program Models for Software Model Checking. - Jesper Amilon; Dilian Gurov (CoRR, 2025)