Dilian Gurov - RankMe

93 papers A* 1A 5B 12C 7Misc 2Journal 29Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A program instrumentation framework for automatic verification. Formal Methods Syst. Des. Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer, Marten Voorberg
2025	B	`conf`	An Expressive Trace Logic for Recursive Programs. FSCD Dilian Gurov, Reiner Hähnle
2025	J	`jnl`	AutoDeduct: A Tool for Automated Deductive Verification of C Code. CoRR Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Gustav Ung, Ola Wingbrant
2025	J	`jnl`	Contract Based Program Models for Software Model Checking. CoRR Jesper Amilon, Dilian Gurov
2025	Misc	`conf`	Machine-Checked Compositional Specification and Proofs for Embedded Systems. TASE Karl Palmskog, Mattias Nyberg, Dilian Gurov
2025	C	`conf`	Multi-perspective Correctness of Programs. ICTAC Eduard Kamburjan, Dilian Gurov
2025	J	`jnl`	Unattainability of Common Knowledge in Asymmetric Games with Imperfect Information. CoRR Fabian Farestam, Dilian Gurov
2024	J	`jnl`	A Hoare Logic for Domain Specification (Full Version). CoRR Eduard Kamburjan, Dilian Gurov
2024	J	`jnl`	A Program Instrumentation Framework for Automatic Verification. CoRR Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer, Marten Voorberg
2024	J	`jnl`	An Expressive Trace Logic for Recursive Programs. CoRR Dilian Gurov, Reiner Hähnle
2024	J	`jnl`	Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies. CoRR Dilian Gurov, Filip Jamroga, Wojciech Jamroga, Mateusz Kaminski, Damian Kurpiewski, Wojciech Penczek, Teofil Sidoruk
2024	—	`conf`	Deductively Verified Program Models for Software Model Checking. ISoLA (3) Jesper Amilon, Dilian Gurov
2024	A	`conf`	Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. RE Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Karl Palmskog
2023	J	`jnl`	Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). CoRR Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
2023	—	`conf`	Automatic Program Instrumentation for Automatic Verification. CAV (3) Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
2023	Misc	`conf`	Contract Based Embedded Software Design. TASE Christian Lidström, Dilian Gurov
2023	J	`jnl`	Soundness and Completeness of a Model-Checking Proof System for CTL. CoRR Georg Friedrich Schuppe, Dilian Gurov
2023	B	`conf`	Trace-based Deductive Verification. LPAR Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
2022	—	`conf`	Alice in Wineland: A Fairy Tale with Contracts. The Logic of Software. A Tasting Menu of Formal Methods Dilian Gurov, Christian Lidström, Philipp Rümmer
2022	—	`conf`	Bounded Invariant Checking for Stateflow. FMAS/ASYDE@SEFM Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg
2022	—	`conf`	Deductive Verification Based Abstraction for Software Model Checking. ISoLA (1) Jesper Amilon, Christian Lidström, Dilian Gurov
2022	—	`conf`	Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes. SPLC (B) Daniel-Jesus Munoz, Mónica Pinto, Dilian Gurov, Lidia Fuentes
2022	J	`jnl`	Knowledge-based strategies for multi-agent teams playing against Nature. Artif. Intell. Dilian Gurov, Valentin Goranko, Edvin Lundberg
2022	J	`jnl`	Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
2022	J	`jnl`	Towards Trace-based Deductive Verification (Tech Report). CoRR Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
2022	—	`conf`	TriCo - Triple Co-piloting of Implementation, Specification and Tests. ISoLA (1) Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer
2021	B	`conf`	An Abstract Contract Theory for Programs with Procedures. FASE Christian Lidström, Dilian Gurov
2021	J	`jnl`	An Abstract Contract Theory for Programs with Procedures. CoRR Christian Lidström, Dilian Gurov
2021	J	`jnl`	Bounded Invariant Checking for Stateflow Programs. CoRR Predrag Filipovikj, Dilian Gurov, Mattias Nyberg
2021	A	`conf`	Category Theory Framework for Variability Models with Non-functional Requirements. CAiSE Daniel-Jesus Munoz, Dilian Gurov, Monica Pinto, Lidia Fuentes
2021	A	`conf`	Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. EASE Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
2021	J	`jnl`	Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. CoRR Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
2020	—	`conf`	Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) Dilian Gurov, Paula Herber, Ina Schaefer
2020	—	`ch.`	Constraint-Based Contract Inference for Deductive Verification. 20 Years of KeY Anoud Alshnakat, Dilian Gurov, Christian Lidström, Philipp Rümmer
2020	J	`jnl`	Formal Methods: From Academia to Industrial Practice. A Travel Guide. CoRR Marieke Huisman, Dilian Gurov, Alexander Malkis
2020	—	`conf`	Formally Proving Compositionality in Industrial Systems with Informal Specifications. ISoLA (3) Mattias Nyberg, Jonas Westman, Dilian Gurov
2020	J	`jnl`	Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature. CoRR Dilian Gurov, Valentin Goranko, Edvin Lundberg
2020	B	`conf`	Practical Abstractions for Automated Verification of Shared-Memory Concurrency. VMCAI Wytse Oortwijn, Dilian Gurov, Marieke Huisman
2020	—	`conf`	Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. ISoLA (1) Dilian Gurov, Reiner Hähnle, Eduard Kamburjan
2018	—	`conf`	A Hoare Logic Contract Theory: An Exercise in Denotational Semantics. Principled Software Development Dilian Gurov, Jonas Westman
2018	—	`conf`	Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). ISoLA (4) Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick
2018	—	`conf`	Formal Verification in Automotive Industry: Enablers and Obstacles. ISoLA (4) Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman
2018	J	`jnl`	Specification and verification of synchronization with condition variables. Sci. Comput. Program. Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho
2017	—	`conf`	An Abstraction Technique for Describing Concurrent Program Behaviour. VSTTE Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski
2017	—	`conf`	Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. FMICS-AVoCS Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman
2017	J	`jnl`	Formal architecture modeling of sequential non-recursive C programs. Sci. Comput. Program. Jonas Westman, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov
2016	J	`jnl`	Algorithmic verification of procedural programs in the presence of code variability. Sci. Comput. Program. Siavash Soleimanifard, Dilian Gurov
2016	J	`jnl`	Provably correct control flow graphs from Java bytecode programs with exceptions. Int. J. Softw. Tools Technol. Transf. Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
2016	—	`conf`	Specification and Verification of Synchronization with Condition Variables. FTSCS Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
2016	—	`conf`	Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan
2015	C	`conf`	Privacy preserving business process matching. PST Dilian Gurov, Peeter Laud, Roberto Guanciale
2015	J	`jnl`	Procedure-modular specification and verification of temporal safety properties. Softw. Syst. Model. Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
2015	—	`conf`	Self-Correlation and Maximum Independence in Finite Relations. FICS Dilian Gurov, Minko Markov
2014	—	`conf`	Algorithmic Verification of Procedural Programs in the Presence of Code Variability. FACS Siavash Soleimanifard, Dilian Gurov
2014	—	`conf`	Privacy Preserving Business Process Fusion. Business Process Management Workshops Roberto Guanciale, Dilian Gurov
2014	C	`conf`	Private intersection of regular languages. PST Roberto Guanciale, Dilian Gurov, Peeter Laud
2014	B	`conf`	Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. FASE Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov
2013	J	`jnl`	Reducing behavioural to structural properties of programs with procedures. Theor. Comput. Sci. Dilian Gurov, Marieke Huisman
2012	—	`ed.`	Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers FoVeOOS Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
2012	B	`conf`	Sound Control-Flow Graph Extraction for Java Programs with Exceptions. SEFM Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
2011	—	`conf`	A Hierarchical Variability Model for Software Product Lines. ISoLA Workshops Dilian Gurov, Bjarte M. Østvold, Ina Schaefer
2011	B	`conf`	ProMoVer: Modular Verification of Temporal Safety Properties. SEFM Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
2010	—	`conf`	CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. FoVeOOS Marieke Huisman, Dilian Gurov
2010	—	`conf`	Compositional Algorithmic Verification of Software Product Lines. FMCO Ina Schaefer, Dilian Gurov, Siavash Soleimanifard
2010	—	`conf`	Procedure-modular verification of control flow safety properties. FTfJP@ECOOP Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
2009	J	`jnl`	Provably correct runtime monitoring. J. Log. Algebraic Methods Program. Irem Aktug, Mads Dam, Dilian Gurov
2009	B	`conf`	Reducing Behavioural to Structural Properties of Programs with Procedures. VMCAI Dilian Gurov, Marieke Huisman
2008	J	`jnl`	Compositional verification of sequential programs with procedures. Inf. Comput. Dilian Gurov, Marieke Huisman, Christoph Sprenger
2008	C	`conf`	Program Models for Compositional Verification. ICFEM Marieke Huisman, Irem Aktug, Dilian Gurov
2008	B	`conf`	Provably Correct Runtime Monitoring. FM Irem Aktug, Mads Dam, Dilian Gurov
2007	—	`conf`	Composing Modal Properties of Programs with Procedures. FESCA@ETAPS Marieke Huisman, Dilian Gurov
2006	—	`conf`	State Space Representation for Verification of Open Systems. AMAST Irem Aktug, Dilian Gurov
2006	—	`conf`	Verification of Peer-to-peer Algorithms: A Case Study. CoOrg/MTCoord@COORDINATION Rena Bakhshi, Dilian Gurov
2005	B	`conf`	Interface Abstraction for Compositional Verificatio. SEFM Dilian Gurov, Marieke Huisman
2004	B	`conf`	Checking Absence of Illicit Applet Interactions: A Case Study. FASE Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
2004	C	`conf`	Compositional verification for secure loading of smart card applets. MEMOCODE Christoph Sprenger, Dilian Gurov, Marieke Huisman
2004	—	`conf`	Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
2003	J	`jnl`	A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
2003	C	`conf`	Formal Methods Research at SICS and KTH: An Overview. FMICS Mads Dam, Lars-Åke Fredlund, Dilian Gurov
2002	B	`conf`	Compositional Verification of Secure Applet Interactions. FASE Gilles Barthe, Dilian Gurov, Marieke Huisman
2002	C	`conf`	Model Checking of Multi-Applet JavaCard Applications. CARDIS Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov
2002	J	`jnl`	µ-Calculus with Explicit Points and Approximations. J. Log. Comput. Mads Dam, Dilian Gurov
2001	A*	`conf`	Semi-Automated Verification of Erlang Code. ASE Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
2001	A	`conf`	The Erlang Verification Tool. TACAS Thomas Noll, Lars-Åke Fredlund, Dilian Gurov
1999	—	`conf`	A Framework for Formal Reasoning about Open Distributed Systems. ASIAN Lars-Åke Fredlund, Dilian Gurov
1999	J	`jnl`	A note on negative tagging for least fixed-point formulae. RAIRO Theor. Informatics Appl. Dilian Gurov, Bruce M. Kapron
1999	—	`conf`	Compositional Verification of CCS Processes. Ershov Memorial Conference Mads Dam, Dilian Gurov
1998	—	`—`	Specification and verification of communicating systems with value passing. Dilian Gurov
1998	A	`conf`	System Description: Verification of Distributed Erlang Programs. CADE Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
1997	—	`conf`	Toward Parametric Verification of Open Distributed Systems. COMPOS Mads Dam, Lars-Åke Fredlund, Dilian Gurov
1996	—	`conf`	A modal mu-calculus and a proof system for value passing processes. INFINITY Dilian Gurov, Sergey Berezin, Bruce M. Kapron
1995	—	`conf`	The Evaluation of Full Sensitivity for Test Generation in MVL Circuits. ISMVL Elena Dubrova, Dilian Gurov, Jon C. Muzio
1994	—	`conf`	Full Sensitivity and Test Generation for Multiple-Valued Logic Circuits. ISMVL Elena Dubrova, Dilian Gurov, Jon C. Muzio