Towards a denotational semantics for ET-LOTOS. - Jeremy W. Bryans; Jim Davies; Steve A. Schneider (CONCUR, 1995)

Real-time LOTOS and Timed Observations. - Jim Davies; Jeremy W. Bryans; Steve A. Schneider (FORTE, 1995)

Denotational semantic models for real-time LOTOS. - Jeremy William Bryans (1996)

Stochastic Specification and Verification. - Jeremy W. Bryans; John Derrick (IWFM, 1999)

Specification and Analysis of Automata-Based Designs. - Jeremy W. Bryans; Lynne Blair; Howard Bowman; John Derrick (IFM, 2000)

Stochastic Model Checking for Multimedia - Jeremy W. Bryans; Howard Bowman; John Derrick (CoRR, 2000)

Implementing a Modal Logic over Data and Processes using XTL. - Jeremy W. Bryans; Carron Shankland (FORTE, 2001)

Analysis of a Multimedia Stream using Stochastic Process Algebra. - Howard Bowman; Jeremy W. Bryans; John Derrick (Comput. J., 2001)

Model checking stochastic automata. - Jeremy W. Bryans; Howard Bowman; John Derrick (ACM Trans. Comput. Log., 2003)

Expressing Iterative Properties Logically in a Symbolic Setting. - Carron Shankland; Jeremy W. Bryans; Lionel Morel (AMAST, 2004)

Modelling Dynamic Opacity Using Petri Nets with Silent Actions. - Jeremy W. Bryans; Maciej Koutny; Peter Y. A. Ryan (Formal Aspects in Security and Trust, 2004)

Modelling Opacity Using Petri Nets. - Jeremy W. Bryans; Maciej Koutny; Peter Y. A. Ryan (WISP@ICATPN, 2004)

Reasoning about XACML policies using CSP. - Jeremy W. Bryans (SWS, 2005)

E-voting: Dependability Requirements and Design for Dependability. - Jeremy W. Bryans; Bev Littlewood; Peter Y. A. Ryan; Lorenzo Strigini (ARES, 2006)

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. - Jeremy W. Bryans; John S. Fitzgerald; Cliff B. Jones; Igor Mozolevsky (ISoLA, 2006)

Formal Engineering of XACML Access Control Policies in VDM++. - Jeremy W. Bryans; John S. Fitzgerald (ICFEM, 2007)

GOLD infrastructure for virtual organizations. - Panos Periorellis; N. Cook; Hugo Hiden; A. Conlin; M. D. Hamilton; Jiyi Wu; Jeremy W. Bryans; Xiangguo Gong; F. Zhu; R. Smith; Paul Watson 001; Allen R. Wright (Concurr. Comput. Pract. Exp., 2008)

Opacity generalised to transition systems. - Jeremy W. Bryans; Maciej Koutny; Laurent Mazaré; Peter Y. A. Ryan (Int. J. Inf. Sec., 2008)

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. - Jeremy W. Bryans; John S. Fitzgerald; Alexander B. Romanovsky; Andreas Roth 001 (ICECCS, 2009)

Formal Analysis of BPMN Models Using Event-B. - Jeremy W. Bryans; Wei Wei 015 (FMICS, 2010)

Patterns for Modelling Time and Consistency in Business Information Systems. - Jeremy W. Bryans; John S. Fitzgerald; Alexander B. Romanovsky; Andreas Roth 001 (ICECCS, 2010)

Developing a Consensus Algorithm Using Stepwise Refinement. - Jeremy W. Bryans (ICFEM, 2011)

Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. - Jeremy W. Bryans; John S. Fitzgerald; Tom McCutcheon (PRO-VE, 2011)

A Formal Model-Based Approach to Engineering Systems-of-Systems. - John S. Fitzgerald; Jeremy W. Bryans; Richard John Payne (PRO-VE, 2012)

Interface specification for system-of-systems architectures. - Richard John Payne; Jeremy W. Bryans; John S. Fitzgerald; Steve Riddle (SoSE, 2012)

Towards Quantitative Analysis of Opacity. - Jeremy W. Bryans; Maciej Koutny; Chunyan Mu (TGC, 2012)

Semi-formal and formal interface specification for system of systems architecture. - Jeremy W. Bryans; Richard John Payne; Jon Holt; Simon Perry (SysCon, 2013)

A Proof-Based Method for Modelling Timed Systems. - Alexei Iliasov; Jeremy W. Bryans (Ershov Memorial Conference, 2014)

Collaborative Systems of Systems Need Collaborative Design. - John S. Fitzgerald; Jeremy W. Bryans; Peter Gorm Larsen; Hansen Salim (PRO-VE, 2014)

ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs. - Paolo Missier; Jeremy W. Bryans; Carl Gamble; Vasa Curcin; Roxana Dánger (IPAW, 2014)

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. - Pedro R. G. Antonino; Marcel Vinícius Medeiros Oliveira; Augusto Sampaio 001; Klaus E. Kristensen; Jeremy W. Bryans (NASA Formal Methods, 2014)

SysML contracts for systems of systems. - Jeremy W. Bryans; John S. Fitzgerald; Richard John Payne; Alvaro Miyazawa; Klaus E. Kristensen (SoSE, 2014)

Fault Modelling in System-of-Systems Contracts. - Zoe Andrews; Jeremy W. Bryans; Richard John Payne; Klaus E. Kristensen (CoRR, 2014)

Access control and view generation for provenance graphs. - Roxana Dánger; Vasa Curcin; Paolo Missier; Jeremy W. Bryans (Future Gener. Comput. Syst., 2015)

A Model-Based Approach for Requirements Engineering for Systems of Systems. - Jon Holt; Simon Perry; Richard John Payne; Jeremy W. Bryans; Stefan Hallerstede; Finn Overgaard Hansen (IEEE Syst. J., 2015)

Combining Third Party Components Securely in Automotive Systems. - Madeline Cheah; Siraj A. Shaikh; Jeremy W. Bryans; Hoang Nga Nguyen (WISTP, 2016)

Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study. - Madeline Cheah; Jeremy W. Bryans; Daniel S. Fowler; Siraj Ahmed Shaikh (DSN Workshops, 2017)

Towards a Testbed for Automotive Cybersecurity. - Daniel S. Fowler; Madeline Cheah; Siraj Ahmed Shaikh; Jeremy W. Bryans (ICST, 2017)

Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications. - Madeline Cheah; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj A. Shaikh (WISTP, 2017)

Fuzz Testing for Automotive Cyber-Security. - Daniel S. Fowler; Jeremy W. Bryans; Siraj Ahmed Shaikh; Paul Wooderson (DSN Workshops, 2018)

Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows. - Andrew Tomlinson; Jeremy W. Bryans; Siraj Ahmed Shaikh; Harsha Kumara Kalutarage (DSN Workshops, 2018)

Using a one-class compound classifier to detect in-vehicle network attacks. - Andrew Tomlinson; Jeremy W. Bryans; Siraj Ahmed Shaikh (GECCO (Companion), 2018)

Informing decision makers: facilitating communication and trust for decision makers during crises. - Fiona Jennet McNeill; Diana Bental; Jeremy W. Bryans; Paolo Missier; Jannetta S. Steyn (ISCRAM, 2018)

Building an automotive security assurance case using systematic security evaluations. - Madeline Cheah; Siraj A. Shaikh; Jeremy W. Bryans; Paul Wooderson (Comput. Secur., 2018)

Enabling Security Checking of Automotive ECUs with Formal CSP Models. - John Heneghan; Siraj Ahmed Shaikh; Jeremy W. Bryans; Madeline Cheah; Paul Wooderson (DSN Workshops, 2019)

Attack Defense Trees with Sequential Conjunction. - Jeremy W. Bryans; Hoang Nga Nguyen; Siraj A. Shaikh (HASE, 2019)

Communication in Emergency Management through Data Integration and Trust: an introduction to the CEM-DIT system. - Fiona Jennet McNeill; Diana Bental; Jeremy W. Bryans; Paolo Missier; Jannetta S. Steyn; Tom Komar (ISCRAM, 2019)

A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example. - Daniel S. Fowler; Jeremy W. Bryans; Madeline Cheah; Paul Wooderson; Siraj A. Shaikh (QRS Companion, 2019)

Adding Cyberattacks To An Industry-Leading CAN Simulator. - Jake Hayward; Andrew Tomlinson; Jeremy W. Bryans (QRS Companion, 2019)

A Template-Based Method for the Generation of Attack Trees. - Jeremy W. Bryans; Lin Shen Liew; Hoang Nga Nguyen; Giedre Sabaliauskaite; Siraj A. Shaikh; Fengjun Zhou (WISTP, 2019)

Abstracting PROV provenance graphs: A validity-preserving approach. - Paolo Missier; Jeremy W. Bryans; Carl Gamble; Vasa Curcin (Future Gener. Comput. Syst., 2020)

Formalising UPTANE in CSP for Security Testing. - Rhys Kirk; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj A. Shaikh; David Evans; David Price (QRS Companion, 2021)

Using internal context to detect automotive controller area network attacks. - Andrew Tomlinson; Jeremy W. Bryans; Siraj Ahmed Shaikh (Comput. Electr. Eng., 2021)

Framework for Calculating Residual Cybersecurity Risk of Threats to Road Vehicles in Alignment with ISO/SAE 21434. - Ahmed Nawaz Khan; Jeremy W. Bryans; Giedre Sabaliauskaite (ACNS Workshops, 2022)

Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis. - Jeremy W. Bryans; Lin Shen Liew; Hoang Nga Nguyen; Giedre Sabaliauskaite; Siraj Ahmed Shaikh (Inf., 2023)

Integrated Attack Tree in Residual Risk Management Framework. - Ahmed Nawaz Khan; Jeremy W. Bryans; Giedre Sabaliauskaite; Hesamaldin Jadidbonab (Inf., 2023)

A formal framework for security testing of automotive over-the-air update systems. - Rhys Kirk; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj Ahmed Shaikh; Charles Wartnaby (J. Log. Algebraic Methods Program., 2023)

A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons. - Sean Joe Taylor; Farhan Ahmad; Hoang Nga Nguyen; Siraj Ahmed Shaikh; Jeremy W. Bryans; Charles Wartnaby (Trans. Emerg. Telecommun. Technol., 2023)

TOMSAC - Methodology for trade-off management between automotive safety and cyber security. - Giedre Sabaliauskaite; Jeremy W. Bryans; Hesamaldin Jadidbonab; Farhan Ahmad; Siraj A. Shaikh; Paul Wooderson (Comput. Secur., 2024)

State-of-the-art authentication and verification schemes in VANETs: A survey. - Sheraz Mazhar; Abdur Rakib; Lei Pan 002; Frank Jiang 001; Adnan Anwar; Robin Doss; Jeremy W. Bryans (Veh. Commun., 2024)

An adaptable security-by-design approach for ensuring a secure Over the Air (OTA) update in modern vehicles. - Victormills Iyieke; Hesamaldin Jadidbonab; Abdur Rakib; Jeremy W. Bryans; Don Dhaliwal; Odysseas Kosmas (Comput. Secur., 2025)