Jeremy Bryans

According to our database1, Jeremy Bryans authored at least 45 papers between 1995 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Building an automotive security assurance case using systematic security evaluations.
Computers & Security, 2018

Using a one-class compound classifier to detect in-vehicle network attacks.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Fuzz Testing for Automotive Cyber-Security.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017
Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications.
Proceedings of the Information Security Theory and Practice, 2017

Towards a Testbed for Automotive Cybersecurity.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2016
Combining Third Party Components Securely in Automotive Systems.
Proceedings of the Information Security Theory and Practice, 2016

2015
A Model-Based Approach for Requirements Engineering for Systems of Systems.
IEEE Systems Journal, 2015

Access control and view generation for provenance graphs.
Future Generation Comp. Syst., 2015

2014
ProvAbs: model, policy, and tooling for abstracting PROV graphs.
CoRR, 2014

Fault Modelling in System-of-Systems Contracts.
CoRR, 2014

SysML contracts for systems of systems.
Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs.
Proceedings of the Provenance and Annotation of Data and Processes, 2014

Collaborative Systems of Systems Need Collaborative Design.
Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

A Proof-Based Method for Modelling Timed Systems.
Proceedings of the Perspectives of System Informatics, 2014

2013
Semi-formal and formal interface specification for system of systems architecture.
Proceedings of the IEEE International Systems Conference, 2013

2012
Towards Quantitative Analysis of Opacity.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Interface specification for system-of-systems architectures.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

A Formal Model-Based Approach to Engineering Systems-of-Systems.
Proceedings of the Collaborative Networks in the Internet of Services, 2012

2011
Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations.
Proceedings of the Adaptation and Value Creating Collaborative Networks, 2011

Developing a Consensus Algorithm Using Stepwise Refinement.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Patterns for Modelling Time and Consistency in Business Information Systems.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Formal Analysis of BPMN Models Using Event-B.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008
Opacity generalised to transition systems.
Int. J. Inf. Sec., 2008

GOLD infrastructure for virtual organizations.
Concurrency and Computation: Practice and Experience, 2008

2007
Formal Engineering of XACML Access Control Policies in VDM++.
Proceedings of the Formal Methods and Software Engineering, 2007

2006
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.
Proceedings of the Leveraging Applications of Formal Methods, 2006

E-voting: Dependability Requirements and Design for Dependability.
Proceedings of the The First International Conference on Availability, 2006

2005
Modelling Opacity Using Petri Nets.
Electr. Notes Theor. Comput. Sci., 2005

Reasoning about XACML policies using CSP.
Proceedings of the 2nd ACM Workshop On Secure Web Services, 2005

Opacity Generalised to Transition Systems.
Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

2004
Modelling Dynamic Opacity Using Petri Nets with Silent Actions.
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Expressing Iterative Properties Logically in a Symbolic Setting.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Model checking stochastic automata.
ACM Trans. Comput. Log., 2003

2001
Analysis of a Multimedia Stream using Stochastic Process Algebra.
Comput. J., 2001

Implementing a Modal Logic over Data and Processes using XTL.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000
Stochastic Model Checking for Multimedia
CoRR, 2000

Specification and Analysis of Automata-Based Designs.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999
Stochastic Specification and Verification.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

1996
Denotational semantic models for real-time LOTOS.
PhD thesis, 1996

1995
Real-time LOTOS and Timed Observations.
Proceedings of the Formal Description Techniques VIII, 1995

Towards a denotational semantics for ET-LOTOS.
Proceedings of the CONCUR '95: Concurrency Theory, 1995


  Loading...