2009 |
56 | EE | Konstantinos Chatzikokolakis,
Gethin Norman,
David Parker:
Bisimulation for Demonic Schedulers.
FOSSACS 2009: 318-332 |
55 | EE | Mark Kattenbelt,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Abstraction Refinement for Probabilistic Software.
VMCAI 2009: 182-197 |
54 | EE | Gethin Norman,
Catuscia Palamidessi,
David Parker,
Peng Wu:
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.
IEEE Trans. Software Eng. 35(2): 209-223 (2009) |
53 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Maria Grazia Vigliotti:
Probabilistic Mobile Ambients.
Theor. Comput. Sci. 410(12-13): 1272-1303 (2009) |
2008 |
52 | EE | Pritam Roy,
David Parker,
Gethin Norman,
Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
QEST 2008: 103-112 |
51 | EE | Mark Kattenbelt,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Game-Based Probabilistic Predicate Abstraction in PRISM.
Electr. Notes Theor. Comput. Sci. 220(3): 5-21 (2008) |
50 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Using probabilistic model checking in systems biology.
SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008) |
49 | EE | John Heath,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn:
Probabilistic model checking of complex biological pathways.
Theor. Comput. Sci. 391(3): 239-257 (2008) |
2007 |
48 | EE | Gethin Norman,
Catuscia Palamidessi,
David Parker,
Peng Wu:
Model checking the probabilistic pi-calculus.
QEST 2007: 169-178 |
47 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Stochastic Model Checking.
SFM 2007: 220-270 |
46 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
Fuzhi Wang:
Symbolic model checking for probabilistic timed automata.
Inf. Comput. 205(7): 1027-1077 (2007) |
2006 |
45 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Symmetry Reduction for Probabilistic Model Checking.
CAV 2006: 234-248 |
44 | EE | John Heath,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn:
Probabilistic Model Checking of Complex Biological Pathways.
CMSB 2006: 32-47 |
43 | EE | Marcus Größer,
Gethin Norman,
Christel Baier,
Frank Ciesinski,
Marta Z. Kwiatkowska,
David Parker:
On Reduction Criteria for Probabilistic Reward Models.
FSTTCS 2006: 309-320 |
42 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Game-based Abstraction for Markov Decision Processes.
QEST 2006: 157-166 |
41 | EE | Andrew Hinton,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
PRISM: A Tool for Automatic Verification of Probabilistic Systems.
TACAS 2006: 441-444 |
40 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn,
John Heath,
Eamonn Gaffney:
Simulation and verification for computational modelling of signalling pathways.
Winter Simulation Conference 2006: 1666-1674 |
39 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Quantitative Analysis With the Probabilistic Model Checker PRISM.
Electr. Notes Theor. Comput. Sci. 153(2): 5-31 (2006) |
38 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Jeremy Sproston:
Performance analysis of probabilistic timed automata using digital clocks.
Formal Methods in System Design 29(1): 33-78 (2006) |
37 | EE | Gethin Norman,
Vitaly Shmatikov:
Analysis of probabilistic contract signing.
Journal of Computer Security 14(6): 561-589 (2006) |
36 | EE | Håkan L. S. Younes,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Numerical vs. statistical probabilistic model checking.
STTT 8(3): 216-228 (2006) |
35 | EE | Marie Duflot,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
A formal analysis of bluetooth device discovery.
STTT 8(6): 621-632 (2006) |
2005 |
34 | EE | Stefano Cattani,
Roberto Segala,
Marta Z. Kwiatkowska,
Gethin Norman:
Stochastic Transition Systems for Continuous State Spaces and Non-determinism.
FoSSaCS 2005: 125-139 |
33 | EE | Gethin Norman,
David Parker,
Marta Z. Kwiatkowska,
Sandeep K. Shukla,
Rajesh Gupta:
Using probabilistic model checking for dynamic power management.
Formal Asp. Comput. 17(2): 160-176 (2005) |
32 | EE | Gethin Norman,
David Parker,
Marta Z. Kwiatkowska,
Sandeep K. Shukla:
Evaluating the reliability of NAND multiplexing with PRISM.
IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1629-1637 (2005) |
31 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Probabilistic model checking in practice: case studies with PRISM.
SIGMETRICS Performance Evaluation Review 32(4): 16-21 (2005) |
2004 |
30 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
Fuzhi Wang:
Symbolic Model Checking for Probabilistic Timed Automata.
FORMATS/FTRTFT 2004: 293-308 |
29 | | Marie Duflot,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
A Formal Analysis of Bluetooth Device Discovery.
ISoLA (Preliminary proceedings) 2004: 268-275 |
28 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
PRISM 2.0: A Tool for Probabilistic Model Checking.
QEST 2004: 322-323 |
27 | EE | Håkan L. S. Younes,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
TACAS 2004: 46-60 |
26 | EE | Gethin Norman,
David Parker,
Marta Z. Kwiatkowska,
Sandeep K. Shukla:
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
VLSI Design 2004: 907- |
25 | EE | Gethin Norman:
Analysing Randomized Distributed Algorithms.
Validation of Stochastic Systems 2004: 384-418 |
24 | EE | Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman:
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.
STTT 5(2-3): 221-236 (2004) |
23 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Probabilistic symbolic model checking with PRISM: a hybrid approach.
STTT 6(2): 128-142 (2004) |
2003 |
22 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Jeremy Sproston:
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.
FORMATS 2003: 105-120 |
21 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston:
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.
Formal Asp. Comput. 14(3): 295-318 (2003) |
20 | EE | Holger Hermanns,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Markus Siegle:
On the use of MTBDDs for performability analysis and verification of stochastic systems.
J. Log. Algebr. Program. 56(1-2): 23-67 (2003) |
2002 |
19 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
PRISM: Probabilistic Symbolic Model Checker.
Computer Performance Evaluation / TOOLS 2002: 200-204 |
18 | EE | Gethin Norman,
Vitaly Shmatikov:
Analysis of Probabilistic Contract Signing.
FASec 2002: 81-96 |
17 | EE | Marta Z. Kwiatkowska,
Gethin Norman:
Verifying Randomized Byzantine Agreement.
FORTE 2002: 194-209 |
16 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
António Pacheco:
Model Checking CSL until Formulae with Random Time Bounds.
PAPM-PROBMIV 2002: 152-168 |
15 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston:
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.
PAPM-PROBMIV 2002: 169-187 |
14 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.
TACAS 2002: 52-66 |
13 | EE | Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman:
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
12 | EE | Marta Z. Kwiatkowska,
Rashid Mehmood,
Gethin Norman,
David Parker:
A Symbolic Out-of-Core Solution Method for Markov Models.
Electr. Notes Theor. Comput. Sci. 68(4): (2002) |
11 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Automatic verification of real-time systems with discrete probability distributions.
Theor. Comput. Sci. 282(1): 101-150 (2002) |
2001 |
10 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala:
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.
CAV 2001: 194-206 |
9 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston:
Symbolic Computation of Maximal Probabilistic Reachability.
CONCUR 2001: 169-183 |
8 | EE | Joost-Pieter Katoen,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Faster and Symbolic CTMC Model Checking.
PAPM-PROBMIV 2001: 23-38 |
2000 |
7 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.
CONCUR 2000: 123-137 |
6 | EE | Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Roberto Segala:
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
TACAS 2000: 395-410 |
1999 |
5 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Automatic Verification of Real-Time Systems with Discrete Probability Distributions.
ARTS 1999: 75-95 |
4 | EE | Christel Baier,
Marta Z. Kwiatkowska,
Gethin Norman:
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
1998 |
3 | EE | Marta Z. Kwiatkowska,
Gethin Norman:
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Electr. Notes Theor. Comput. Sci. 13: (1998) |
2 | EE | Marta Z. Kwiatkowska,
Gethin Norman:
A Testing Equivalence for Reactive Probabilistic Processes.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
1996 |
1 | | Marta Z. Kwiatkowska,
Gethin Norman:
Probabilistic Metric Semantics for a Simple Language with Recursion.
MFCS 1996: 419-430 |