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
1412005
Model-checking access control policies
DP Guelev, M Ryan, PY Schobbens
International Conference on Information Security, 219-230, 2004
952004
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
822004
Synthesising verified access control systems through model checking
N Zhang, M Ryan, DP Guelev
Journal of Computer Security 16 (1), 1-61, 2008
732008
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
38*1999
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
372011
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
272010
Prefix and projection onto state in duration calculus
DP Guelev, D Van Hung
Electronic Notes in Theoretical Computer Science 65 (6), 101-119, 2002
262002
A calculus of durations on abstract domains: Completeness and extensions
DP Guelev
Technical Report 139, UNU/IIST, PO Box 3058, Macau, 1998
241998
A higher-order duration calculus
Z Chaochen, DP Guelev, Z Naijun
Millenial Perspectives in Computer Science. Proceedings of the 1999 Oxford …, 2000
232000
Probabilistic neighbourhood logic
DP Guelev
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
222000
A Complete Fragment of Higher-order Duration μ-calculus
DP Guelev
International Conference on Foundations of Software Technology and …, 2000
202000
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 propositional dynamic logic with qualitative probabilities
DP Guelev
Journal of philosophical logic 28 (6), 575-604, 1999
151999
An assume/guarantee based compositional calculus for hybrid CSP
S Wang, N Zhan, D Guelev
International Conference on Theory and Applications of Models of Computation …, 2012
142012
On the completeness and decidability of duration calculus with iteration
DP Guelev, D Van Hung
Theoretical Computer Science 337 (1-3), 278-304, 2005
142005
Iteration of simple formulas in duration calculus
DP Guelev
UNU/IIST Report, 1998
111998
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
102012
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
102010
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