Jeremy Bryans

2007
15	EE	Jeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
2006
14	EE	Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995
2005
13	EE	Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
12	EE	Jeremy Bryans: Reasoning about XACML policies using CSP. SWS 2005: 28-35
11	EE	Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
2004
10	EE	Carron Shankland, Jeremy Bryans, Lionel Morel: Expressing Iterative Properties Logically in a Symbolic Setting. AMAST 2004: 460-474
9	EE	Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Formal Aspects in Security and Trust 2004: 159-172
2003
8	EE	Jeremy Bryans, Howard Bowman, John Derrick: Model checking stochastic automata. ACM Trans. Comput. Log. 4(4): 452-492 (2003)
2001
7		Jeremy Bryans, Carron Shankland: Implementing a Modal Logic over Data and Processes using XTL. FORTE 2001: 201-218
6	EE	Howard Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)
2000
5	EE	Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193
4	EE	Jeremy Bryans, Howard Bowman, John Derrick: Stochastic Model Checking for Multimedia CoRR cs.MM/0002004: (2000)
1999
3		Jeremy Bryans, John Derrick: Stochastic Specification and Verification. IWFM 1999
1995
2		Jeremy Bryans, Jim Davies, Steve Schneider: Towards a denotational semantics for ET-LOTOS. CONCUR 1995: 269-283
1		Jim Davies, Jeremy Bryans, Steve Schneider: Real-time LOTOS and Timed Observations. FORTE 1995: 383-397

Coauthor Index

1	Lynne Blair	[5]
2	Howard Bowman	[4] [5] [6] [8]
3	Jim Davies	[1] [2]
4	John Derrick	[3] [4] [5] [6] [8]
5	John S. Fitzgerald	[15]
6	Maciej Koutny	[9] [11] [13]
7	Bev Littlewood	[14]
8	Laurent Mazaré	[13]
9	Lionel Morel	[10]
10	Peter Y. A. Ryan (Peter Ryan)	[9] [11] [13] [14]
11	Steve A. Schneider (Steve Schneider)	[1] [2]
12	Carron Shankland	[7] [10]
13	Lorenzo Strigini	[14]

Colors in the list of coauthors