Toby Wilkinson

According to our database, Toby Wilkinson authored at least 8 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

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

Proceedings of the New Trends in Model and Data Engineering, 2019

2018

Trust Modelling in 5G mobile networks.

Mike Surridge, Gianluca Correndo, Ken Meacham, Juri Papay, Stephen C. Phillips, Stefanie Wiegand, Toby Wilkinson

Proceedings of the 2018 Workshop on Security in Softwarized Networks: Prospects and Challenges, 2018

2017

Theory Plug-in for Rodin 3.x.

Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson, N. Beauger

CoRR, 2017

Formal Development of Policing Functions for Intelligent Systems.

Chris Bogdiukiewicz, Michael J. Butler, Thai Son Hoang, Martin Paxton, James Snook, Xanthippe Waldron, Toby Wilkinson

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2014

A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems.

Toby Wilkinson, Michael J. Butler, John Colley

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

2013

Enriched coalgebraic modal logic.

Toby Wilkinson

PhD thesis, 2013

2012

A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation.

Toby Wilkinson

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Internal Models for Coalgebraic Modal Logics.

Toby Wilkinson

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012