Jeremy Bryans

Jeremy W. Bryans

	2011
25		Jeremy Bryans, John S. Fitzgerald: Proceedings Third Workshop on Formal Aspects of Virtual Organisations FAVO 2011
24		Jeremy W. Bryans: Developing a Consensus Algorithm Using Stepwise Refinement. ICFEM 2011: 553-568
23		Jeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon: Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. PRO-VE 2011: 314-321
	2010
22		Jeremy W. Bryans, Wei Wei: Formal Analysis of BPMN Models Using Event-B. FMICS 2010: 33-49
21		Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth: Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS 2010: 105-114
	2009
20		Jeremy Bryans, John S. Fitzgerald: Proceedings Second Workshop on Formal Aspects of Virtual Organisations FAVO 2009
19		Jeremy Bryans, John S. 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, Hugo 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 S. Fitzgerald	[14] [16] [19] [20] [21] [23] [25]
8	Xiangguo Gong	[18]
9	M. D. Hamilton	[18]
10	Hugo Hiden	[18]
11	Cliff B. Jones (Clifford B. Jones)	[14]
12	Maciej Koutny	[9] [11] [13] [17]
13	Bev Littlewood	[15]
14	Laurent Mazaré	[13] [17]
15	Tom McCutcheon	[23]
16	Lionel Morel	[10]
17	Igor Mozolevsky	[14]
18	Panos Periorellis	[18]
19	Alexander Romanovsky (Alexander B. Romanovsky)	[19] [21]
20	Andreas Roth	[19] [21]
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	Wei Wei	[22]
28	A. R. Wright	[18]
29	Jiyi Wu	[18]
30	F. Zhu	[18]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page