dblp.uni-trier.dewww.uni-trier.de

Jeremy Bryans

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
17EEPanos 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)
16EEJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)
2007
15EEJeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
2006
14EEJeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995
2005
13EEJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
12EEJeremy Bryans: Reasoning about XACML policies using CSP. SWS 2005: 28-35
11EEJeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
2004
10EECarron Shankland, Jeremy Bryans, Lionel Morel: Expressing Iterative Properties Logically in a Symbolic Setting. AMAST 2004: 460-474
9EEJeremy 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
8EEJeremy 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
6EEHoward Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)
2000
5EEJeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193
4EEJeremy 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

1Lynne Blair [5]
2Howard Bowman [4] [5] [6] [8]
3A. Conlin [17]
4N. Cook [17]
5Jim Davies [1] [2]
6John Derrick [3] [4] [5] [6] [8]
7John S. Fitzgerald [15]
8Xiangguo Gong [17]
9M. D. Hamilton [17]
10H. Hiden [17]
11Maciej Koutny [9] [11] [13] [16]
12Bev Littlewood [14]
13Laurent Mazaré [13] [16]
14Lionel Morel [10]
15Panos Periorellis [17]
16Peter Y. A. Ryan (Peter Ryan) [9] [11] [13] [14] [16]
17Steve A. Schneider (Steve Schneider) [1] [2]
18Carron Shankland [7] [10]
19R. Smith [17]
20Lorenzo Strigini [14]
21Paul Watson [17]
22A. R. Wright [17]
23Jiyi Wu [17]
24F. Zhu [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)