| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
Automatic Verification of Competitive Stochastic Systems.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
Verifying Team Formation Protocols with Probabilistic Model Checking. |
CLIMA |
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 | Marta Z. Kwiatkowska, David Parker, Hongyang Qu |
Incremental quantitative verification for Markov decision processes. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker |
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Feng, Marta Z. Kwiatkowska, David Parker |
Automated Learning of Probabilistic Assumptions for Compositional Reasoning. |
FASE |
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 | 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 | Lu Feng, Marta Z. Kwiatkowska, David Parker |
Compositional Verification of Probabilistic Systems Using Learning. |
QEST |
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 | John Draper, David P. Enot, David Parker, Manfred Beckmann, Stuart Snowdon, Wanchang Lin, Hassan Zubair |
Metabolite signal identification in accurate mass metabolomics data with MZedDB, an interactive m/z annotation tool utilising predicted ionisation behaviour 'rules'. |
BMC Bioinformatics |
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 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Stochastic Games for Verification of Probabilistic Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Alice Miller, David Parker |
Language-Level Symmetry Reduction for Probabilistic Model Checking. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
counter abstraction, probabilistic model checking, Symmetry reduction |
| 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 | Frank Ciesinski, Christel Baier, Marcus Größer, David Parker |
Generating Compact MTBDD-Representations from ProbmelaSpecifications. |
SPIN |
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, 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 | Alastair F. Donaldson, Alice Miller, David Parker |
GRIP: Generic Representatives in PRISM. |
QEST |
2007 |
DBLP DOI 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 | Yi Zhang, David Parker, Marta Z. Kwiatkowska |
A Wavefront Parallelisation of CTMC Solution Using MTBDDs. |
DSN |
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 | 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 | Andrew S. Miner, David Parker |
Symbolic Representations and Analysis of Large Probabilistic Systems. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood |
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. |
MASCOTS |
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 | 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, 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, David Parker |
PRISM: Probabilistic Symbolic Model Checker. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Parker |
Computer Based Real-Time Simulator for Renewable Energy Converters. |
DELTA |
2002 |
DBLP DOI BibTeX RDF |
Wind energy, Micro-hydro, Simulator, Real-time control, Renewable energy |
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. |
TACAS |
2002 |
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 | 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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")