Jeremy Bryans
Jeremy Bryans
Research Fellow, Coventry University, UK
Verifierad e-postadress på coventry.ac.uk
TitelCiteras avÅr
Opacity generalised to transition systems
JW Bryans, M Koutny, L Mazaré, PYA Ryan
International Journal of Information Security 7 (6), 421-435, 2008
2572008
Modelling opacity using Petri nets
JW Bryans, M Koutny, PYA Ryan
Electronic Notes in Theoretical Computer Science 121, 101-115, 2005
1082005
Reasoning about XACML policies using CSP
J Bryans
Proceedings of the 2005 workshop on Secure web services, 28-35, 2005
752005
Analysis of a multimedia stream using stochastic process algebra
H Bowman, JW Bryans, J Derrick
The Computer Journal 44 (4), 230-245, 2001
512001
Model checking stochastic automata
J Bryans, H Bowman, J Derrick
ACM Transactions on Computational Logic (TOCL) 4 (4), 452-492, 2003
452003
CSP, PVS and a recursive authentication protocol
J Bryans, SA Schneider
411997
ProvAbs: model, policy, and tooling for abstracting PROV graphs
P Missier, J Bryans, C Gamble, V Curcin, R Danger
International Provenance and Annotation Workshop, 3-15, 2014
342014
Formal analysis of BPMN models using Event-B
JW Bryans, W Wei
International Workshop on Formal Methods for Industrial Critical Systems, 33-49, 2010
342010
A model-based approach for requirements engineering for systems of systems
J Holt, S Perry, R Payne, J Bryans, S Hallerstede, FO Hansen
IEEE Systems Journal 9 (1), 252-262, 2014
302014
Formal engineering of XACML access control policies in VDM++
JW Bryans, JS Fitzgerald
International Conference on Formal Engineering Methods, 37-56, 2007
302007
Modelling dynamic opacity using Petri nets with silent actions
JW Bryans, M Koutny, PYA Ryan
IFIP World Computer Congress, TC 1, 159-172, 2004
302004
A dependability analysis of the Chaum digital voting scheme
J Bryans, P Ryan
Technical Report CS-TR-809, University of Newcastle upon Tyne, 2003
282003
E-voting: Dependability requirements and design for dependability
JW Bryans, B Littlewood, PYA Ryan, L Strigini
First International Conference on Availability, Reliability and Security …, 2006
262006
Modelling non-deducibility using Petri Nets
J Bryans, M Koutny, P Ryan
Proc. of the 2nd International Workshop on Security Issues with Petri Nets …, 2004
262004
2.2. 2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML
J Bryans, J Fitzgerald, R Payne, K Kristensen
INCOSE International Symposium 24 (1), 166-181, 2014
252014
Semi-formal and formal interface specification for system of systems architecture
J Bryans, R Payne, J Holt, S Perry
2013 IEEE International Systems Conference (SysCon), 612-619, 2013
242013
SysML contracts for systems of systems
J Bryans, J Fitzgerald, R Payne, A Miyazawa, K Kristensen
2014 9th International Conference on System of Systems Engineering (SOSE), 73-78, 2014
232014
Formal modelling of dynamic coalitions, with an application in chemical engineering
JW Bryans, JS Fitzgerald, CB Jones, I Mozolevsky
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
232006
A formal model-based approach to engineering systems-of-systems
J Fitzgerald, J Bryans, R Payne
Working Conference on Virtual Enterprises, 53-62, 2012
202012
GOLD infrastructure for virtual organizations
P Periorellis, N Cook, H Hiden, A Conlin, MD Hamilton, J Wu, J Bryans, ...
Concurrency and Computation: Practice and Experience 20 (11), 1273-1288, 2008
202008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20