Jeremy Bryans

Cited by

	All	Since 2017
Citations	1811	837
h-index	25	16
i10-index	39	22

180

135

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120229 5 16 14 12 22 13 40 42 68 66 63 63 62 76 64 111 84 106 123 120 153 141 171 128

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Siraj Ahmed ShaikhSwansea UniversityVerified email at swansea.ac.uk
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Richard PayneSenior Software Engineer, Asset55Verified email at assetfiftyfive.com
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
Paolo MissierProfessor of Big Data Engineering and AnalyticsVerified email at acm.org
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Vasa CurcinReader in health informatics, King's College LondonVerified email at doc.ic.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Hoang Nga NguyenAssociate Professor, Coventry UniversityVerified email at coventry.ac.uk
Carl GambleResearch Associate, Newcastle UniversityVerified email at newcastle.ac.uk
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Andreas RothSAP SEVerified email at sap.com
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerified email at cin.ufpe.br
Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
Finn Overgaard HansenIngeniørdocent, Aarhus University, School of EngineeringVerified email at iha.dk
Nick CookLecturer, Newcastle University, UKVerified email at ncl.ac.uk

Jeremy Bryans

Research Fellow, Coventry University, UK

Verified email at coventry.ac.uk

Formal Methods Dynamic Coalitions Automotive Security


Title Sort by citations Sort by year Sort by title	Cited by 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	341	2008
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	159	2005
Reasoning about XACML policies using CSP J Bryans Proceedings of the 2005 workshop on Secure web services, 28-35, 2005	89	2005
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	60	2014
Analysis of a multimedia stream using stochastic process algebra H Bowman, JW Bryans, J Derrick The Computer Journal 44 (4), 230-245, 2001	56	2001
Model checking stochastic automata J Bryans, H Bowman, J Derrick ACM Transactions on Computational Logic (TOCL) 4 (4), 452-492, 2003	45	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	43	2010
Detection of automotive CAN cyber-attacks by identifying packet timing anomalies in time windows A Tomlinson, J Bryans, SA Shaikh, HK Kalutarage 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018	41	2018
CSP, PVS and a recursive authentication protocol J Bryans, SA Schneider DIMACS Workshop on Design and Formal Veriﬁcation of Security Protocols, 1997	41	1997
Towards a testbed for automotive cybersecurity DS Fowler, M Cheah, SA Shaikh, J Bryans 2017 IEEE International Conference on Software Testing, Verification and …, 2017	40	2017
Building an automotive security assurance case using systematic security evaluations M Cheah, SA Shaikh, J Bryans, P Wooderson Computers & Security 77, 360-379, 2018	37	2018
Formal engineering of XACML access control policies in VDM++ JW Bryans, JS Fitzgerald International Conference on Formal Engineering Methods, 37-56, 2007	36	2007
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	35	2014
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	34	2014
Modelling dynamic opacity using Petri nets with silent actions JW Bryans, M Koutny, PYA Ryan IFIP World Computer Congress, TC 1, 159-172, 2004	34	2004
Towards viable intrusion detection methods for the automotive controller area network A Tomlinson, J Bryans, SA Shaikh 2nd ACM Computer Science in Cars Symposium, 1-9, 2018	32	2018
Fuzz testing for automotive cyber-security DS Fowler, J Bryans, SA Shaikh, P Wooderson 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018	32	2018
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	32	2013
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	31	2006
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	30	2014

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

Follow

Cited by

Co-authors