Internal Models for Coalgebraic Modal Logics. - Toby Wilkinson (CMCS, 2012)

A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation. - Toby Wilkinson (MFPS, 2012)

Enriched coalgebraic modal logic. - Toby Wilkinson (2013)

A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. - Toby Wilkinson; Michael J. Butler; John Colley (IMBSA, 2014)

Formal Development of Policing Functions for Intelligent Systems. - Chris Bogdiukiewicz; Michael J. Butler; Thai Son Hoang; Martin Paxton; James Snook; Xanthippe Waldron; Toby Wilkinson (ISSRE, 2017)

Theory Plug-in for Rodin 3.x. - Thai Son Hoang; Laurent Voisin; A. Salehi; Michael J. Butler; Toby Wilkinson; N. Beauger (CoRR, 2017)

Trust Modelling in 5G mobile networks. - Mike Surridge; Gianluca Correndo; Ken Meacham; Juri Papay; Stephen C. Phillips; Stefanie Wiegand; Toby Wilkinson (SecSoN@SIGCOMM, 2018)

Modelling Compliance Threats and Security Analysis of Cross Border Health Data Exchange. - Mike Surridge; Ken Meacham; Juri Papay; Stephen C. Phillips; John Brian Pickering; Ardavan Shafiee; Toby Wilkinson (MEDI Workshops, 2019)