|
|
David Parker: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Abstraction Refinement for Probabilistic Software
M. Kattenbelt, M. Kwiatkowska, G. Norman, D. Parker
In Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09) Springer, January 2009.
Details
|
BibTeX
|
|
[2]
|
Probabilistic model checking of complex biological pathways
J. Heath et al.
Theoretical Computer Science, Vol. 319, pages 239-257. 2008.
Details
|
BibTeX
| Link (pdf) |
|
[3]
|
Game-Based Probabilistic Predicate Abstraction in PRISM
M. Kattenbelt et al.
In Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08) 2008.
Details
|
BibTeX
| Link (pdf) |
|
[4]
|
Game-Based Probabilistic Predicate Abstraction in PRISM
M. Kattenbelt et al.
No. RR-08-01, Technical Report, Oxford University Computing Laboratory. February 2008.
Details
|
BibTeX
| Download (pdf) |
|
[5]
|
A Game-based Abstraction-Refinement Framework for Markov Decision Processes
M. Kattenbelt et al.
No. RR-08-06, Technical Report, Oxford University Computing Laboratory. February 2008.
Details
|
BibTeX
| Download (pdf) |
|
[6]
|
Stochastic Model Checking
M. Kwiatkowska, G. Norman and D. Parker
In M. Bernardo, J. Hillston, editors, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07) Vol. 4486 of LNCS (Tutorial Volume), pages 220-270. Springer, 2007.
Details
|
BibTeX
| Link (pdf) |
|
[7]
|
Practical Applications of Probabilistic Model Checking to Communication Protocols
M. Duflot et al.
In Handbook of Formal Methods in Industrial Critical Systems 2007.
To appear.
Details
|
BibTeX
|
|
[8]
|
Numerical vs. Statistical Probabilistic Model Checking
H. Younes et al.
International Journal on Software Tools for Technology Transfer (STTT), Vol. 8, No. 3, pages 216-228. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[9]
|
A Formal Analysis of Bluetooth Device Discovery
M. Duflot et al.
Int. Journal on Software Tools for Technology Transfer, Vol. 8, No. 6, pages 621—632. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[10]
|
Performance Analysis of Probabilistic Timed Automata using Digital Clocks
M. Kwiatkowska et al.
Formal Methods in System Design, Vol. 29, pages 33-78. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[11]
|
Controller Dependability Analysis By Probabilistic Model Checking
M. Kwiatkowska, G. Norman and D. Parker
Control Engineering Practice, Vol. 15, No. 11, pages 1427-1434. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[12]
|
PRISM: A Tool for Automatic Verification of Probabilistic Systems
A. Hinton et al.
In H. Hermanns, J. Palsberg, editors, Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06) Vol. 3920 of LNCS, pages 441-444. Springer, 2006.
Details
|
BibTeX
| Link (pdf) |
|
[13]
|
Symmetry Reduction for Probabilistic Model Checking
M. Kwiatkowska, G. Norman and D. Parker
In T. Ball, R. Jones, editors, Proc. 18th International Conference on Computer Aided Verification (CAV'06) Vol. 4114 of LNCS, pages 234-248. Springer, 2006.
Details
|
BibTeX
| Link (pdf) |
|
[14]
|
Simulation and verification for computational modelling of signalling pathways
M. Kwiatkowska et al.
In L. F. Perrone et al. , editors, Proc. Winter Simulation Conference pages 1666—1675. Omnipress, 2006.
Details
|
BibTeX
| Link (pdf) |
|
[15]
|
Probabilistic model checking of complex biological pathways
J. Heath et al.
In C. Priami, editor, Proc. Computational Methods in Systems Biology (CMSB'06) Vol. 4210 of Lecture Notes in Bioinformatics, pages 32—47. Springer Verlag, 2006.
Details
|
BibTeX
| Link (pdf) |
|
[16]
|
Probabilistic Mobile Ambients
M. Kwiatkowska et al.
No. CSR-06-09, Technical Report, University of Birmingham, School of Computer Science. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[17]
|
On reduction criteria for probabilistic reward models
M. Größer et al.
In S. Arun-Kumar, N. Garg, editors, Proc. 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06) Vol. 4337 of LNCS, pages 309-320. Springer, 2006.
Details
|
BibTeX
| Link (pdf) |
|
[18]
|
Game-based Abstraction for Markov Decision Processes
M. Kwiatkowska, G. Norman and D. Parker
No. CSR-06-05, Technical Report, School of Computer Science, University of Birmingham. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[19]
|
Game-based Abstraction for Markov Decision Processes
M. Kwiatkowska, G. Norman and D. Parker
In Proc. 3rd International Conference on Quantitative Evaluation of Systems (QEST'06) pages 157-166. IEEE CS Press, 2006.
Details
|
BibTeX
| Link (pdf) |
|
[20]
|
Evaluating the Reliability of NAND Multiplexing with PRISM
G. Norman et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 24, No. 10, pages 1629-1637. October 2005.
Details
|
BibTeX
| Link (pdf) |
|
[21]
|
Using Probabilistic Model Checking for Dynamic Power Management
G. Norman et al.
Formal Aspects of Computing, Vol. 17, No. 2, pages 160-176. 2005.
Details
|
BibTeX
| Link (pdf) |
|
[22]
|
Quantitative analysis with the probabilistic model checker PRISM
M. Kwiatkowska, G. Norman and D. Parker
Electronic Notes in Theoretical Computer Science, Vol. 153, No. 2, pages 5-31. 2005.
Details
|
BibTeX
| Link (pdf) |
|
[23]
|
Probabilistic model checking in practice: Case studies with PRISM
M. Kwiatkowska, G. Norman and D. Parker
ACM SIGMETRICS Performance Evaluation Review, Vol. 32, No. 4, pages 16—21. March 2005.
Details
|
BibTeX
| Link (pdf) |
|
[24]
|
Probabilistic Model Checking and Power-Aware Computing
M. Kwiatkowska, G. Norman and D. Parker
In Proc. 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS'05) pages 6—9. 2005.
Details
|
BibTeX
| Link (pdf) |
|
[25]
|
Grid-enabled Probabilistic Model Checking with PRISM
Y. Zhang, D. Parker and M. Kwiatkowska
In Proc. 4th All Hands Meeting (AHM'05) 2005.
Details
|
BibTeX
| Link (pdf) |
|
[26]
|
A Wavefront Parallelisation of CTMC Solution using MTBDDs
Y. Zhang, D. Parker and M. Kwiatkowska
In Proc. International Conference on Dependable Systems and Networks (DSN'05) pages 732—742. IEEE Computer Society Press, 2005.
Details
|
BibTeX
| Link (pdf) |
|
[27]
|
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
M. Kwiatkowska, G. Norman and D. Parker
International Journal on Software Tools for Technology Transfer (STTT), Vol. 6, No. 2, pages 128—142. 2004.
Details
|
BibTeX
| Link (pdf) |
|
[28]
|
PRISM 2.0: A Tool for Probabilistic Model Checking
M. Kwiatkowska, G. Norman and D. Parker
In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST'04) pages 322—323. IEEE Computer Society Press, 2004.
Details
|
BibTeX
| Link (pdf) |
|
[29]
|
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
H. Younes et al.
In K. Jensen, A. Podelski, editors, Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04) Vol. 2988 of LNCS, pages 46—60. Springer, 2004.
Details
|
BibTeX
| Link (pdf) |
|
[30]
|
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P. Panangaden and F. van Breugel (eds.)
J. Rutten et al.
Vol. 23 of CRM Monograph Series. American Mathematical Society. 2004.
Details
|
BibTeX
|
|
[31]
|
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking
G. Norman et al.
In Proc. International Conference on VLSI Design (VSLI'04) pages 907-914. IEEE Computer Society Press, 2004.
Details
|
BibTeX
| Link (pdf) |
|
[32]
|
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
M. Kwiatkowska et al.
In D. DeGroot, P. Harrison, editors, Proc. 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04) pages 123—130. IEEE Computer Society Press, October 2004.
Details
|
BibTeX
| Link (pdf) |
|
[33]
|
Controller Dependability Analysis By Probabilistic Model Checking
M. Kwiatkowska, G. Norman and D. Parker
In Proc. 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'04) 2004.
Details
|
BibTeX
| Link (pdf) |
|
[34]
|
A Formal Analysis of Bluetooth Device Discovery
M. Duflot et al.
In Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04) 2004.
Details
|
BibTeX
| Link (pdf) |
|
[35]
|
On the use of MTBDDs for Performability Analysis and Verification of Stochastic Systems
H. Hermanns et al.
Journal of Logic and Algebraic Programming: Special Issue on Probabilistic Techniques for the Design and Analysis of Systems, Vol. 56, No. 1-2, pages 23—67. 2003.
Details
|
BibTeX
| Link (pdf) |
|
[36]
|
Using Probabilistic Model Checking for Dynamic Power Management
G. Norman et al.
In M. Leuschel, S. Gruner and S. Lo Presti, editors, Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03) pages 202—215. 2003.
Details
|
BibTeX
| Link (pdf) |
|
[37]
|
Performance Analysis of Probabilistic Timed Automata using Digital Clocks
M. Kwiatkowska et al.
In K. Larsen, P. Niebert, editors, Proc. Formal Modeling and Analysis of Timed Systems (FORMATS'03) Vol. 2791 of LNCS, pages 105—120. Springer-Verlag, September 2003.
Details
|
BibTeX
| Link (pdf) |
|
[38]
|
An Efficient BDD-Based Implementation of Gauss-Seidel for CTMC Analysis
R. Mehmood, D. Parker and M. Kwiatkowska
No. CSR-03-13, Technical Report, School of Computer Science, University of Birmingham. December 2003.
Details
|
BibTeX
| Link (pdf) |
|
[39]
|
An Efficient Symbolic Out-of-Core Solution Method for Markov Models
R. Mehmood, D. Parker and M. Kwiatkowska
No. CSR-03-08, Technical Report, School of Computer Science, University of Birmingham. August 2003.
Details
|
BibTeX
| Link (pdf) |
|
[40]
|
PRISM: Probabilistic Symbolic Model Checker
M. Kwiatkowska, G. Norman and D. Parker
In T. Field et al. , editors, Proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02) Vol. 2324 of LNCS, pages 200—204. Springer, 2002.
Details
|
BibTeX
| Link (pdf) |
|
[41]
|
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
M. Kwiatkowska, G. Norman and D. Parker
In J.-P. Katoen, P. Stevens, editors, Proc. 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02) Vol. 2280 of LNCS, pages 52—66. Grenoble. 2002. Springer.
Details
|
BibTeX
| Link (pdf) |
|
[42]
|
Formal Analysis and Validation of Continuous Time Markov Chain Based System Level Power Management Strategies
G. Norman et al.
In W. Rosenstiel, editor, Proc. 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02) pages 45—50. IEEE Computer Society Press, October 2002.
Details
|
BibTeX
| Link (pdf) |
|
[43]
|
A Symbolic Out-of-Core Solution Method for Markov Models
M. Kwiatkowska et al.
In Proc. Workshop on Parallel and Distributed Model Checking (PDMC'02) Vol. 68.4 of Electronic Notes in Theoretical Computer Science. Elsevier, August 2002.
Details
|
BibTeX
| Link (pdf) |
|
[44]
|
PRISM: Probabilistic Symbolic Model Checker
M. Kwiatkowska, G. Norman and D. Parker
In P. Kemper, editor, Proc. Tools Session of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems pages 7—12. September 2001.
Available as Technical Report 760/2001, University of Dortmund.
Details
|
BibTeX
| Link (pdf) |
|
[45]
|
Faster and Symbolic CTMC Model Checking
J.-P. Katoen et al.
In L. de Alfaro, S. Gilmore, editors, Proc. 1st Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'01) Vol. 2165 of LNCS, pages 23—38. Springer, September 2001.
Details
|
BibTeX
| Link (pdf) |
|
[46]
|
Verifying Randomized Distributed Algorithms with PRISM
M. Kwiatkowska, G. Norman and D. Parker
In Proc. Workshop on Advances in Verification (Wave'2000) July 2000.
Details
|
BibTeX
| Link (pdf) |
|
[47]
|
Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation
L. de Alfaro et al.
In S. Graf, M. Schwartzbach, editors, Proc. 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00) Vol. 1785 of LNCS, pages 395—410. Berlin. March 2000. Springer.
Details
|
BibTeX
| Link (pdf) |
|
[48]
|
Symbolic Model Checking of Concurrent Probabilistic Systems Using MTBDDs and Simplex
M. Kwiatkowska et al.
No. CSR-99-1, Technical Report, School of Computer Science, University of Birmingham. January 1999.
Details
|
BibTeX
| Link (pdf) |
|
|
|
|
