1![PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta. PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.](https://www.pdfsearch.io/img/a5a8c7fca9927c9bba267e93ad47de41.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-12-15 10:57:28
|
---|
2![Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog](https://www.pdfsearch.io/img/abee46186a84a424bf790b8f8bd73d4b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-10-24 07:08:14
|
---|
3![Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,](https://www.pdfsearch.io/img/acea8ad8206f59b9d92e3752f0059ca1.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:45
|
---|
4![Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi](https://www.pdfsearch.io/img/1a3aae3c8f41bc1ab317f6e46bb3913d.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-01-19 04:25:05
|
---|
5![∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK ∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK](https://www.pdfsearch.io/img/bcac4f27fa1883f6140716ed6e1e0e36.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-07-13 07:18:18
|
---|
6![Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto](https://www.pdfsearch.io/img/9f9940c799424b6e3fe17faf8701609f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-04-16 06:37:28
|
---|
7![Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa](https://www.pdfsearch.io/img/91a55978232df96da9f59fab6bc3cb8a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-08-20 07:50:57
|
---|
8![On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to](https://www.pdfsearch.io/img/9f41d97d5ce65272404112d79da3b1ad.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-07-29 05:44:10
|
---|
9![Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed](https://www.pdfsearch.io/img/073d72645743e6c21739b8fd1be25671.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-10-20 08:29:16
|
---|
10![The Cognitive Complexity of OWL Justifications Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler The University of Manchester Oxford Road, Manchester, M13 9PL {matthew.horridge|bails|bparsia| The Cognitive Complexity of OWL Justifications Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler The University of Manchester Oxford Road, Manchester, M13 9PL {matthew.horridge|bails|bparsia|](https://www.pdfsearch.io/img/23a9352662091cbf9e20c531b018bd49.jpg) | Add to Reading ListSource URL: iswc2011.semanticweb.orgLanguage: English - Date: 2011-09-14 09:57:32
|
---|