Dilian Gurov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automatic program instrumentation for automatic verification	2024-02-01	Paper
Knowledge-based strategies for multi-agent teams playing against nature Artificial Intelligence	2022-07-08	Paper
scientific article; zbMATH DE number 7437710 (Why is no real title available?)	2021-12-02	Paper
scientific article; zbMATH DE number 7437710 (Why is no real title available?) (available as arXiv preprint)	2021-12-02	Paper
An abstract contract theory for programs with procedures (available as arXiv preprint)	2021-08-04	Paper
Practical abstractions for automated verification of shared-memory concurrency	2020-08-05	Paper
An abstraction technique for describing concurrent program behaviour	2018-12-07	Paper
Model mining and efficient verification of software product lines	2018-05-15	Paper
Reducing behavioural to structural properties of programs with procedures Theoretical Computer Science	2013-11-29	Paper
ProMoVer: modular verification of temporal safety properties Software Engineering and Formal Methods	2011-10-28	Paper
CVPP: a tool set for compositional verification of control-flow safety properties Formal Verification of Object-Oriented Software	2011-01-21	Paper
Provably correct runtime monitoring The Journal of Logic and Algebraic Programming	2009-07-20	Paper
State Space Representation for Verification of Open Systems Algebraic Methodology and Software Technology	2009-04-28	Paper
Reducing Behavioural to Structural Properties of Programs with Procedures Lecture Notes in Computer Science	2009-02-10	Paper
Compositional verification of sequential programs with procedures Information and Computation	2008-08-14	Paper
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science	2007-11-28	Paper
Global Computing Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2087509 (Why is no real title available?)	2004-08-11	Paper
-Calculus with Explicit Points and Approximations Journal Of Logic And Computation	2002-08-01	Paper
scientific article; zbMATH DE number 1701781 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1522998 (Why is no real title available?)	2000-10-30	Paper
A Note on Negative Tagging for Least Fixed-Point Formulae RAIRO - Theoretical Informatics and Applications	2000-03-16	Paper
A Note on Negative Tagging for Least Fixed-Point Formulae RAIRO - Theoretical Informatics and Applications	2000-03-16	Paper
scientific article; zbMATH DE number 1231562 (Why is no real title available?)	1998-12-20	Paper

Research outcomes over time

This page was built for person: Dilian Gurov