Jeremy Bryans

2008
17	EE	Panos Periorellis, N. Cook, H. Hiden, A. Conlin, M. D. Hamilton, Jiyi Wu, Jeremy Bryans, Xiangguo Gong, F. Zhu, R. Smith, Paul Watson, A. R. Wright: GOLD infrastructure for virtual organizations. Concurrency and Computation: Practice and Experience 20(11): 1273-1288 (2008)
16	EE	Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)
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	A. Conlin	[17]
4	N. Cook	[17]
5	Jim Davies	[1] [2]
6	John Derrick	[3] [4] [5] [6] [8]
7	John S. Fitzgerald	[15]
8	Xiangguo Gong	[17]
9	M. D. Hamilton	[17]
10	H. Hiden	[17]
11	Maciej Koutny	[9] [11] [13] [16]
12	Bev Littlewood	[14]
13	Laurent Mazaré	[13] [16]
14	Lionel Morel	[10]
15	Panos Periorellis	[17]
16	Peter Y. A. Ryan (Peter Ryan)	[9] [11] [13] [14] [16]
17	Steve A. Schneider (Steve Schneider)	[1] [2]
18	Carron Shankland	[7] [10]
19	R. Smith	[17]
20	Lorenzo Strigini	[14]
21	Paul Watson	[17]
22	A. R. Wright	[17]
23	Jiyi Wu	[17]
24	F. Zhu	[17]

Colors in the list of coauthors