Gethin Norman - RankMe

132 papers A* 3A 6B 9C 3Misc 2Journal 55Unranked 50

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Probabilistic Model Checking: Applications and Trends. Principles of Formal Quantitative Analysis Marta Kwiatkowska, Gethin Norman, David Parker
2025	J	`jnl`	Probabilistic Model Checking: Applications and Trends. CoRR Marta Kwiatkowska, Gethin Norman, David Parker
2024	—	`conf`	Expectation vs. Reality: Towards Verification of Psychological Games. Principles of Verification (2) Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2024	J	`jnl`	Expectation vs. Reality: Towards Verification of Psychological Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2024	J	`jnl`	HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024	—	`conf`	HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. L4DC Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024	—	`conf`	Partially Observable Stochastic Games with Neural Perception Mechanisms. FM (1) Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024	J	`jnl`	Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2023	J	`jnl`	Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2023	J	`jnl`	Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2022	—	`conf`	Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022	J	`jnl`	Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022	J	`jnl`	Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. Marta Kwiatkowska, Gethin Norman, David Parker
2022	B	`conf`	Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
2022	J	`jnl`	Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
2022	J	`jnl`	Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2022	—	`conf`	Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022	J	`jnl`	Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2021	J	`jnl`	Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2021	J	`jnl`	Balancing Turn-Based Games With Chained Strategy Generation. IEEE Trans. Games William Kavanagh, Alice Miller, Gethin Norman, Oana Andrei
2021	J	`jnl`	Probabilistic Model Checking and Autonomy. CoRR Marta Kwiatkowska, Gethin Norman, David Parker
2020	J	`jnl`	Automatic Verification of Concurrent Stochastic Systems. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020	J	`jnl`	Collaborative models for autonomous systems controller synthesis. Formal Aspects Comput. Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
2020	—	`conf`	Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020	J	`jnl`	Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020	—	`conf`	PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2019	B	`conf`	Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2019	—	`conf`	Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems Marta Kwiatkowska, Gethin Norman, David Parker
2019	J	`jnl`	Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker
2018	—	`conf`	Automated Verification of Concurrent Stochastic Games. QEST Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2018	J	`jnl`	Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2018	—	`conf`	Strategy Synthesis for Autonomous Agents Using PRISM. NFM Ruben Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman
2017	—	`conf`	Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools Marta Kwiatkowska, Gethin Norman, David Parker
2017	J	`jnl`	Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Theor. Comput. Sci. Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras
2017	J	`jnl`	Verification and control of partially observable probabilistic systems. Real Time Syst. Gethin Norman, David Parker, Xueyi Zou
2016	J	`jnl`	A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres
2016	—	`conf`	Autonomous Agent Behaviour Modelled in PRISM - A Case Study. SPIN Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
2016	J	`jnl`	Autonomous Agent Behaviour Modelled in PRISM - A Case Study. CoRR Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
2016	J	`jnl`	Expected Reachability-Time Games. CoRR Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2016	J	`jnl`	Expected reachability-time games. Theor. Comput. Sci. Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2015	—	`conf`	Mathematical Modelling of Trust Issues in Federated Identity Management. IFIPTM Md Sadek Ferdous, Gethin Norman, Audun Jøsang, Ron Poet
2015	—	`conf`	Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. FORMATS Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman
2015	—	`conf`	Verification and Control of Partially Observable Probabilistic Real-Time Systems. FORMATS Gethin Norman, David Parker, Xueyi Zou
2015	J	`jnl`	Verification and Control of Partially Observable Probabilistic Real-Time Systems. CoRR Gethin Norman, David Parker, Xueyi Zou
2014	C	`conf`	Mathematical Modelling of Identity, Identity Management and Other Related Topics. SIN Md Sadek Ferdous, Gethin Norman, Ron Poet
2014	—	`conf`	Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2014	J	`jnl`	Quantitative Aspects of Programming Languages and Systems (2011-12). Theor. Comput. Sci. Mieke Massink, Gethin Norman, Herbert Wiklicky
2014	—	`ed.`	Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings QEST Gethin Norman, William H. Sanders
2013	J	`jnl`	Analysis of stochastic matching markets. Int. J. Game Theory Péter Biró, Gethin Norman
2013	J	`jnl`	Compositional probabilistic verification through multi-objective model checking. Inf. Comput. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2013	J	`jnl`	Model checking for probabilistic timed automata. Formal Methods Syst. Des. Gethin Norman, David Parker, Jeremy Sproston
2012	J	`jnl`	Editorial: Quantitative Aspects of Programming Languages. Theor. Comput. Sci. Alessandra Di Pierro, Gethin Norman
2012	J	`jnl`	Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Int. J. Comput. Their Appl. Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2012	J	`jnl`	Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2012	—	`conf`	The PRISM Benchmark Suite. QEST Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011	—	`conf`	A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011	—	`conf`	Automated Verification Techniques for Probabilistic Systems. SFM Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011	—	`conf`	Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang
2011	A*	`conf`	PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011	—	`ed.`	Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. QAPL Mieke Massink, Gethin Norman
2011	A	`conf`	Quantitative Multi-objective Verification for Probabilistic Systems. TACAS Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2010	—	`conf`	A Framework for Verification of Software with Time and Probabilities. FORMATS Marta Z. Kwiatkowska, Gethin Norman, David Parker
2010	J	`jnl`	A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2010	—	`conf`	Advances and challenges of probabilistic model checking. Allerton Marta Kwiatkowska, Gethin Norman, David Parker
2010	A	`conf`	Assume-Guarantee Verification for Probabilistic Systems. TACAS Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2010	—	`conf`	Expected Reachability-Time Games. FORMATS Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2010	—	`ed.`	Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. QAPL Alessandra Di Pierro, Gethin Norman
2010	J	`jnl`	Quantitative Games on Probabilistic Timed Automata CoRR Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2009	B	`conf`	Abstraction Refinement for Probabilistic Software. VMCAI Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2009	B	`conf`	Bisimulation for Demonic Schedulers. FoSSaCS Konstantinos Chatzikokolakis, Gethin Norman, David Parker
2009	B	`conf`	Concavely-Priced Probabilistic Timed Automata. CONCUR Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2009	J	`jnl`	Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
2009	J	`jnl`	PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Evaluation Rev. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2009	J	`jnl`	Probabilistic Mobile Ambients. Theor. Comput. Sci. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti
2009	—	`conf`	Quantitative Verification Techniques for Biological Processes. Algorithmic Bioprocesses Marta Kwiatkowska, Gethin Norman, David Parker
2009	—	`conf`	Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008	J	`jnl`	Analysis of a gossip protocol in PRISM. SIGMETRICS Perform. Evaluation Rev. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008	—	`conf`	Game-Based Probabilistic Predicate Abstraction in PRISM. QAPL Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008	J	`jnl`	Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
2008	—	`conf`	Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro
2008	J	`jnl`	Using probabilistic model checking in systems biology. SIGMETRICS Perform. Evaluation Rev. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2007	—	`conf`	Model checking the probabilistic pi-calculus. QEST Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
2007	—	`conf`	Stochastic Model Checking. SFM Marta Z. Kwiatkowska, Gethin Norman, David Parker
2007	J	`jnl`	Symbolic model checking for probabilistic timed automata. Inf. Comput. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
2006	J	`jnl`	A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	J	`jnl`	Analysis of probabilistic contract signing. J. Comput. Secur. Gethin Norman, Vitaly Shmatikov
2006	—	`conf`	Game-based Abstraction for Markov Decision Processes. QEST Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	J	`jnl`	Model checking expected time and expected reward formulae with random time bounds. Comput. Math. Appl. Marta Z. Kwiatkowska, Gethin Norman, António Pacheco
2006	J	`jnl`	Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	—	`conf`	On Reduction Criteria for Probabilistic Reward Models. FSTTCS Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
2006	A	`conf`	PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	J	`jnl`	Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
2006	—	`conf`	Probabilistic Model Checking of Complex Biological Pathways. CMSB John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
2006	Misc	`conf`	Simulation and verification for computational modelling of signalling pathways. WSC Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney
2006	A*	`conf`	Symmetry Reduction for Probabilistic Model Checking. CAV Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005	J	`jnl`	Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
2005	J	`jnl`	Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Perform. Evaluation Rev. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005	—	`conf`	Quantitative Analysis With the Probabilistic Model Checker PRISM. QAPL Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005	B	`conf`	Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
2005	J	`jnl`	Using probabilistic model checking for dynamic power management. Formal Aspects Comput. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta
2004	—	`conf`	A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	—	`conf`	Analysing Randomized Distributed Algorithms. Validation of Stochastic Systems Gethin Norman
2004	J	`jnl`	Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Int. J. Softw. Tools Technol. Transf. Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
2004	Misc	`conf`	Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. VLSI Design Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
2004	—	`book`	Mathematical techniques for analyzing concurrent and probabilistic systems. Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden
2004	A	`conf`	Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	—	`conf`	PRISM 2.0: A Tool for Probabilistic Model Checking. QEST Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	J	`jnl`	Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	—	`conf`	Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
2003	J	`jnl`	On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebraic Methods Program. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
2003	—	`conf`	Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
2003	J	`jnl`	Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Aspects Comput. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
2002	—	`conf`	A Symbolic Out-of-Core Solution Method for Markov Models. PDMC@CONCUR Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker
2002	—	`conf`	Analysis of Probabilistic Contract Signing. FASec Gethin Norman, Vitaly Shmatikov
2002	C	`conf`	Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. FMICS Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
2002	J	`jnl`	Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
2002	—	`conf`	Formal analysis and validation of continuous-time Markov chain based system level power management strategies. HLDVT Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta
2002	—	`conf`	Model Checking CSL until Formulae with Random Time Bounds. PAPM-PROBMIV Marta Z. Kwiatkowska, Gethin Norman, António Pacheco
2002	—	`conf`	PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS Marta Z. Kwiatkowska, Gethin Norman, David Parker
2002	—	`conf`	Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. PAPM-PROBMIV Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
2002	A	`conf`	Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS Marta Z. Kwiatkowska, Gethin Norman, David Parker
2002	C	`conf`	Verifying Randomized Byzantine Agreement. FORTE Marta Z. Kwiatkowska, Gethin Norman
2001	A*	`conf`	Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala
2001	—	`conf`	Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2001	B	`conf`	Symbolic Computation of Maximal Probabilistic Reachability. CONCUR Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
2000	A	`conf`	Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala
2000	B	`conf`	Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
1999	—	`conf`	Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
1998	—	`conf`	A Testing Equivalence for Reactive Probabilistic Processes. EXPRESS Marta Z. Kwiatkowska, Gethin Norman
1998	—	`conf`	Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. PROBMIV Christel Baier, Marta Z. Kwiatkowska, Gethin Norman
1997	—	`conf`	A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes COMPROX Marta Z. Kwiatkowska, Gethin Norman
1996	B	`conf`	Probabilistic Metric Semantics for a Simple Language with Recursion. MFCS Marta Z. Kwiatkowska, Gethin Norman