Publications

You can view publications by person:

Doina Bucur Radu Calinescu Chris Chilton Matthias Fruth Lu Feng Mark Jenkins Mark Kattenbelt Maneesh Khattri Daniel Kroening Marta Kwiatkowska Gethin Norman Joel Ouaknine Dave Parker Hongyang Qu Ashutosh Trivedi James Worrell

Or by project/subject area:

• PRISM
• Predictable Software Systems
• Automated quantitative software verification with PRISM
• UbiVal
• CONNECT-IP
• Biology