Dilian Gurov

Available identifiers

zbMath Open gurov.dilianMaRDI QIDQ385022

List of research outcomes

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	2022-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5014443	2021-12-02	Paper
An abstract contract theory for programs with procedures	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
https://portal.mardi4nfdi.de/entity/Q4639981	2018-05-15	Paper
Reducing behavioural to structural properties of programs with procedures	2013-11-29	Paper
ProMoVer: Modular Verification of Temporal Safety Properties	2011-10-28	Paper
CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties	2011-01-21	Paper
Provably correct runtime monitoring	2009-07-20	Paper
State Space Representation for Verification of Open Systems	2009-04-28	Paper
Reducing Behavioural to Structural Properties of Programs with Procedures	2009-02-10	Paper
Compositional verification of sequential programs with procedures	2008-08-14	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
Global Computing	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4738309	2004-08-11	Paper
-Calculus with Explicit Points and Approximations	2002-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q2769620	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4511273	2000-10-30	Paper
A Note on Negative Tagging for Least Fixed-Point Formulae	2000-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4222879	1998-12-20	Paper

Research outcomes over time

This page was built for person: Dilian Gurov