ONERA's Personal Web Pages

Julien Brunel

Research scientist

Interests

• Logic for computer science
  • temporal / timed logics
  • deontic logics
  • model checking
• Formal methods for the design and the validation of systems
  • safety analysis of critical systems
    
  • Coccinelle project (for bug detection and API update)
  • categorical methods for architecture composition
• Computer security
  • formalization of security policies
  • verification of the compliance of a system with a policy

Last Update: 11 mars 2009 - © ONERA 2008 - Terms of use