Toby Wilkinson

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 4

Top Topics

Safety Critical

Building Intelligent Systems

Top Venues

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Mike Surridge, Ken Meacham, Juri Papay, Stephen C. Phillips, J. Brian Pickering, Ardavan Shafiee, Toby Wilkinson
Modelling Compliance Threats and Security Analysis of Cross Border Health Data Exchange. MEDI Workshops (2019)
Mike Surridge, Gianluca Correndo, Ken Meacham, Juri Papay, Stephen C. Phillips, Stefanie Wiegand, Toby Wilkinson
Trust Modelling in 5G mobile networks. SecSoN@SIGCOMM (2018)
Chris Bogdiukiewicz, Michael J. Butler, Thai Son Hoang, Martin Paxton, James Snook, Xanthippe Waldron, Toby Wilkinson
Formal Development of Policing Functions for Intelligent Systems. ISSRE (2017)
Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson, N. Beauger
Theory Plug-in for Rodin 3.x. CoRR (2017)
Toby Wilkinson, Michael J. Butler, John Colley
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. IMBSA (2014)
Toby Wilkinson
Internal Models for Coalgebraic Modal Logics. CMCS (2012)
Toby Wilkinson
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation. MFPS (2012)