Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jeremy Bryans
Jeremy W. Bryans
2010 – today
- 2012
[c20]John S. Fitzgerald, Jeremy Bryans, Richard Payne: A Formal Model-Based Approach to Engineering Systems-of-Systems. PRO-VE 2012: 53-62- [c19]Richard Payne, Jeremy Bryans, John S. Fitzgerald, Steve Riddle: Interface specification for system-of-systems architectures. SoSE 2012: 567-572
- [c18]Jeremy W. Bryans, Maciej Koutny, Chunyan Mu: Towards Quantitative Analysis of Opacity. TGC 2012: 145-163
- 2011
- [c17]
- [c16]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
- [e2]Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Third Workshop on Formal Aspects of Virtual Organisations. EPTCS 83, 2011
- 2010
- [c15]
- [c14]Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth: Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS 2010: 105-114
2000 – 2009
- 2009
- [c13]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
- [e1]Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Second Workshop on Formal Aspects of Virtual Organisations. EPTCS 16, 2009
- 2008
- [j5]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)
- [j4]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
- [c12]Jeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
- 2006
- [c11]Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995
- [c10]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
- [j3]Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
- [c9]Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
- [c8]
- 2004
- [c7]Carron Shankland, Jeremy Bryans, Lionel Morel: Expressing Iterative Properties Logically in a Symbolic Setting. AMAST 2004: 460-474
- [c6]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
- [j2]Jeremy Bryans, Howard Bowman, John Derrick: Model checking stochastic automata. ACM Trans. Comput. Log. 4(4): 452-492 (2003)
- 2001
- [j1]Howard Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)
- [c5]Jeremy Bryans, Carron Shankland: Implementing a Modal Logic over Data and Processes using XTL. FORTE 2001: 201-218
- 2000
- [c4]Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193
- [i1]Jeremy Bryans, Howard Bowman, John Derrick: Stochastic Model Checking for Multimedia. CoRR cs.MM/0002004 (2000)
1990 – 1999
- 1999
- [c3]
- 1995
- [c2]Jeremy Bryans, Jim Davies, Steve Schneider: Towards a denotational semantics for ET-LOTOS. CONCUR 1995: 269-283
- [c1]Jim Davies, Jeremy Bryans, Steve Schneider: Real-time LOTOS and Timed Observations. FORTE 1995: 383-397
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:57 CEST by the dblp team