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.
Gethin Norman
2010 – today
- 2013
[j31]Gethin Norman, David Parker, Jeremy Sproston: Model checking for probabilistic timed automata. Formal Methods in System Design 43(2): 164-190 (2013)- 2012
- [j30]Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic verification of Herman's self-stabilisation algorithm. Formal Asp. Comput. 24(4-6): 661-670 (2012)
- [j29]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. I. J. Comput. Appl. 20(2): 101-111 (2012)
- [j28]Alessandra Di Pierro, Gethin Norman: Editorial: Quantitative Aspects of Programming Languages. Theor. Comput. Sci. 413(1): 1 (2012)
- [c44]
- 2011
- [c43]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139
- [c42]Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591
- [c41]Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang: Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST 2011: 69-78
- [c40]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113
- [c39]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127
- [e2]Mieke Massink, Gethin Norman (Eds.): Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. EPTCS 57, 2011
- 2010
- [j27]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A game-based abstraction-refinement framework for Markov decision processes. Formal Methods in System Design 36(3): 246-280 (2010)
- [c38]Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45
- [c37]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Expected Reachability-Time Games. FORMATS 2010: 122-136
- [c36]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37
- [e1]Alessandra Di Pierro, Gethin Norman (Eds.): Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages. EPTCS 28, 2010
- [i1]Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Quantitative Games on Probabilistic Timed Automata. CoRR abs/1001.1933 (2010)
2000 – 2009
- 2009
- [j26]Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Performance Evaluation Review 36(4): 40-45 (2009)
- [j25]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti: Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009)
- [j24]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)
- [c35]Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430
- [c34]Marta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227
- [c33]Konstantinos Chatzikokolakis, Gethin Norman, David Parker: Bisimulation for Demonic Schedulers. FOSSACS 2009: 318-332
- [c32]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197
- 2008
- [j23]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)
- [j22]Marta Z. Kwiatkowska, Gethin Norman, David Parker: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008)
- [j21]Marta Z. Kwiatkowska, Gethin Norman, David Parker: Analysis of a gossip protocol in PRISM. SIGMETRICS Performance Evaluation Review 36(3): 17-22 (2008)
- [j20]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)
- [c31]Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro: Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112
- 2007
- [j19]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007)
- [c30]Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model checking the probabilistic pi-calculus. QEST 2007: 169-178
- [c29]
- 2006
- [j18]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)
- [j17]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)
- [j16]Gethin Norman, Vitaly Shmatikov: Analysis of probabilistic contract signing. Journal of Computer Security 14(6): 561-589 (2006)
- [j15]Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
- [j14]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
- [c28]Marta Z. Kwiatkowska, Gethin Norman, David Parker: Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248
- [c27]John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
- [c26]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
- [c25]Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166
- [c24]Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444
- [c23]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
- 2005
- [j13]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)
- [j12]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)
- [j11]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)
- [c22]Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman: Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139
- 2004
- [j10]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)
- [j9]Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT 6(2): 128-142 (2004)
- [c21]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308
- [c20]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275
- [c19]Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323
- [c18]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
- [c17]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-
- [c16]Gethin Norman: Analysing Randomized Distributed Algorithms. Validation of Stochastic Systems 2004: 384-418
- 2003
- [j8]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)
- [j7]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)
- [c15]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
- 2002
- [j6]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): 104-119 (2002)
- [j5]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): 589-604 (2002)
- [j4]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)
- [c14]Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
- [c13]
- [c12]
- [c11]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta: Formal analysis and validation of continuous-time Markov chain based system level power management strategies. HLDVT 2002: 45-50
- [c10]Marta Z. Kwiatkowska, Gethin Norman, António Pacheco: Model Checking CSL until Formulae with Random Time Bounds. PAPM-PROBMIV 2002: 152-168
- [c9]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
- [c8]Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66
- 2001
- [c7]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala: Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV 2001: 194-206
- [c6]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Symbolic Computation of Maximal Probabilistic Reachability. CONCUR 2001: 169-183
- [c5]Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
- 2000
- [c4]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137
- [c3]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
1990 – 1999
- 1999
- [j3]Christel Baier, Marta Z. Kwiatkowska, Gethin Norman: Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 22: 29 (1999)
- [c2]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS 1999: 75-95
- 1998
- [j2]Marta Z. Kwiatkowska, Gethin Norman: A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes. Electr. Notes Theor. Comput. Sci. 13: 182 (1998)
- [j1]Marta Z. Kwiatkowska, Gethin Norman: A Testing Equivalence for Reactive Probabilistic Processes. Electr. Notes Theor. Comput. Sci. 16(2): 114-132 (1998)
- 1996
- [c1]Marta Z. Kwiatkowska, Gethin Norman: Probabilistic Metric Semantics for a Simple Language with Recursion. MFCS 1996: 419-430
Coauthor Index
[j30] [j29] [c44] [c43] [c42] [c40] [c39] [j27] [c38] [c37] [c36] [i1] [j26] [j25] [c35] [c34] [c32] [j23] [j22] [j21] [j20] [j19] [c29] [j18] [j17] [j15] [j14] [c28] [c27] [c26] [c25] [c24] [c23] [j13] [j12] [j11] [c22] [j10] [j9] [c21] [c20] [c19] [c18] [c17] [j8] [j7] [c15] [j6] [j5] [j4] [c14] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [j3] [c2] [j2] [j1] [c1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:08 CEST by the dblp team