default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGethin Norman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]Rui Yan
, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. 300: 105193 (2024)- [c72]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Expectation vs. Reality: Towards Verification of Psychological Games. Principles of Verification (2) 2024: 166-191 - [c71]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. FM (1) 2024: 363-380 - [c70]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. L4DC 2024: 80-91 - [i18]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2404.10679 (2024) - [i17]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Expectation vs. Reality: Towards Verification of Psychological Games. CoRR abs/2411.05599 (2024) - 2023
- [i16]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR abs/2306.17639 (2023) - [i15]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2310.11566 (2023) - 2022
- [j35]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. 5: 385-410 (2022) - [c69]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design 2022: 388-406 - [c68]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS 2022: 4:1-4:22 - [c67]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) 2022: 60-78 - [i14]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR abs/2201.09702 (2022) - [i13]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2202.06255 (2022) - [i12]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR abs/2206.15148 (2022) - [i11]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR abs/2211.06141 (2022) - 2021
- [j34]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58(1-2): 188-250 (2021) - [j33]William Kavanagh, Alice Miller, Gethin Norman, Oana Andrei:
Balancing Turn-Based Games With Chained Strategy Generation. IEEE Trans. Games 13(2): 113-122 (2021) - [i10]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. CoRR abs/2111.10630 (2021) - 2020
- [j32]Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman:
Collaborative models for autonomous systems controller synthesis. Formal Aspects Comput. 32(2-3): 157-186 (2020) - [c66]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) 2020: 475-487 - [c65]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST 2020: 74-95 - [i9]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020) - [i8]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic Verification of Concurrent Stochastic Systems. CoRR abs/2008.04613 (2020)
2010 – 2019
- 2019
- [c64]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems 2019: 379-396 - [c63]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315 - [i7]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR abs/1906.09142 (2019) - 2018
- [c62]Ruben Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman:
Strategy Synthesis for Autonomous Agents Using PRISM. NFM 2018: 220-236 - [c61]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automated Verification of Concurrent Stochastic Games. QEST 2018: 223-239 - [i6]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR abs/1811.07145 (2018) - 2017
- [j31]Gethin Norman, David Parker, Xueyi Zou:
Verification and control of partially observable probabilistic systems. Real Time Syst. 53(3): 354-402 (2017) - [j30]Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras:
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Theor. Comput. Sci. 669: 1-21 (2017) - [c60]Marta Kwiatkowska, Gethin Norman, David Parker:
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools 2017: 289-309 - 2016
- [j29]Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected reachability-time games. Theor. Comput. Sci. 631: 139-160 (2016) - [c59]Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres:
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. SPIN 2016: 104-110 - [i5]Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres:
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. CoRR abs/1602.00646 (2016) - [i4]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected Reachability-Time Games. CoRR abs/1604.04435 (2016) - [i3]Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres:
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR abs/1609.00177 (2016) - 2015
- [c58]Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman:
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. FORMATS 2015: 140-155 - [c57]Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. FORMATS 2015: 240-255 - [c56]Md. Sadek Ferdous, Gethin Norman, Audun Jøsang, Ron Poet:
Mathematical Modelling of Trust Issues in Federated Identity Management. IFIPTM 2015: 13-29 - [i2]Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. CoRR abs/1506.06419 (2015) - 2014
- [j28]Mieke Massink, Gethin Norman, Herbert Wiklicky:
Quantitative Aspects of Programming Languages and Systems (2011-12). Theor. Comput. Sci. 538: 1 (2014) - [c55]Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind 2014: 40-58 - [c54]Md. Sadek Ferdous, Gethin Norman, Ron Poet:
Mathematical Modelling of Identity, Identity Management and Other Related Topics. SIN 2014: 9 - [e3]Gethin Norman, William H. Sanders:
Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Lecture Notes in Computer Science 8657, Springer 2014, ISBN 978-3-319-10695-3 [contents] - 2013
- [j27]Gethin Norman, David Parker, Jeremy Sproston:
Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2): 164-190 (2013) - [j26]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232: 38-65 (2013) - [j25]Péter Biró, Gethin Norman:
Analysis of stochastic matching markets. Int. J. Game Theory 42(4): 1021-1040 (2013) - 2012
- [j24]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. 24(4-6): 661-670 (2012) - [j23]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Int. J. Comput. Their Appl. 19(2): 101-111 (2012) - [j22]Alessandra Di Pierro, Gethin Norman:
Editorial: Quantitative Aspects of Programming Languages. Theor. Comput. Sci. 413(1): 1 (2012) - [c53]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
The PRISM Benchmark Suite. QEST 2012: 203-204 - 2011
- [c52]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139 - [c51]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591 - [c50]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 - [c49]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113 - [c48]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:
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. EPTCS 57, 2011 [contents] - 2010
- [j21]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. 36(3): 246-280 (2010) - [c47]Marta Kwiatkowska, Gethin Norman, David Parker:
Advances and challenges of probabilistic model checking. Allerton 2010: 1691-1698 - [c46]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45 - [c45]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected Reachability-Time Games. FORMATS 2010: 122-136 - [c44]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:
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. EPTCS 28, 2010 [contents] - [i1]Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Quantitative Games on Probabilistic Timed Automata. CoRR abs/1001.1933 (2010)
2000 – 2009
- 2009
- [j20]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Evaluation Rev. 36(4): 40-45 (2009) - [j19]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti:
Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009) - [j18]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) - [c43]Marta Kwiatkowska, Gethin Norman, David Parker:
Quantitative Verification Techniques for Biological Processes. Algorithmic Bioprocesses 2009: 391-409 - [c42]Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430 - [c41]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227 - [c40]Konstantinos Chatzikokolakis, Gethin Norman, David Parker:
Bisimulation for Demonic Schedulers. FoSSaCS 2009: 318-332 - [c39]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197 - 2008
- [j17]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Using probabilistic model checking in systems biology. SIGMETRICS Perform. Evaluation Rev. 35(4): 14-21 (2008) - [j16]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Analysis of a gossip protocol in PRISM. SIGMETRICS Perform. Evaluation Rev. 36(3): 17-22 (2008) - [j15]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) - [c38]Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112 - [c37]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Game-Based Probabilistic Predicate Abstraction in PRISM. QAPL 2008: 5-21 - 2007
- [j14]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang:
Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007) - [c36]Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model checking the probabilistic pi-calculus. QEST 2007: 169-178 - [c35]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Model Checking. SFM 2007: 220-270 - 2006
- [j13]Marta Z. Kwiatkowska, Gethin Norman, António Pacheco:
Model checking expected time and expected reward formulae with random time bounds. Comput. Math. Appl. 51(2): 305-316 (2006) - [j12]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29(1): 33-78 (2006) - [j11]Gethin Norman, Vitaly Shmatikov:
Analysis of probabilistic contract signing. J. Comput. Secur. 14(6): 561-589 (2006) - [j10]Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 8(3): 216-228 (2006) - [j9]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. 8(6): 621-632 (2006) - [c34]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248 - [c33]John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn:
Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47 - [c32]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 - [c31]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166 - [c30]Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444 - [c29]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney:
Simulation and verification for computational modelling of signalling pathways. WSC 2006: 1666-1674 - 2005
- [j8]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta:
Using probabilistic model checking for dynamic power management. Formal Aspects Comput. 17(2): 160-176 (2005) - [j7]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Perform. Evaluation Rev. 32(4): 16-21 (2005) - [j6]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla:
Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(10): 1629-1637 (2005) - [c28]Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman:
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139 - [c27]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Quantitative Analysis With the Probabilistic Model Checker PRISM. QAPL 2005: 5-31 - 2004
- [b1]Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden:
Mathematical techniques for analyzing concurrent and probabilistic systems. CRM monograph series 23, American Mathematical Society 2004, ISBN 978-0-8218-3571-5, pp. I-VIII, 1-215 - [j5]Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Int. J. Softw. Tools Technol. Transf. 5(2-3): 221-236 (2004) - [j4]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6(2): 128-142 (2004) - [c26]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang:
Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308 - [c25]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275 - [c24]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323 - [c23]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 - [c22]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- - [c21]Gethin Norman:
Analysing Randomized Distributed Algorithms. Validation of Stochastic Systems 2004: 384-418 - 2003
- [j3]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston:
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Aspects Comput. 14(3): 295-318 (2003) - [j2]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. Algebraic Methods Program. 56(1-2): 23-67 (2003) - [c20]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120 - 2002
- [j1]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) - [c19]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204 - [c18]Gethin Norman, Vitaly Shmatikov:
Analysis of Probabilistic Contract Signing. FASec 2002: 81-96 - [c17]Marta Z. Kwiatkowska, Gethin Norman:
Verifying Randomized Byzantine Agreement. FORTE 2002: 194-209 - [c16]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 - [c15]Marta Z. Kwiatkowska, Gethin Norman, António Pacheco:
Model Checking CSL until Formulae with Random Time Bounds. PAPM-PROBMIV 2002: 152-168 - [c14]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 - [c13]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66 - [c12]Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. FMICS 2002: 104-119 - [c11]Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker:
A Symbolic Out-of-Core Solution Method for Markov Models. PDMC@CONCUR 2002: 589-604 - 2001
- [c10]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala:
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV 2001: 194-206 - [c9]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston:
Symbolic Computation of Maximal Probabilistic Reachability. CONCUR 2001: 169-183 - [c8]Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38 - 2000
- [c7]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston:
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137 - [c6]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
- [c5]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston:
Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS 1999: 75-95 - 1998
- [c4]Christel Baier, Marta Z. Kwiatkowska, Gethin Norman:
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. PROBMIV 1998: 29 - [c3]Marta Z. Kwiatkowska, Gethin Norman:
A Testing Equivalence for Reactive Probabilistic Processes. EXPRESS 1998: 114-132 - 1997
- [c2]Marta Z. Kwiatkowska, Gethin Norman:
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes. COMPROX 1997: 182 - 1996
- [c1]Marta Z. Kwiatkowska, Gethin Norman:
Probabilistic Metric Semantics for a Simple Language with Recursion. MFCS 1996: 419-430
Coauthor Index
Marta Z. Kwiatkowska
aka: Marta Kwiatkowska
aka: Marta Kwiatkowska
[j36] [c72] [c71] [c70] [i18] [i17] [i16] [i15] [j35] [c69] [c68] [c67] [i14] [i13] [i12] [i11] [j34] [i10] [c66] [c65] [i9] [i8] [c64] [c63] [i7] [c61] [i6] [j30] [c60] [j29] [i4] [c58] [c55] [j26] [j24] [j23] [c53] [c52] [c51] [c49] [c48] [j21] [c47] [c46] [c45] [c44] [i1] [j20] [j19] [c43] [c42] [c41] [c39] [j17] [j16] [j15] [c37] [j14] [c35] [j13] [j12] [j10] [j9] [c34] [c33] [c32] [c31] [c30] [c29] [j8] [j7] [j6] [c28] [c27] [b1] [j5] [j4] [c26] [c25] [c24] [c23] [c22] [j3] [j2] [c20] [j1] [c19] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
[j36] [c72] [c71] [c70] [i18] [i17] [i16] [i15] [j35] [c69] [c68] [c67] [i14] [i13] [i12] [i11] [j34] [i10] [c66] [c65] [i9] [i8] [c64] [c63] [i7] [c61] [i6] [j31] [c60] [c57] [i2] [c55] [j27] [j26] [j24] [j23] [c53] [c52] [c51] [c50] [c49] [c48] [j21] [c47] [c46] [c44] [j20] [j19] [j18] [c43] [c41] [c40] [c39] [j17] [j16] [j15] [c38] [c37] [c36] [c35] [j12] [j10] [j9] [c34] [c33] [c32] [c31] [c30] [c29] [j8] [j7] [j6] [c27] [b1] [j4] [c25] [c24] [c23] [c22] [j2] [c20] [c19] [c16] [c13] [c11] [c8] [c6]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-28 22:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
