Research

Research interests

• Modeling and verification of real-time systems, security policies, systems and collaborative editing and workflow.
• Model-checking techniques for timed models
• Partial order techniques
• Abstraction techniques
• Software model-checking, controller synthesis

Research unit(s)

• SQUIRREL, member

NSERC subjects

• 2706 Software engineering
• 2720 Computer systems software
• 2705 Software and development
• 2714 Mathematics of computing