Search results for "Dimitar P. Guelev"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Shuling Wang, Naijun Zhan, Dimitar P. Guelev	An Assume/Guarantee Based Compositional Calculus for Hybrid CSP.	TAMC	2012	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Catalin Dima, Constantin Enea	An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.	Journal of Applied Non-Classical Logics	2011	DBLP BibTeX RDF
1	Dimitar P. Guelev, Mads Dam	An Epistemic Predicate CTL* for Finite Control π-Processes.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Dang Van Hung	Reasoning about QoS Contracts in the Probabilistic Duration Calculus.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Catalin Dima, Constantin Enea, Dimitar P. Guelev	Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions	GANDALF	2010	DBLP DOI BibTeX RDF
1	Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev	Synthesising verified access control systems through model checking.	Journal of Computer Security	2008	DBLP BibTeX RDF
1	Dimitar P. Guelev	A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Catalin Dima	Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions.	DALT	2008	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems.	Logical Methods in Computer Science	2007	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems	CoRR	2007	DBLP BibTeX RDF
1	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Model-checking the preservation of temporal properties upon feature integration.	STTT	2007	DBLP DOI BibTeX RDF	Model checking, Feature, State-explosion problem, Property preservation
1	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Synthesising Features by Games.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Dang Van Hung	On the completeness and decidability of duration calculus with iteration.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Sharpening the Incompleteness of the Duration Calculus.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Model-checking the Preservation of Temporal Properties upon Feature Integration.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev	Evaluating Access Control Policies Through Model Checking.	ISC	2005	DBLP DOI BibTeX RDF	access control policy language, model checking, verification, access control, access control policy, access control model
1	Dimitar P. Guelev, Dang Van Hung	A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.	Journal of Applied Non-Classical Logics	2004	DBLP BibTeX RDF
1	Dimitar P. Guelev	Logical Interpolation and Projection onto State in the Duration Calculus.	Journal of Applied Non-Classical Logics	2004	DBLP BibTeX RDF
1	Dimitar P. Guelev	A Complete Proof System for First-order Interval Temporal Logic with Projection.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens	Model-Checking Access Control Policies.	ISC	2004	DBLP DOI BibTeX RDF
1	Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev	Synthesising verified access control systems in XACML.	FMSE	2004	DBLP DOI BibTeX RDF	access control policy language, XACML, access control model
1	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Feature Integration as Substitution.	FIW	2003	DBLP BibTeX RDF
1	Dimitar P. Guelev, Dang Van Hung	Prefix and Projection onto State in Duration Calculus.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Interval-Related Interpolation in Interval Temporal Logics.	Logic Journal of the IGPL	2001	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	A Complete Fragment of Higher-Order Duration µ-Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Probabilistic Neighbourhood Logic.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Dang Van Hung, Dimitar P. Guelev	Completeness and Decidability of a Fragment of Duration Calculus with Iteration.	ASIAN	1999	DBLP DOI BibTeX RDF

Publications of "Dimitar P. Guelev" ( http://dblp.L3S.de/Authors/Dimitar_P._Guelev )