Jeremy Bryans

	2009
19		Jeremy Bryans, John Fitzgerald, Alexander Romanovsky, Andreas Roth: Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS 2009: 68-77
	2008
18		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)
17		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
16		Jeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
	2006
15		Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995
14		Jeremy Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky: Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA 2006: 91-98
	2005
13		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		Jeremy Bryans: Reasoning about XACML policies using CSP. SWS 2005: 28-35
11		Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
	2004
10		Carron Shankland, Jeremy Bryans, Lionel Morel: Expressing Iterative Properties Logically in a Symbolic Setting. AMAST 2004: 460-474
9		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		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		Howard Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)
	2000
5		Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193
4		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	[18]
4	N. Cook	[18]
5	Jim Davies	[1] [2]
6	John Derrick	[3] [4] [5] [6] [8]
7	John Fitzgerald	[19]
8	John S. Fitzgerald	[14] [16]
9	Xiangguo Gong	[18]
10	M. D. Hamilton	[18]
11	H. Hiden	[18]
12	Cliff B. Jones	[14]
13	Maciej Koutny	[9] [11] [13] [17]
14	Bev Littlewood	[15]
15	Laurent Mazaré	[13] [17]
16	Lionel Morel	[10]
17	Igor Mozolevsky	[14]
18	Panos Periorellis	[18]
19	Alexander Romanovsky (Alexander B. Romanovsky)	[19]
20	Andreas Roth	[19]
21	Peter Y. A. Ryan (Peter Ryan)	[9] [11] [13] [15] [17]
22	Steve A. Schneider (Steve Schneider)	[1] [2]
23	Carron Shankland	[7] [10]
24	R. Smith	[18]
25	Lorenzo Strigini	[15]
26	Paul Watson	[18]
27	A. R. Wright	[18]
28	Jiyi Wu	[18]
29	F. Zhu	[18]

Colors in the list of coauthors