Jeremy Bryans
13 published titles
Modelling opacity using Petri nets
1 edition
- University of Newcastle-upon-Tyne, Computing Science
- 2004
- Details
Formal engineering of XACML access control policies in VDM++
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
A formal approach to dependable evolution of access control policies in dynamic collaborations
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
Validating access control policies for virtual organisations
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
Proceedings of Formal aspects of virtual organisations 2008
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2008
- Details
Proceedings of Formal Aspects of Virtual Organisations 2009
(Contributor)
1 edition
- Computing Science, Newcastle University
- 2009
- Details
Proceedings of the 7th OVERTURE workshop
(Contributor)
1 edition
- Computing Science, Newcastle University
- 2009
- Details
Patterns for modelling time and consistency in business information systems
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2009
- Details
Formal analysis of BPMN models using Event-B
1 edition
- Computer Science, Newcastle University
- 2010
- Details
Developing a consensus algorithm using stepwise refinement
1 edition
- Newcastle University, Computing Science
- 2010
- Details
Modelling the major incident procedure manual : a system of systems case study
(Contributor)
1 edition
- Computer Science, Newcastle University
- 2012
- Details
A formal model-based approach to engineering systems-of-systems
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2012
- Details
Maintaining emergence in systems of systems integration : a contractual approach using SysML
1 edition
- University of Newcastle Upon Tyne, Computing Science
- 2014
- Details
