|
|
Marta Kwiatkowska: 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]
|
Introduction
M. Kwiatkowska
Philosophical Transactions of the Royal Society A, Vol. 366, No. 1881, pages 3665-3668. 2008.
Discussion Meeting Issue `From computers to ubiquitous computing, by 2020'.
Details
|
BibTeX
| Link |
|
[3]
|
Proc. From computers to ubiquitous computing by 2020
Royal Society. 2008.
Details
|
BibTeX
| Link |
|
[4]
|
A Mass Action Model of a Fibroblast Growth Factor Signaling Pathway and Its Simplification
E. Gaffney, J. Heath, M. Kwiatkowska
Bulletin of Mathematical Biology, Vol. 70, No. 8, pages 2229-2263. 2008.
Details
|
BibTeX
| Link |
|
[5]
|
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research
Tianyi Zang et al.
In 8th IEEE International Symposium on Cluster Computing (CCGrid) 2008.
Details
|
BibTeX
| Link (pdf) |
|
[6]
|
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) |
|
[7]
|
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) |
|
[8]
|
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) |
|
[9]
|
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
O. Tymchyshyn, M. Kwiatkowska
In Proc. Formal Methods in Systems Biology Vol. 5054 of LNCS. Springer, 2008.
Details
|
BibTeX
| Link (pdf) |
|
[10]
|
Probabilistic model checking of complex biological pathways
J. Heath et al.
Theoretical Computer Science, Vol. 319, pages 239-257. 2008.
Details
|
BibTeX
| Link (pdf) |
|
[11]
|
Multi-Objective Model Checking of Markov Decision Processes
K. Etessami et al.
In O. Grumberg, M. Huth, editors, Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07) Vol. 4424 of LNCS, pages 50-65. Springer, 2007.
Details
|
BibTeX
| Link (pdf) |
|
[12]
|
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) |
|
[13]
|
Symbolic Model Checking for Probabilistic Timed Automata
M. Kwiatkowska et al.
Information and Computation, Vol. 205, No. 7, pages 1027-1077. 2007.
Details
|
BibTeX
| Link (pdf) |
|
[14]
|
Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07)
J. Hillston et al. , editors
IEEE Computer Society. 2007.
Details
|
BibTeX
|
|
[15]
|
Quantitative Verification: Models, Techniques and Tools
M. Kwiatkowska
In Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) pages 449-458. ACM Press, September 2007.
Details
|
BibTeX
| Link (pdf) |
|
[16]
|
On process-algebraic verification of asynchronous circuits
X. Wang, M. Kwiatkowska
Fundamenta Informaticae, Vol. 80, No. 1-3, pages 283-310. 2007.
Details
|
BibTeX
| Link (pdf) |
|
[17]
|
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
|
|
[18]
|
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks
Z. Liu, M. Kwiatkowska and C. Constantinou
International Journal of Wireless and Mobile Computing, 2006.
Details
|
BibTeX
| Link (pdf) |
|
[19]
|
Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds
M. Kwiatkowska, G. Norman and A. Pacheco
Computers & Mathematics with Applications, Vol. 51, No. 2, pages 305-316. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[20]
|
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) |
|
[21]
|
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) |
|
[22]
|
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) |
|
[23]
|
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) |
|
[24]
|
Compositional state space reduction using untangled actions
X Wang, M. Kwiatkowska
In Proc. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06) Vol. 175 of Electronic Notes in Theoretical Computer Science. 2006.
Technical Report 2006/10, Department of Computing, Imperial College London.
Details
|
BibTeX
| Link (pdf) |
|
[25]
|
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) |
|
[26]
|
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) |
|
[27]
|
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) |
|
[28]
|
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) |
|
[29]
|
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) |
|
[30]
|
Challenges for modeling and simulation methods in systems biology
H. Sauro et al.
In L. Perrone et al. , editors, Proc. 2006 Winter Simulation Conference pages 1720-1730. IEEE, 2006.
Details
|
BibTeX
| Link (pdf) |
|
[31]
|
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) |
|
[32]
|
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) |
|
[33]
|
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs
X. Wang et al.
In Proc. 2nd Workshop on Globally Asynchronous, Locally Synchronous Design (FMGALS'05) 2006.
Details
|
BibTeX
|
|
[34]
|
On process-algebraic verification of asynchronous circuits
X. Wang, M. Kwiatkowska
In Proc. 6th International Conference on Application of Concurrency to System Design (ACSD'06) 2006.
Details
|
BibTeX
| Link (ps) |
|
[35]
|
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) |
|
[36]
|
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks
Z. Liu, M. Kwiatkowska and C. Constantinou
In Proc. 19th International Conference on Advanced Information Networking and Applications (AINA 2005) pages 426-431. IEEE CS Press, 2005.
Details
|
BibTeX
| Link (pdf) |
|
[37]
|
A Timing Analysis of AODV
S. Chiyangwa, M. Kwiatkowska
In Proc. 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05) Vol. 3535 of Lectur Notes in Computer Science, pages 306-322. Springer, 2005.
Details
|
BibTeX
| Link (pdf) |
|
[38]
|
A Biologically Inspired Congestion Control Routing Algorithm for MANETs
Z. Liu, M. Kwiatkowska and C. Constantinou
In Proc. IEEE PerCom International Workshop on Pervasive Wireless Networking (IEEE PWN'05), Third IEEE Conference on Pervasive Computing and Communications Workshops pages 226-231. IEEE CS Press, 2005.
Details
|
BibTeX
| Link (ps) |
|
[39]
|
A Self-Organised Emergent Routing Mechanism for Mobile Ad Hoc Networks
Z. Liu, M. Kwiatkowska and C. Constantinou
European Transactions on Telecommunications, Vol. 16, No. 5, pages 457-470. 2005.
Details
|
BibTeX
|
|
[40]
|
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) |
|
[41]
|
Stochastic transition systems for continuous state spaces and non-determinism
S. Cattani et al.
In V. Sassone, editor, Proc. Foundations of Software Science and Computation Structures (FOSSACS'05) Vol. 3441 of Lecture Notes in Computer Science, pages 125—139. Springer Verlag, 2005.
Details
|
BibTeX
| Link (pdf) |
|
[42]
|
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) |
|
[43]
|
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) |
|
[44]
|
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) |
|
[45]
|
A Refinement-based Process Algebra for Timed Automata
S. Cattani, M. Kwiatkowska
Formal Aspects of Computing, Vol. 17, No. 2, pages 138-159. 2005.
Details
|
BibTeX
| Link (pdf) |
|
[46]
|
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) |
|
[47]
|
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) |
|
[48]
|
An MTBDD-based implementation of forward reachability for probabilistic timed automata
F. Wang, M. Kwiatkowska
In D. Peled, Y.-K. Tsay, editors, Proc. 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA'05) Vol. 3707 of LNCS, pages 385—399. Springer, October 2005.
Details
|
BibTeX
| Link (pdf) |
|
[49]
|
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) |
|
[50]
|
A Swarm Intelligence Routing Algorithm for MANETs
Z. Liu, M. Kwiatkowska and C. Constantinou
In Proc. 3rd IASTED International Conference on Communications, Internet and Information Technology (CIIT'04) pages 1. ACTA Press, 2004.
Details
|
BibTeX
| Link (pdf) |
|
[51]
|
Towards a unifying CSP approach for hierarchical verification of asynchronous hardware
X. Wang et al.
In Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS'04) Vol. 128(6) of Electronic Notes in Theoretical Computer Science, pages 231-246. Elsevier Science, 2004.
Details
|
BibTeX
| Link (pdf) |
|
[52]
|
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) |
|
[53]
|
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) |
|
[54]
|
Automatic Verification of the IEEE 1394 Root Contention Protocol with KRONOS and PRISM
C. Daws, M. Kwiatkowska and G. Norman
International Journal on Software Tools for Technology Transfer (STTT), Vol. 5, No. 2--3, pages 221—236. 2004.
Details
|
BibTeX
| Link (pdf) |
|
[55]
|
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
|
|
[56]
|
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) |
|
[57]
|
Symbolic Model Checking for Probabilistic Timed Automata
M. Kwiatkowska et al.
In Y. Lakhnech, S. Yovine, editors, Proc. Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems (FORMATS/FTRTFT'04) Vol. 3253 of LNCS, pages 293—308. Springer, 2004.
Details
|
BibTeX
| Link (pdf) |
|
[58]
|
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) |
|
[59]
|
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) |
|
[60]
|
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) |
|
[61]
|
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) |
|
[62]
|
Symbolic Computation of Minimal Probabilistic Reachability
M. Kwiatkowska, G. Norman and J. Sproston
No. CSR-03-01, Technical Report, University of Birmingham, School of Computer Science. January 2003.
Details
|
BibTeX
| Link (pdf) |
|
[63]
|
CSP + Clocks: a process algebra for timed automata
S. Cattani, M. Kwiatkowska
In M. Leuschel, S. Gruner and S. Lo Presti, editors, Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03) pages 50—63. 2003.
Details
|
BibTeX
| Link (pdf) |
|
[64]
|
PCTL model checking of symbolic probabilistic systems
Marta Z Kwiatkowska, Gethin Norman and Jeremy Sproston
No. CSR-03-2, Technical Report, University of Birmingham, School of Computer Science. 2003.
Details
|
BibTeX
| Link (pdf) |
|
[65]
|
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) |
|
[66]
|
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
M. Kwiatkowska, G. Norman and J. Sproston
Formal Aspects of Computing, Vol. 14, No. 3, pages 295—318. 2003.
Details
|
BibTeX
| Link (pdf) |
|
[67]
|
Modelling Ad Hoc On-Demand Distance Vector (AODV) protocol with Timed Automata
S. Chiyangwa, M. Kwiatkowska
In M. Leuschel, S. Gruner and S. Lo Presti, editors, Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03) 2003.
Details
|
BibTeX
| Link (ps.gz) |
|
[68]
|
Model Checking for Probability and Time: From Theory to Practice
M. Kwiatkowska
In Proc. 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03) pages 351-360. IEEE Computer Society Press, 2003.
Invited Paper.
Details
|
BibTeX
| Link (pdf) |
|
[69]
|
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) |
|
[70]
|
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) |
|
[71]
|
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) |
|
[72]
|
Symbolic Model Checking for Probabilistic Timed Automata
M. Kwiatkowska, G. Norman and J. Sproston
No. CSR-03-10, Technical Report, School of Computer Science, University of Birmingham. 2003.
Details
|
BibTeX
| Link (pdf) |
|
[73]
|
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) |
|
[74]
|
Towards automatic verification of ladder logic programs
B. Zoubek, J.-M. Roussel, M. Kwiatkowska
In Proc. IMACS Multiconference on Computational Engineering in Systems Applications (CESA) 2003.
Details
|
BibTeX
| Link (pdf) |
|
[75]
|
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) |
|
[76]
|
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) |
|
[77]
|
Automatic Verification of Real-time Systems with Discrete Probability Distributions
M. Kwiatkowska et al.
Theoretical Computer Science, Vol. 282, pages 101—150. June 2002.
Details
|
BibTeX
| Link (pdf) |
|
[78]
|
Model Checking CSL Until Formulae with Random Time Bounds
M. Kwiatkowska, G. Norman and A. Pacheco
In H. Hermanns, R. Segala, editors, Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'02) Vol. 2399 of LNCS, pages 152—168. Springer, 2002.
Details
|
BibTeX
| Link (pdf) |
|
[79]
|
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
M. Kwiatkowska, G. Norman and J. Sproston
In H. Hermanns, R. Segala, editors, Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'02) Vol. 2399 of LNCS, pages 169—187. Springer, 2002.
Details
|
BibTeX
| Link (pdf) |
|
[80]
|
Automatic Verification of the IEEE 1394 Root Contention Protocol with KRONOS and PRISM
C. Daws, M. Kwiatkowska and G. Norman
In R. Cleaveland, H. Garavel, editors, Proc. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'02) Vol. 66.2 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002.
Details
|
BibTeX
| Link (pdf) |
|
[81]
|
Out-of-Core Solution of Large Linear Systems of Equations arising from Stochastic Modelling
M. Kwiatkowska, R. Mehmood
In H. Hermanns, R. Segala, editors, Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'02) Vol. 2399 of LNCS, pages 135—151. Springer, 2002.
Details
|
BibTeX
| Link (ps.gz) |
|
[82]
|
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) |
|
[83]
|
Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds
M. Kwiatkowska, G. Norman and A. Pacheco
In Proc. 2nd Euro-Japanese Workshop on Stochastic Risk Modelling for Finance, Insurance, Production and Reliability September 2002.
Details
|
BibTeX
| Link (pdf) |
|
[84]
|
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) |
|
[85]
|
Verifying Randomized Byzantine Agreement
M. Kwiatkowska, G. Norman
In D. Peled, M. Vardi, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE'02) Vol. 2529 of LNCS, pages 194—209. Springer, 2002.
Details
|
BibTeX
| Link (pdf) |
|
[86]
|
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
M. Kwiatkowska, G. Norman and R. Segala
In G. Berry, H. Comon and A. Finkel, editors, Proc. 13th International Conference on Computer Aided Verification (CAV'01) Vol. 2102 of LNCS, pages 194—206. Springer, July 2001.
Details
|
BibTeX
| Link (pdf) |
|
[87]
|
Symbolic computation of maximal probabilistic reachability
M. Kwiatkowska, G. Norman and J. Sproston
In K. Larsen, M. Nielsen, editors, Proc. 13th International Conference on Concurrency Theory (CONCUR'01) Vol. 2154 of LNCS, pages 169—183. Springer, 2001.
Details
|
BibTeX
| Link (pdf) |
|
[88]
|
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) |
|
[89]
|
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) |
|
[90]
|
Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability
Marta Z Kwiatkowska, Gethin Norman and Jeremy Sproston
No. CSR-00-01, Technical Report, University of Birmingham, School of Computer Science. January 2000.
Details
|
BibTeX
| Link (pdf) |
|
[91]
|
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) |
|
[92]
|
Verifying Soft Deadlines with Probabilistic Timed Automata
M. Kwiatkowska et al.
In Proc. Workshop on Advances in Verification (Wave'2000) July 2000.
Details
|
BibTeX
| Link (pdf) |
|
[93]
|
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) |
|
[94]
|
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
M. Kwiatkowska et al.
In C. Palamidessi, editor, Proc. CONCUR 2000 - Concurrency Theory Vol. 1877 of Lecture Notes in Computer Science, pages 123-137. Springer, 2000.
Details
|
BibTeX
| Link (pdf) |
|
[95]
|
Domain Equations for Probabilistic Processes
C. Baier, M. Kwiatkowska
Mathematical Structures in Computer Science, Vol. 10, No. 6, pages 665-717. 2000.
Details
|
BibTeX
| Link (ps.gz) |
|
[96]
|
On topological hierarchies of temporal properties
C. Baier, M. Kwiatkowska
Fundamenta Informaticae, Vol. 41, No. 3, pages 259-294. 2000.
Details
|
BibTeX
| Link (ps.gz) |
|
[97]
|
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) |
|
[98]
|
Automatic Verification of Real-Time Systems with Discrete Probability Distributions
M. Kwiatkowska et al.
In J.-P. Katoen, editor, Proc. 5th International AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99) Vol. 1601 of LNCS, pages 75—95. Bamberg. March 1999. Springer.
Details
|
BibTeX
| Link (pdf) |
|
[99]
|
Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains
C. Baier, M. Kwiatkowska and G. Norman
In C. Baier et al. , editors, Proc. 1st Probabilistic Methods in Verification Workshop (PROBMIV'98) Vol. 22 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1999.
Details
|
BibTeX
| Link (pdf) |
|
[100]
|
Solving Infinite Stochastic Process Algebra Models Through Matrix-Geometric Methods
A. El-Rayes, M. Kwiatkowska and G. Norman
In J. Hillston, M. Silva, editors, Proc. 7th Process Algebras and Performance Modelling Workshop (PAPM'99) pages 41—62. University of Zaragoza, 1999.
Details
|
BibTeX
| Link (pdf) |
|
[101]
|
PROBMIV'98, First International Workshop on Probabilistic Methods in Verification
C. Baier et al. , editors
Vol. 22 of Electronic Notes in Theoretical Computer Science. Elsevier. 1999.
Details
|
BibTeX
|
|
[102]
|
Model Checking for a Probabilistic Branching Time Logic with Fairness
C. Baier, M. Kwiatkowska
Distributed Computing, Vol. 11, No. 3, pages 125—155. 1998.
Details
|
BibTeX
| Link (ps.gz) |
|
[103]
|
On the Verification of Quantitative properties of Probabilistic Processes under Fairness Constraints
C. Baier, M. Kwiatkowska
Information Processing Letters, Vol. 66, No. 2, pages 71—79. 1998.
Details
|
BibTeX
| Link (ps.gz) |
|
[104]
|
Comparing CTL and PCTL on Labeled Markov Chains
M. Huth, M. Kwiatkowska
In Proc. PROCOMET'98 IFIP. Chapman & Hall, February 1998.
Details
|
BibTeX
| Link (ps.gz) |
|
[105]
|
A Testing Equivalence for Reactive Probabilistic Processes
M. Kwiatkowska, G. Norman
In A Testing Equivalence for Reactive Probabilistic Processes Vol. 16(2) of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1998.
Details
|
BibTeX
| Link (pdf) |
|
[106]
|
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
M. Kwiatkowska, G. Norman
In Proc. 3rd Workshop on Computation and Approximation (Comprox III) Vol. 13 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1998.
Details
|
BibTeX
| Link (pdf) |
|
[107]
|
Comprox III, Third Workshop on Computation and Approximation
A. Edalat et al. , editors
Vol. 13 of Electronic Notes in Theoretical Computer Science. Elsevier. 1998.
Details
|
BibTeX
|
|
[108]
|
Symbolic Model Checking for Probabilistic Processes
C. Baier et al.
In P. Degano, R. Gorrieri and A. Marchetti-Spaccamela, editors, Proc. 24th International Colloquium on Automata, Languages and Programming (ICALP'97) Vol. 1256 of LNCS, pages 430—440. Springer, 1997.
Details
|
BibTeX
| Link (ps.gz) |
|
[109]
|
Automatic Verification of Liveness Properties of Randomized Systems (Extended Abstract)
C. Baier, M. Kwiatkowska
In Proc. Symposium on Principles of Distributed Computing (PODC'97) pages 295. ACM Press, 1997.
Details
|
BibTeX
| Link (ps.gz) |
|
[110]
|
Quantitative Analysis and Model Checking
Michael Huth, Marta Kwiatkowska
In Proc. 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97) pages 111—122. IEEE Computer Society Press, March 1997.
Details
|
BibTeX
| Link (ps.gz) |
|
[111]
|
On topological hierarchies of temporal properties
C. Baier, M. Kwiatkowska
In Proc. Partial Order Methods in Verification: Dimacs Workshop pages 141-170. AMS Press, 1997.
Details
|
BibTeX
| Link (ps.gz) |
|
[112]
|
Domain Equations for Probabilistic Processes (Extended Abstract)
C. Baier, M. Kwiatkowska
In Proc. EXPRESS'97 Vol. 7 of Electronic Notes in Theoretical Computer Science. Elsevier, 1997.
Details
|
BibTeX
| Link (ps.gz) |
|
[113]
|
Metric Denotational Semantics for PEPA
M. Kwiatkowska, G. Norman
In M. Ribaudo, editor, Proc. 4th Process Algebras and Performance Modelling Workshop (PAPM'96) pages 120—138. CLUT, 1996.
Details
|
BibTeX
| Link (pdf) |
|
[114]
|
Probabilistic Metric Semantics for a Simple Language with Recursion
M. Kwiatkowska, G. Norman
In W. Penczek, A. Szalas, editors, Proc. 21st International Symposium on Mathematical Foundations of Computer Science (MFCS'96) Vol. 1113 of Lecture Notes in Computer Science, pages 419—430. Springer, 1996.
Details
|
BibTeX
| Link (pdf) |
|
[115]
|
Finite but Unbounded Delay in Synchronous CCS
M. Huth, M. Kwiatkowska
In Proc. Advanced methods in theory and formal methods of computing (TFM'96) pages 312-323. Imperial College Press, 1996.
Details
|
BibTeX
| Link (ps.gz) |
|
[116]
|
Analysing Performance of Lift Systems in PEPA
A. El-Rayes, M. Kwiatkowska and S. Minton
In Proc. UK Performance Engineering Workshop pages 83-100. 1996.
Department of Computer Science, The University of Edinburgh.
Details
|
BibTeX
| Link (ps.gz) |
|
[117]
|
Possible and Guaranteed Concurrency in CSP
M. Kwiatkowska, I. Phillips
In Proc. Structures in Concurrency Theory, Workshops in Computing pages 220-235. Springer, 1995.
Details
|
BibTeX
| Link (ps.gz) |
|
[118]
|
Duality and the completeness of the modal mu-calculus
S. Ambler, M. Kwiatkowska and N. Measor
Theoretical Computer Science, Vol. 151, pages 3-27. 1995.
Details
|
BibTeX
| Link (ps.gz) |
|
[119]
|
Synchronization trees and fairness: A case study
C. Hartonas, M. Kwiatkowska
In Proc. Advanced methods in theory and formal methods of computing (TFM'94) pages 181-198. Imperial College Press, 1995.
Details
|
BibTeX
| Link (ps.gz) |
|
[120]
|
Re-interpreting the modal mu-calculus
M. Bonsangue, M. Kwiatkowska
In Proc. Modal Logic and Process Algebra Vol. 53 of CSLI Lecture Notes, pages 65-83. CSLI Publications, 1995.
Details
|
BibTeX
| Link (ps.gz) |
|
[121]
|
A hierarchy of partial order temporal properties
M. Kwiatkowska,D. Peled, W. Penczek
In Proc. International Conference on Temporal Logic Vol. 827 of LNCS, pages 65-83. Springer, 1994.
Details
|
BibTeX
| Link (ps.gz) |
|
[122]
|
Concurrency, Fairness and Logical Complexity
M. Kwiatkowska
In Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing pages 195-208. Springer, 1994.
Details
|
BibTeX
| Link (ps.gz) |
|
[123]
|
Concurrency and Conflict in CSP
M. Kwiatkowska, I. Phillips
In Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing pages 209-225. Springer, 1994.
Details
|
BibTeX
| Link (ps.gz) |
|
[124]
|
On duality for the modal mu-calculus
S. Ambler, M. Kwiatkowska and N. Measor
In Proc. Computer Science Logic (CSL'94) Vol. 832 of LNCS, pages 18-32. Springer, 1994.
Details
|
BibTeX
| Link (ps.gz) |
|
[125]
|
Infinite Behaviour and Fairness in Concurrent Constraint Programming
M. Kwiatkowska
In Proc. Semantics: foundations and applications Vol. 666 of LNCS, pages 348-383. Springer, 1993.
Details
|
BibTeX
| Link (ps.gz) |
|
[126]
|
Infinite Behaviour and Fairness in Concurrent Constraint Programming
M. Kwiatkowska
In REX Workshop Vol. 666 of LNCS, pages 348-383. Springer, 1992.
Details
|
BibTeX
|
|
[127]
|
Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces
B. Bloom, M. Kwiatkowska
In Proc. 7th International Conference on Mathematical Foundations of Programming Semantics (MFPS'91) Vol. 598 of LNCS, pages 350-375. Springer, 1991.
Details
|
BibTeX
|
|
[128]
|
On the Domain of Traces and Sequential Composition
M. Kwiatkowska
In Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91) pages 42-56. 1991.
Details
|
BibTeX
|
|
[129]
|
Semantics for Concurrency
M. Kwiatkowska, M. Shields and R. Thomas, editors
Springer-Verlag. 1990.
Details
|
BibTeX
|
|
[130]
|
A Metric for Traces
M. Kwiatkowska
Information Processing Letters, Vol. 35, No. 3, pages 129-135. 1990.
Details
|
BibTeX
|
|
[131]
|
Defining Process Fairness for Non-Interleaving Concurrency
M. Kwiatkowska
In 10th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'90) Vol. 472 of LNCS, pages 286-300. Springer, 1990.
Details
|
BibTeX
|
|
[132]
|
Event Fairness and Non-interleaving Concurrency
M. Kwiatkowska
Formal Aspects of Computing, Vol. 1, No. 3, pages 213-228. 1989.
Details
|
BibTeX
|
|
|
|
|
