| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandra Di Pierro, Gethin Norman |
Editorial: Quantitative Aspects of Programming Languages.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mieke Massink, Gethin Norman (eds.) |
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
Quantitative Multi-objective Verification for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Automated Verification Techniques for Probabilistic Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM 4.0: Verification of Probabilistic Real-Time Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang |
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis |
| 1 | Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. |
BICoB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Gethin Norman (eds.) |
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
Quantitative Games on Probabilistic Timed Automata |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A game-based abstraction-refinement framework for Markov decision processes. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
Assume-Guarantee Verification for Probabilistic Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A Framework for Verification of Software with Time and Probabilities. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
Expected Reachability-Time Games. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002 |
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti |
Probabilistic Mobile Ambients. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM: probabilistic model checking for performance and reliability analysis. |
SIGMETRICS Performance Evaluation Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
Concavely-Priced Probabilistic Timed Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Stochastic Games for Verification of Probabilistic Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Abstraction Refinement for Probabilistic Software. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Gethin Norman, David Parker |
Bisimulation for Demonic Schedulers. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn |
Probabilistic model checking of complex biological pathways. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Game-Based Probabilistic Predicate Abstraction in PRISM. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Using probabilistic model checking in systems biology. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Analysis of a gossip protocol in PRISM. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro |
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang |
Symbolic model checking for probabilistic timed automata. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Stochastic Model Checking. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002 |
Model checking the probabilistic pi-calculus. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, Vitaly Shmatikov |
Analysis of probabilistic contract signing. |
Journal of Computer Security |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Quantitative Analysis With the Probabilistic Model Checker PRISM. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Numerical vs. statistical probabilistic model checking. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Uniformisation, Temporal logic, Markov chains, Hypothesis testing, Transient analysis |
| 1 | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A formal analysis of bluetooth device discovery. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Formal verification, Bluetooth, Probabilistic model checking |
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston |
Performance analysis of probabilistic timed automata using digital clocks. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Timed automata, Probabilistic model checking, Digital clocks |
| 1 | Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM: A Tool for Automatic Verification of Probabilistic Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn |
Probabilistic Model Checking of Complex Biological Pathways. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Symmetry Reduction for Probabilistic Model Checking. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Game-based Abstraction for Markov Decision Processes. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker |
On Reduction Criteria for Probabilistic Reward Models. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta |
Using probabilistic model checking for dynamic power management. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Model checking, Embedded systems, Formal methods, Power management, Probabilistic model checking |
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Probabilistic model checking in practice: case studies with PRISM. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
PRISM |
| 1 | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Probabilistic symbolic model checking with PRISM: a hybrid approach. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Binary decision diagrams, Symbolic model checking, Probabilistic model checking |
| 1 | Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman |
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Forwards reachability, Timed automata, Probabilistic model checking, IEEE standard, FireWire |
| 1 | Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman |
Analysing Randomized Distributed Algorithms. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang |
Symbolic Model Checking for Probabilistic Timed Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM 2.0: A Tool for Probabilistic Model Checking. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A Formal Analysis of Bluetooth Device Discovery. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Timed automata, Probabilistic model checking, IEEE standard, FireWire |
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston |
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
Automatic verification of real-time systems with discrete probability distributions. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker |
A Symbolic Out-of-Core Solution Method for Markov Models. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman |
Verifying Randomized Byzantine Agreement. |
FORTE |
2002 |
DBLP BibTeX RDF |
Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms |
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM: Probabilistic Symbolic Model Checker. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, Vitaly Shmatikov |
Analysis of Probabilistic Contract Signing. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, António Pacheco |
Model Checking CSL until Formulae with Random Time Bounds. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Symbolic Computation of Maximal Probabilistic Reachability. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Faster and Symbolic CTMC Model Checking. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala |
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Marta Z. Kwiatkowska, Gethin Norman |
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
Automatic Verification of Real-Time Systems with Discrete Probability Distributions. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman |
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman |
A Testing Equivalence for Reactive Probabilistic Processes. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman |
Probabilistic Metric Semantics for a Simple Language with Recursion. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")