Publications de
Philippe Balbiani, Jan Broersen, Julien Brunel
Decision procedures for a deontic logic modeling temporal inheritance of obligations
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, p. 69-89, 2009.
Julien Brunel, Frédéric Cuppens, Nora Cuppensboulahia, Thierry Sans, Jean-Paul Bodeveix
Security Policy Compliance with Violation Management
Dans : 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, p. 31-40, novembre 2007.
What I fail to do today, I have to do tomorrow’: a logical study of the propagation of obligations
Dans : 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, p. 82-99, septembre 2007.
Preservation of Obligations in a Temporal and Deontic Framework
Dans : 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, p. 1108-1110, mai 2007.
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A state/event temporal deontic logic
Dans : Journées FAC’06, Toulouse, 23/03/06-24/03/06.
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A state/event temporal deontic logic
Dans : 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, p. 85-100, juillet 2006.
Logique déontique pour la spécification de la disponibilité
Dans : Journées FAC’05, Toulouse LAAS, 09/03/05-10/03/05.
Deontic Logic for the Specification of System Availability
Dans : 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.
Thèse de doctorat, Université de Toulouse, décembre 2007.