Follow
Dimitar P. Guelev
Dimitar P. Guelev
Associate Professor of Logic, Bulgarian Academy of Sciences
Verified email at math.bas.bg - Homepage
Title
Cited by
Cited by
Year
Evaluating access control policies through model checking
N Zhang, M Ryan, DP Guelev
International Conference on Information Security, 446-460, 2005
1542005
Model-checking access control policies
DP Guelev, M Ryan, PY Schobbens
International Conference on Information Security, 219-230, 2004
1032004
Synthesising verified access control systems in XACML
N Zhang, M Ryan, DP Guelev
Proceedings of the 2004 ACM workshop on Formal methods in security …, 2004
872004
Synthesising verified access control systems through model checking
N Zhang, M Ryan, DP Guelev
Journal of Computer Security 16 (1), 1-61, 2008
752008
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
DP Guelev, C Dima, C Enea
Journal of Applied Non-Classical Logics 21 (1), 93-131, 2011
462011
Model-checking an alternating-time temporal logic with knowledge, imperfect information, perfect recall and communicating coalitions
CÄ Dima, C Enea, D Guelev
Arxiv preprint arXiv:1006.1414, 2010
332010
Completeness and decidability of a fragment of duration calculus with iteration
D Van Hung, D Guelev
Advances in Computing Science—ASIAN’99, 783-783, 1999
311999
Prefix and projection onto state in duration calculus
DP Guelev, D Van Hung
Electronic Notes in Theoretical Computer Science 65 (6), 101-119, 2002
252002
On the completeness and decidability of duration calculus with iteration
DP Guelev, D Van Hung
Theoretical Computer Science 337 (1-3), 278-304, 2005
232005
A higher-order duration calculus
Z Chaochen, DP Guelev, Z Naijun
Millenial Perspectives in Computer Science. Proceedings of the 1999 Oxford …, 2000
232000
A calculus of durations on abstract domains: Completeness and extensions
DP Guelev
Technical Report 139, UNU/IIST, PO Box 3058, Macau, 1998
221998
Probabilistic neighbourhood logic
DP Guelev
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
202000
An assume/guarantee based compositional calculus for hybrid CSP
S Wang, N Zhan, D Guelev
Theory and Applications of Models of Computation: 9th Annual Conference …, 2012
192012
A complete proof system for first-order interval temporal logic with projection
DP Guelev
Journal of Logic and Computation 14 (2), 215-249, 2004
19*2004
A Complete Fragment of Higher-order Duration μ-calculus
DP Guelev
International Conference on Foundations of Software Technology and …, 2000
182000
A propositional dynamic logic with qualitative probabilities
DP Guelev
Journal of philosophical logic 28, 575-604, 1999
151999
Epistemic ATL with perfect recall, past and strategy contexts
DP Guelev, C Dima
International Workshop on Computational Logic in Multi-Agent Systems, 77-93, 2012
132012
Iteration of simple formulas in duration calculus
DP Guelev
UNU/IIST Report, 1998
111998
Reasoning about QoS contracts in the probabilistic duration calculus
DP Guelev, D Van Hung
Electronic Notes in Theoretical Computer Science 238 (6), 41-62, 2010
92010
Probabilistic and Temporal Modal Logics
DP Guelev
Ph. D. thesis, submitted, 2000
92000
The system can't perform the operation now. Try again later.
Articles 1–20