| 2025 | FSCD | An Expressive Trace Logic for Recursive Programs. | Dilian Gurov, Reiner Hhnle |
| 2025 | ICTAC | Multi-perspective Correctness of Programs. | Eduard Kamburjan, Dilian Gurov |
| 2025 | TASE | Machine-Checked Compositional Specification and Proofs for Embedded Systems. | Karl Palmskog, Mattias Nyberg, Dilian Gurov |
| 2024 | ISoLA | Deductively Verified Program Models for Software Model Checking. | Jesper Amilon, Dilian Gurov |
| 2024 | RE | Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. | Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Karl Palmskog |
| 2023 | CAV | Automatic Program Instrumentation for Automatic Verification. | Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidstrm, Philipp Rmmer |
| 2023 | LPAR | Trace-based Deductive Verification. | Richard Bubel, Dilian Gurov, Reiner Hhnle, Marco Scaletta |
| 2023 | TASE | Contract Based Embedded Software Design. | Christian Lidstrm, Dilian Gurov |
| 2022 | ISoLA | TriCo - Triple Co-piloting of Implementation, Specification and Tests. | Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rmmer |
| 2022 | ISoLA | Deductive Verification Based Abstraction for Software Model Checking. | Jesper Amilon, Christian Lidstrm, Dilian Gurov |
| 2022 | SPLC | Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes. | Daniel-Jesus Munoz, Mnica Pinto, Dilian Gurov, Lidia Fuentes |
| 2021 | CaiSE | Category Theory Framework for Variability Models with Non-functional Requirements. | Daniel-Jesus Munoz, Dilian Gurov, Monica Pinto, Lidia Fuentes |
| 2021 | EASE | Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. | Mojtaba Eshghie, Cyrille Artho, Dilian Gurov |
| 2021 | FASE | An Abstract Contract Theory for Programs with Procedures. | Christian Lidstrm, Dilian Gurov |
| 2020 | ISoLA | Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. | Dilian Gurov, Reiner Hhnle, Eduard Kamburjan |
| 2020 | ISoLA | Automated Verification of Embedded Control Software - Track Introduction. | Dilian Gurov, Paula Herber, Ina Schaefer |
| 2020 | ISoLA | Formally Proving Compositionality in Industrial Systems with Informal Specifications. | Mattias Nyberg, Jonas Westman, Dilian Gurov |
| 2020 | VMCAI | Practical Abstractions for Automated Verification of Shared-Memory Concurrency. | Wytse Oortwijn, Dilian Gurov, Marieke Huisman |
| 2018 | ISoLA | Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). | Michael Felderer, Dilian Gurov, Marieke Huisman, Bjrn Lisper, Rupert Schlick |
| 2018 | ISoLA | Formal Verification in Automotive Industry: Enablers and Obstacles. | Mattias Nyberg, Dilian Gurov, Christian Lidstrm, Andreas Rasmusson, Jonas Westman |
| 2017 | FMICS | Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. | Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Jonas Westman |
| 2016 | ISoLA | Static and Runtime Verification, Competitors or Friends? (Track Summary). | Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan |
| 2015 | PST | Privacy preserving business process matching. | Dilian Gurov, Peeter Laud, Roberto Guanciale |
| 2014 | BPM | Privacy Preserving Business Process Fusion. | Roberto Guanciale, Dilian Gurov |
| 2014 | FASE | Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. | Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov |
| 2014 | PST | Private intersection of regular languages. | Roberto Guanciale, Dilian Gurov, Peeter Laud |
| 2012 | SEFM | Sound Control-Flow Graph Extraction for Java Programs with Exceptions. | Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman |
| 2011 | ISoLA | A Hierarchical Variability Model for Software Product Lines. | Dilian Gurov, Bjarte M. stvold, Ina Schaefer |
| 2011 | SEFM | ProMoVer: Modular Verification of Temporal Safety Properties. | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2010 | ECOOP | Procedure-modular verification of control flow safety properties. | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2009 | VMCAI | Reducing Behavioural to Structural Properties of Programs with Procedures. | Dilian Gurov, Marieke Huisman |
| 2008 | FM | Provably Correct Runtime Monitoring. | Irem Aktug, Mads Dam, Dilian Gurov |
| 2008 | ICFEM | Program Models for Compositional Verification. | Marieke Huisman, Irem Aktug, Dilian Gurov |
| 2005 | SEFM | Interface Abstraction for Compositional Verification. | Dilian Gurov, Marieke Huisman |
| 2004 | FASE | Checking Absence of Illicit Applet Interactions: A Case Study. | Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov |
| 2004 | MEMOCODE | Compositional verification for secure loading of smart card applets. | Christoph Sprenger, Dilian Gurov, Marieke Huisman |
| 2002 | CARDIS | Model Checking of Multi-Applet JavaCard Applications. | Gennady Chugunov, Lars-ke Fredlund, Dilian Gurov |
| 2002 | FASE | Compositional Verification of Secure Applet Interactions. | Gilles Barthe, Dilian Gurov, Marieke Huisman |
| 2001 | TACAS | The Erlang Verification Tool. | Thomas Noll, Lars-ke Fredlund, Dilian Gurov |
| 1998 | CADE | System Description: Verification of Distributed Erlang Programs. | Thomas Arts, Mads Dam, Lars-ke Fredlund, Dilian Gurov |