Publications

You can view publications by person:

• Marta Kwiatkowska
• Gethin Norman
• David Parker
• Mark Kattenbelt

Or by project (see here for further details of projects):

• PRISM
• Predictable Software Systems (EPSRC)
• Automated quantitative software verification with PRISM (EPSRC)
• UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures (EPSRC)