Disclaimer: this is not necessarily a complete or up to date list.

Current and Ongoing Projects[edit]

• OpenOME
• i*
• Requirements in business processes
• Requirements monitoring
• Security and Privacy for Internet Services
• Model Management
• Model Checking
• Climate Modelling
• Modelling solutions to climate change

Past Projects[edit]

• CustomizableSoftware
• Verisec: Verification for Security
• Tropos Project