Newcastle University

My area of research broadly includes the security and dependability socio-technical systems. My background is in formal methods.

Together with John Fitzgerald, I co-founded the series of workshops on Formal Aspects of Virtual Organisations. The proceedings of the most recent workshop can be found here.

• Bryans JW, Wei W. Formal Analysis of BPMN models using Event-B. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1201.
• Bryans JW, Wei W. Formal Analysis of BPMN Models Using Event-B. In: Formal Methods for Industrial Critical Systems: 15th International Workshop (FMICS). 2010, Antwerp, Belgium: Springer.
• Bryans JW, Fitzgerald JS, Romanovsky A, Roth A. Patterns for Modelling Time and Consistency in Business Information Systems. In: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 2010, Oxford, UK: IEEE.
• Bryans J, Fitzgerald JS, Romanovsky A, Roth A. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. In: 14th IEEE International Conference on Engineering of Complex Computer Systems.2009,Potsdam, Germany:IEEE
• Bryans J W, Fitzgerald J S, Romanovsky A, Roth A. Patterns for Modelling Time and Consistency in Business Information Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1178.
• Bryans JW, Fitzgerald JS. Proceedings of Formal Aspects of Virtual Organisations 2009. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1176.
• Bryans J, Fitzgerald J, ed. Proceedings of the Second Workshop on Formal Aspects of Virtual Organisations. Eindhoven, The Netherlands. 3 November 2009. Australia: Open Publishing Association, 2009.
• Bryans JW, Fitzgerald JS, Greathead D, Jones CB, Payne RJ. A Dynamic Coalitions Workbench: Final Report. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1091.
• Bryans J, Fitzgerald J, Romanovsky A, Roth A. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1131.
• Periorellis P, Cook N, Hiden H, Conlin A, Hamilton MD, Wu J, Bryans J, Gong X, Zhu F, Smith R, Watson P, Wright AR. GOLD infrastructure for virtual organizations. Concurrency and Computation: Practice and Experience 2008, 20(11), 1273-1288.
• Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity generalised to transition systems. International Journal of Information Security 2008, 7(6), 421-435.
• Bryans J, Fitzgerald J. Proceedings of Formal Aspects of Virtual Organisations 2008. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1098.
• Bryans JW, Fitzgerald JS, Periorellis P. A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations. In: 37th IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinbugh, UK.
• Bryans JW, Fitzgerald JS, Periorellis P. A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations. Newcastle upon Tyne:School of Computing Science, University of Newcastle upon Tyne,2007.
• Bryans J, Fitzgerald JS. Formal Engineering of XACML Access Control Policies in VDM++. In: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM. 2007, Boca Raton, FL, USA: Springer.
• Bryans JW, Fitzgerald JS. Formal Engineering of XACML Access Control Policies in VDM++. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1028.
• Bryans J, Fitzgerald J. Validating Access Control Policies for Virtual Organisations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1054.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Dimensions of Dynamic Coalitions. Newcastle upon Tyne:School of Computing Science, University of Newcastle upon Tyne,2006.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006). 2006, Paphos, Cyprus: IEEE.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 981.
• Periorellis P, Cook N, Hiden H, Conlin A, Hamilton MD, Wu J, Bryans J, Gong X, Zhu F, Wright A. GOLD Infrastructure for Virtual Organisations. In: UK e-Science All Hands Meeting 2006. 2006, Nottingham, UK: National e-Science Centre.
• Bryans JW, Fitzgerald JS, Periorellis P. Model Based Analysis and Validation of Access Control Policies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 976.
• Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity generalised to transition systems. In: Formal Aspects in Security and Trust: 3rd International Workshop (FAST). 2006, Newcastle upon Tyne, UK: Springer.
• Bryans JW, Koutny M, Ryan PYA. Modelling Dynamic Opacity using Petri Nets with Silent Actions. In: Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress. 2005, Toulouse, France: Springer Verlag.
• Bryans J, Koutny M, Ryan PYA. Modelling opacity using petri nets. Electronic Notes in Theoretical Computer Science 2005, 121, 101-115.
• Bryans J. Reasoning about XACML policies using CSP. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 924.
• Ryan P, Bryans J. A Simplified Version of the Chaum Voting Scheme. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 843.
• Bryans JW, Koutny M, Ryan PYA. Modelling Dynamic Opacity using Petri Nets with Silent Actions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 855.
• Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity Generalised to Transition Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 868.
• Bryans J, Ryan P. A Dependability Analysis of the Chaum Digital Voting Scheme. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 809.
• Bryans J, Bowman H, Derrick J. Model Checking Stochastic Automata. ACM Transactions on Computational Logic 2003,4 4 452-492.
• Bowman H, Bryans J, Derrick J. Analysis of a Multimedia Stream using Stochastic Process Algebra. The Computer Journal 2001,44 4 230-245.
• Bryans J, Shankland C. Implementing a Modal Logic over Data and Processes using XTL. In: 21st IFIP TC 6/WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE).2001,Cheju Island, Korea:Kluwer Academic Publishers
• Bryans J, Verdejo A, Shankland C. Using Rewriting Logic to implement the modal logic FULL. In: 1st Workshop on Automated Verification of Critical Systems (AVoCS).2001,Oxford University, UK:Oxford University Computing Laboratory
• Akehurst D, Bowman H, Bryans J, Derrick J. A Manual for a Model Checker for Stochastic Automata. Canterbury, UK:University of Kent at Canterbury,2000.
• Bowman H, Bryans J, Derrick J. A model checking algorithm for stochastic systems. Canterbury, UK:University of Kent at Canterbury,2000.
• Bryans J, Derrick J. Stochastic Specification and Verification. In: 3rd Irish Workshop on Formal Methods (IWFM).1999,Galway, Ireland:British Computer Society
• King A, Bryans J. Using Probability to Reason about Soft Deadlines. In: International Workshop on Concurrent Constraint Programming for Time Critical Applications (COTIC).1999
• Bowman H, Bryans J, Derrick J. Analysis of a Multimedia Stream using Stochastic Process Algebra. In: 6th International Workshop on Process Algebras and Performance Modelling (PAPM).1998,Nice, France
• Pearson J, Bryans J. Combining CSP and Temporal Logic. Proceedings of the Estonian Academy of Science 1998,4 2 130-137.
• Pearson J, Bryans J. Constraint Oriented Specification with CSP and Real-time Logic. Canterbury, UK:University of Kent at Canterbury,1998.
• King A, Bryans J. Using Probability to Reason about Soft Deadlines. Canterbury, UK:University of Kent at Canterbury,1998.
• Bryans J, Schneider S. CSP, PVS and a Recursive Authentication Protocol. In: DIMACS Workshop on Design and Formal Verification of Security Protocols.1997,DIMACS Center, Rutgers University, Piscataway, NJ, USA :DIMACS
• Bryans J, Schneider S. Mechanical Verification of the full Needham-Schroeder Public Key Protocol. London, UK:Royal Holloway and Bedford New College,1997.
• Davies J, Bryans J, Schneider S. Real-time LOTOS and Timed Observations. In: 8th IFIP TC6 International Conference on Formal Description Techniques (FORTE).1996,Montreal, Canada:Chapman & Hall
• Bryans J, Davies J, Schneider S. Towards a denotational semantics for ET-LOTOS. In: 6th International Conference on Concurrency Theory (CONCUR).1995,Pittsburgh, Pennsylvania, USA:Springer-Verlag
• Schneider S, Bryans J, Davies J. A failures semantics for ET-LOTOS. Reading, UK:Reading University,1994.
• Bryans J, Davies J, Schneider S. Real-time CSP and ET-LOTOS. Reading, UK:Reading University,1994.
• Payne R, Bryans J. Modelling the Major Incident Procedure Manual: A System of Systems Case Study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1320.
• Bryans JW. Developing a Consensus Algorithm using Stepwise Refinement. In: 13th International Conference on Formal Engeneering Methods. 2011, Durham, UK: Springer.
• Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. Modelling and Refinement of the MONDEX Electronic Purse in VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1308.
• Bryans J, Fitzgerald JS, McCutcheon T. Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. In: 12th IFIP Working Conference on Virtual Enterprises. 2011, Sao Paulo, Brazil: Springer.
• Bryans J, Koutny M, Mu C. Towards Quantitative Analysis of Opacity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1304.
• Bryans JW. Developing a Consensus Algorithm using Stepwise Refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1228.
• Bryans JW, Koutny M, Ryan PYA. Modelling dynamic opacity using petri nets with silent actions. In: 2nd International Workshop on Formal Aspects in Security and Trust held at the 18th World Computer Congress. 2005, Toulouse, France: Springer.
• Bryans J. Reasoning about XACML policies using CSP. In: Proceedings of the ACM Conference on Computer and Communications Security. 2005, Alexandria, Virginia, USA: ACM Press.