Jeremy Bryans

Cited by

	All	Since 2018
Citations	1923	819
h-index	25	14
i10-index	42	18

220

110

165

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 5 12 20 14 20 16 36 46 67 66 63 61 63 77 65 107 92 110 119 122 151 139 175 201 29

Public access

View all

7 articles

1 article

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
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Paolo MissierProfessor of Big Data Engineering and AnalyticsVerified email at acm.org
Vasa CurcinProfessor of health informatics, King's College LondonVerified email at doc.ic.ac.uk
Hoang Nga NguyenAssociate Professor, Swansea UniversityVerified email at swansea.ac.uk
Cliff B JonesProfessor of Computing Science, 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
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
Carron ShanklandProfessor of Computing Science, University of StirlingVerified email at cs.stir.ac.uk
Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
Finn Overgaard HansenIngeniørdocent, Aarhus University, School of EngineeringVerified email at iha.dk

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 School of Computing Science Technical Report Series, 2004	352	2004
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	169	2005
Reasoning about XACML policies using CSP J Bryans Proceedings of the 2005 workshop on Secure web services, 28-35, 2005	90	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	66	2014
Analysis of a multimedia stream using stochastic process algebra H Bowman, JW Bryans, J Derrick The Computer Journal 44 (4), 230-245, 2001	55	2001
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	46	2018
Model checking stochastic automata J Bryans, H Bowman, J Derrick ACM Transactions on Computational Logic (TOCL) 4 (4), 452-492, 2003	46	2003
Towards a testbed for automotive cybersecurity DS Fowler, M Cheah, SA Shaikh, J Bryans 2017 IEEE International Conference on Software Testing, Verification and …, 2017	45	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	44	2018
Formal analysis of BPMN models using Event-B JW Bryans, W Wei Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010	43	2010
CSP, PVS and a recursive authentication protocol J Bryans, SA Schneider DIMACS Workshop on Design and Formal Veriﬁcation of Security Protocols, 1997	42	1997
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	40	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	40	2018
Formal engineering of XACML access control policies in VDM++ JW Bryans, JS Fitzgerald Formal Methods and Software Engineering: 9th International Conference on …, 2007	36	2007
ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs P Missier, J Bryans, C Gamble, V Curcin, R Danger Provenance and Annotation of Data and Processes: 5th International …, 2015	35	2015
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	35	2014
Modelling dynamic opacity using petri nets with silent actions JW Bryans, M Koutny, PYA Ryan Formal Aspects in Security and Trust: IFIP TC1 WG1. 7 Workshop on Formal …, 2005	35	2005
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	33	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