Pages personnelles professionnelles

Publications

• Christophe Chareton, Julien Brunel and David Chemouil A Formal Treatment of Agetns, Goals and Operations Using Alternating-Time Temporal Logic
  In Brazilian Symposium on Formal Methods, (SBMF 2011), Lecture Notes in Computer Science, 2011

• Sylvain Bouveret , Julien Brunel, David Chemouil and Fabien Dagnat Towards a categorical framework to ensure correct software evolutions
  In 3rd Workshop on Hot Topics in Software Upgrades (HotSWUp 2011)

• Pierre Bieber, Julien Brunel, Eric Noulard, Claire Pagetti, Thierry Planche and François Vialard Preliminary Design of Future Reconfigurable {IMA} Platforms - Safety Assessment
  In 27th International Congress of the Aeronautical Sciences (ICAS 2010)
  
• Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code
  In 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, (DSN 2009), IEEE Computer Society, 2009 (preprint)
• Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
  In 36th Symposium on Principles of Programming Languages (POPL'09), ACM Press, 2009 (preprint / slides)
• Philippe Balbiani, Jan Broersen, Julien Brunel Decision procedures for a deontic logic modeling temporal inheritance of obligations
  extended version of 5th Workshop Methods for Modalities (M4M-5) 2007, in Electronic Notes in Theoretical Computer Science, vol. 231, 2009, (preprint )
• Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix, and Mamoun Filali Security Policy Compliance with Violation Management
  In 5th ACM Workshop on Formal Methods in Security Engineering (FMSE'07), ACM Press, 2007 (preprint / slides)
• Jan Broersen, Julien Brunel 'What I fail to do today, I have to do tomorrow', a logical study of the propagation of obligations
  extended version of 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) 2007, Lecture Notes in Artificial Intelligence 5056, 2008 (preprint / slides)
• Jan Broersen, Julien Brunel Preservation of Obligations in a Temporal and Deontic Framework
  In 6th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS-07), ACM Press, 2007
• Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali, A State/Event temporal deontic logic
  In Eighth International Workshop on Deontic Logic in Computer Science (DEON'06), Lecture Notes in Artificial Intelligence 4048, 2006 (preprint / slides)
• Julien Brunel, Deontic Logic for specifying availability policies
  In Proceedings of 6th school on MOdelling and VErifying parallel Processes (MOVEP'04), 2004
• Julien Brunel, Logique déontique pour la disponibilité
  Master's thesis, Université Paul Sabatier, 2004

Mis à jour le 5 février 2009 - © ONERA 2008 - Crédits et conditions d'utilisation