Publications of
Philippe Balbiani, Jan Broersen, Julien Brunel
Decision procedures for a deontic logic modeling temporal inheritance of obligations
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, pp. 69-89, 2009.
Julien Brunel, Frédéric Cuppens, Nora Cuppensboulahia, Thierry Sans, Jean-Paul Bodeveix
Security Policy Compliance with Violation Management
In : ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, Washingthon USA, 12/11/07-13/11/07, ACM : Association for Computing Machinery, pp. 31-40, November 2007.
What I fail to do today, I have to do tomorrow’: a logical study of the propagation of obligations
In : Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII 2007), Porto, Portugal, 10/09/07-11/09/07, Vol. 5056, Fariba Sadri, Ken Satoh (Eds.), Springer-Verlag, LNAI, pp. 82-99, September 2007.
Preservation of Obligations in a Temporal and Deontic Framework
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, 14/05/07-18/05/07, Edmund H. Durfee, Makoto} Yokoo (Eds.), ACM : Association for Computing Machinery, pp. 1108-1110, May 2007.
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A state/event temporal deontic logic
In : Journées FAC’06, Toulouse, 23/03/06-24/03/06.
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A state/event temporal deontic logic
In : International Workshop on Deontic Logic in Computer Science (DEON 2006), Utrecht, The Netherlands, 12/07/06-14/07/06, Vol. , Lou Goble, John-Jules Ch. Meyer (Eds.), Springer, LNAI 4048, pp. 85-100, July 2006.
Logique déontique pour la spécification de la disponibilité
In : Journées FAC’05, Toulouse LAAS, 09/03/05-10/03/05.
Deontic Logic for the Specification of System Availability
In : 6th school on MOdeling and VErifying parallel Processes MOVEP’04 (student papers), Bruxelles, 13/12/04-17/12/04.
Combinaison des logiques temporelles et déontiques pour la spécification de politiques de sécurité. Combining temporal and deontic logics for the specification of security policies.
Master’s Thesis, Université de Toulouse, December 2007.