Jeremy Bryans

According to our database1, Jeremy Bryans
  • authored at least 40 papers between 1995 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Stochastic Model Checking for Multimedia
CoRR, 2000

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

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

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

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