According to our database1, Jeremy Bryans
Legend:Book In proceedings Article PhD thesis Other
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.
Fault Modelling in System-of-Systems Contracts.
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
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