• In press

  Coccinelle : Tool support for automated CERT C Secure Coding Standard certification

  Publication: Research - peer-review › Journal article

• Published

  From Flow Logic to Static Type Systems for Coordination Languages

  Publication: Research - peer-review › Journal article

• Published

  Refinement and verification in component-based model-driven design

  Publication: Research - peer-review › Journal article

View all »