Research Interests

My previous research activities (updated January 2011) can be found here.

And here is my previous work put in a nutshell. I worked on the following:

• Runtime Verification:
  • Monitorability: characterization of monitorable properties, proposition for a new definition of monitorability
  • Monitor synthesis
  • Runtime verification wrt. the Safety-Progress classification
• Runtime Enforcement:
  • Characterization of enforceable properties
  • Monitor synthesis
  • Definition of Generic Enforcement Monitors
  • Runtime Enforcement wrt. the Safety-Progress classification
• Property-Oriented Software Testing
  • Compositional testing methodology
  • Property testability
• Application domains:
  • Embedded systems
  • Networked software
  • Security:
  • security policies
  • confidentiality and opacity
  • access control