Jeremy Bryans - Google Scholar Citations

Cited by

	All	Since 2013
Citations	1071	495
h-index	18	12
i10-index	28	15

120

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720183 9 3 15 11 13 18 11 39 42 56 70 69 57 63 80 61 107 81 92 113 41

Co-authors

John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Maciej KoutnyNewcastle UniversityVerified email at ncl.ac.uk
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Howard BowmanSchool of Computing, University of Kent and School of Psychology, University of BirminghamVerified email at kent.ac.uk
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of Secure SystemsVerified email at surrey.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle UniversityVerified email at ncl.ac.uk
Paolo MissierReader in Large Scale Information Systems, Computing Science, Newcastle University, UKVerified email at acm.org
Vasa CurcinSenior lecturer in health informatics, King's College LondonVerified email at doc.ic.ac.uk
Andreas RothSAP SEVerified email at sap.com
Alexander RomanovskyProfessor, Newcastle University, UKVerified email at ncl.ac.uk
Carl GambleResearch Associate, Newcastle UniversityVerified email at newcastle.ac.uk
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Siraj Ahmed ShaikhCoventry UniversityVerified email at coventry.ac.uk
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerified email at cin.ufpe.br
David GreatheadSenior Research Assistant, Northumbria UniversityVerified email at northumbria.ac.uk
Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Pedro AntoninoDPhil Student at the University of OxfordVerified email at cs.ox.ac.uk
Carron ShanklandProfessor of Computing Science, University of StirlingVerified email at cs.stir.ac.uk
Bev LittlewoodProfessor, City University LondonVerified email at csr.city.ac.uk

Jeremy Bryans

Research Fellow, Coventry University, UK

Verified email at coventry.ac.uk

Formal Methods Dynamic Coalitions Automotive Security


Title	Cited by	Year
Opacity generalised to transition systems JW Bryans, M Koutny, L Mazaré, PYA Ryan International Journal of Information Security 7 (6), 421-435, 2008	222	2008
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	79	2005
Reasoning about XACML policies using CSP J Bryans Proceedings of the 2005 workshop on Secure web services, 28-35, 2005	73	2005
Analysis of a multimedia stream using stochastic process algebra H Bowman, JW Bryans, J Derrick The Computer Journal 44 (4), 230-245, 2001	49	2001
Model checking stochastic automata J Bryans, H Bowman, J Derrick ACM Transactions on Computational Logic (TOCL) 4 (4), 452-492, 2003	44	2003
CSP, PVS and a recursive authentication protocol J Bryans, SA Schneider	42	1997
Formal engineering of XACML access control policies in VDM++ JW Bryans, JS Fitzgerald International Conference on Formal Engineering Methods, 37-56, 2007	32	2007
Modelling dynamic opacity using Petri nets with silent actions JW Bryans, M Koutny, PYA Ryan Formal Aspects in Security and Trust, 159-172, 2005	28	2005
A dependability analysis of the Chaum digital voting scheme J Bryans, P Ryan Technical Report CS-TR-809, University of Newcastle upon Tyne, 2003	28	2003
Formal analysis of BPMN models using Event-B JW Bryans, W Wei International Workshop on Formal Methods for Industrial Critical Systems, 33-49, 2010	27	2010
E-voting: Dependability requirements and design for dependability JW Bryans, B Littlewood, PYA Ryan, L Strigini null, 988-995, 2006	26	2006
Formal modelling of dynamic coalitions, with an application in chemical engineering JW Bryans, JS Fitzgerald, CB Jones, I Mozolevsky Leveraging Applications of Formal Methods, Verification and Validation, 2006 …, 2006	23	2006
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	21	2004
SysML contracts for systems of systems. J Bryans, JS Fitzgerald, RJ Payne, A Miyazawa, KE Kristensen SoSE, 73-78, 2014	19	2014
Maintaining emergence in systems of systems integration: a contractual approach using sysml J Bryans, J Fitzgerald, RJ Payne, K Kristensen University of Newcastle Upon Tyne, Computing Science, 2014	19	2014
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	19	2008
A simplified version of the Chaum voting scheme P Ryan, J Bryans TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE 843, 2004	19	2004
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	18	2014
Semi-formal and formal interface specification for system of systems architecture J Bryans, R Payne, J Holt, S Perry Systems Conference (SysCon), 2013 IEEE International, 612-619, 2013	18	2013
A Model-Based Approach for Requirements Engineering for Systems of Systems. J Holt, S Perry, RJ Payne, J Bryans, S Hallerstede, FO Hansen IEEE Systems Journal 9 (1), 252-262, 2015	17	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors