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

Gethin Norman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
58EEMarcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430
57EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227
56EEKonstantinos Chatzikokolakis, Gethin Norman, David Parker: Bisimulation for Demonic Schedulers. FOSSACS 2009: 318-332
55EEMark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197
54EEGethin 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)
53EEMarta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti: Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009)
2008
52EEPritam Roy, David Parker, Gethin Norman, Luca de Alfaro: Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112
51EEMark 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)
50EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008)
49EEJohn 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
48EEGethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model checking the probabilistic pi-calculus. QEST 2007: 169-178
47EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Model Checking. SFM 2007: 220-270
46EEMarta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007)
2006
45EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248
44EEJohn Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
43EEMarcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
42EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166
41EEAndrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444
40EEMarta 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
39EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Quantitative Analysis With the Probabilistic Model Checker PRISM. Electr. Notes Theor. Comput. Sci. 153(2): 5-31 (2006)
38EEMarta 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)
37EEGethin Norman, Vitaly Shmatikov: Analysis of probabilistic contract signing. Journal of Computer Security 14(6): 561-589 (2006)
36EEHåkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
35EEMarie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
2005
34EEStefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman: Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139
33EEGethin 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)
32EEGethin 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)
31EEMarta 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
30EEMarta 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
28EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323
27EEHåkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60
26EEGethin 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-
25EEGethin Norman: Analysing Randomized Distributed Algorithms. Validation of Stochastic Systems 2004: 384-418
24EEConrado 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)
23EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT 6(2): 128-142 (2004)
2003
22EEMarta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
21EEMarta 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)
20EEHolger 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
19EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
18EEGethin Norman, Vitaly Shmatikov: Analysis of Probabilistic Contract Signing. FASec 2002: 81-96
17EEMarta Z. Kwiatkowska, Gethin Norman: Verifying Randomized Byzantine Agreement. FORTE 2002: 194-209
16EEMarta Z. Kwiatkowska, Gethin Norman, António Pacheco: Model Checking CSL until Formulae with Random Time Bounds. PAPM-PROBMIV 2002: 152-168
15EEMarta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. PAPM-PROBMIV 2002: 169-187
14EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66
13EEConrado 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)
12EEMarta 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)
11EEMarta 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
10EEMarta Z. Kwiatkowska, Gethin Norman, Roberto Segala: Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV 2001: 194-206
9EEMarta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Symbolic Computation of Maximal Probabilistic Reachability. CONCUR 2001: 169-183
8EEJoost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
2000
7EEMarta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137
6EELuca 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
5EEMarta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS 1999: 75-95
4EEChristel 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
3EEMarta Z. Kwiatkowska, Gethin Norman: A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes Electr. Notes Theor. Comput. Sci. 13: (1998)
2EEMarta Z. Kwiatkowska, Gethin Norman: A Testing Equivalence for Reactive Probabilistic Processes. Electr. Notes Theor. Comput. Sci. 16(2): (1998)
1996
1EEMarta Z. Kwiatkowska, Gethin Norman: Probabilistic Metric Semantics for a Simple Language with Recursion. MFCS 1996: 419-430

Coauthor Index

1Luca de Alfaro [6] [52]
2Christel Baier [4] [43]
3Stefano Cattani [34]
4Konstantinos Chatzikokolakis [56]
5Frank Ciesinski [43]
6Conrado Daws [13] [24]
7Marie Duflot [29] [35]
8Eamonn Gaffney [40]
9Marcus Größer [43]
10Rajesh K. Gupta (Rajesh Gupta) [33]
11John Heath [40] [44] [49]
12Holger Hermanns [20]
13Andrew Hinton [41]
14Marcin Jurdzinski [58]
15Joost-Pieter Katoen [8]
16Mark Kattenbelt [51] [55]
17Marta Z. Kwiatkowska [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [49] [50] [51] [53] [55] [57] [58]
18Rashid Mehmood [12]
19António Pacheco [16]
20Catuscia Palamidessi [48] [54]
21David Parker [6] [8] [12] [14] [19] [20] [22] [23] [26] [27] [28] [29] [31] [32] [33] [35] [36] [38] [39] [40] [41] [42] [43] [44] [45] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]
22Pritam Roy [52]
23Roberto Segala [5] [6] [7] [10] [11] [34]
24Vitaly Shmatikov [18] [37]
25Sandeep K. Shukla [26] [32] [33]
26Markus Siegle [20]
27Jeremy Sproston [5] [7] [9] [11] [15] [21] [22] [30] [38] [46]
28Ashutosh Trivedi [58]
29Oksana Tymchyshyn [40] [44] [49]
30Maria Grazia Vigliotti [53]
31Fuzhi Wang [30] [46]
32Peng Wu [48] [54]
33Håkan L. S. Younes [27] [36]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)