Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 9.

Article

Bryans, Jeremy and Bowman, Howard and Derrick, John (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. (The full text of this publication is not available from this repository)

Bowman, Howard and Bryans, Jeremy and Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620 . (The full text of this publication is not available from this repository)

Monograph

Akehurst, David H. and Bowman, Howard and Bryans, Jeremy and Derrick, John (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report. n/a (Full text available)
[img]
Preview

Bryans, Jeremy and Bowman, Howard and Derrick, John (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent (Full text available)
[img]
Preview
[img]
Preview

Pearson, Justin and Bryans, Jeremy (1998) Constraint Oriented Specification with CSP and Real Time Temporal Logic. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Bryans, Jeremy and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings. Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Bryans, Jeremy and Derrick, John (2000) Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, July 24-25, 2000, Durham Univ. uk, . (The full text of this publication is not available from this repository)

Bowman, Howard and Bryans, Jeremy and Derrick, John (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Sixth International Workshop on Process Algebras and Performance Modelling, 1998. (Full text available)
[img]
Preview

Research report (external)

King, Andy and Bryans, Jeremy (1998) Using Probability to Reason about Soft Deadlines. University of Kent, School of Computing, 7 pp. (Full text available)
[img]
Preview

This list was generated on Wed Jun 18 11:40:11 2014 BST.