| 2009 |
|---|
| 95 | EE | Radu Calinescu,
Marta Z. Kwiatkowska:
CADS*: Computer-Aided Development of Self-* Systems.
FASE 2009: 421-424 |
| 94 | EE | Mark Kattenbelt,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Abstraction Refinement for Probabilistic Software.
VMCAI 2009: 182-197 |
| 93 | EE | Jane Hillston,
Marta Z. Kwiatkowska,
Miklós Telek:
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems.
IEEE Trans. Software Eng. 35(2): 145-147 (2009) |
| 92 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Maria Grazia Vigliotti:
Probabilistic Mobile Ambients.
Theor. Comput. Sci. 410(12-13): 1272-1303 (2009) |
| 2008 |
|---|
| 91 | EE | Tianyi Zang,
Radu Calinescu,
Steve Harris,
Andrew Tsui,
Marta Z. Kwiatkowska,
Jeremy Gibbons,
Jim Davies,
Peter Maccallum,
Carlos H. Caldas:
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.
CCGRID 2008: 73-81 |
| 90 | EE | Oksana Tymchyshyn,
Marta Z. Kwiatkowska:
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.
FMSB 2008: 63-76 |
| 89 | EE | Mark Kattenbelt,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Game-Based Probabilistic Predicate Abstraction in PRISM.
Electr. Notes Theor. Comput. Sci. 220(3): 5-21 (2008) |
| 88 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Using probabilistic model checking in systems biology.
SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008) |
| 87 | EE | John Heath,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn:
Probabilistic model checking of complex biological pathways.
Theor. Comput. Sci. 391(3): 239-257 (2008) |
| 2007 |
|---|
| 86 | EE | Marta Z. Kwiatkowska:
Quantitative verification: models techniques and tools.
ESEC/SIGSOFT FSE 2007: 449-458 |
| 85 | EE | Marta Z. Kwiatkowska:
Quantitative verification: models, techniques and tools.
ESEC/SIGSOFT FSE (Companion) 2007: 449-458 |
| 84 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Stochastic Model Checking.
SFM 2007: 220-270 |
| 83 | EE | Kousha Etessami,
Marta Z. Kwiatkowska,
Moshe Y. Vardi,
Mihalis Yannakakis:
Multi-objective Model Checking of Markov Decision Processes.
TACAS 2007: 50-65 |
| 82 | EE | Xu Wang,
Marta Z. Kwiatkowska:
Compositional State Space Reduction Using Untangled Actions.
Electr. Notes Theor. Comput. Sci. 175(3): 27-46 (2007) |
| 81 | EE | Xu Wang,
Marta Z. Kwiatkowska:
On Process-algebraic Verification of Asynchronous Circuits.
Fundam. Inform. 80(1-3): 283-310 (2007) |
| 80 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
Fuzhi Wang:
Symbolic model checking for probabilistic timed automata.
Inf. Comput. 205(7): 1027-1077 (2007) |
| 2006 |
|---|
| 79 | EE | Xu Wang,
Marta Z. Kwiatkowska:
On process-algebraic verification of asynchronous circuits.
ACSD 2006: 37-46 |
| 78 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Symmetry Reduction for Probabilistic Model Checking.
CAV 2006: 234-248 |
| 77 | EE | John Heath,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn:
Probabilistic Model Checking of Complex Biological Pathways.
CMSB 2006: 32-47 |
| 76 | EE | Marcus Größer,
Gethin Norman,
Christel Baier,
Frank Ciesinski,
Marta Z. Kwiatkowska,
David Parker:
On Reduction Criteria for Probabilistic Reward Models.
FSTTCS 2006: 309-320 |
| 75 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Game-based Abstraction for Markov Decision Processes.
QEST 2006: 157-166 |
| 74 | EE | Andrew Hinton,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
PRISM: A Tool for Automatic Verification of Probabilistic Systems.
TACAS 2006: 441-444 |
| 73 | EE | 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: 1666-1674 |
| 72 | EE | Herbert M. Sauro,
David Harel,
Marta Z. Kwiatkowska,
Clifford A. Shaffer,
Adelinde M. Uhrmacher,
Michael Hucka,
Pedro Mendes,
Lena Strömbäck,
John J. Tyson:
Challenges for modeling and simulation methods in systems biology.
Winter Simulation Conference 2006: 1720-1730 |
| 71 | EE | Xu Wang,
Marta Z. Kwiatkowska,
Georgios K. Theodoropoulos,
Qianyi Zhang:
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.
Electr. Notes Theor. Comput. Sci. 146(2): 189-206 (2006) |
| 70 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Quantitative Analysis With the Probabilistic Model Checker PRISM.
Electr. Notes Theor. Comput. Sci. 153(2): 5-31 (2006) |
| 69 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Jeremy Sproston:
Performance analysis of probabilistic timed automata using digital clocks.
Formal Methods in System Design 29(1): 33-78 (2006) |
| 68 | EE | Håkan L. S. Younes,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Numerical vs. statistical probabilistic model checking.
STTT 8(3): 216-228 (2006) |
| 67 | EE | Marie Duflot,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
A formal analysis of bluetooth device discovery.
STTT 8(6): 621-632 (2006) |
| 2005 |
|---|
| 66 | EE | Zhenyu Liu,
Marta Z. Kwiatkowska,
Costas C. Constantinou:
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks.
AINA 2005: 426-431 |
| 65 | EE | Fuzhi Wang,
Marta Z. Kwiatkowska:
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata.
ATVA 2005: 385-399 |
| 64 | EE | Yi Zhang,
David Parker,
Marta Z. Kwiatkowska:
A Wavefront Parallelisation of CTMC Solution Using MTBDDs.
DSN 2005: 732-741 |
| 63 | EE | Sibusisiwe Chiyangwa,
Marta Z. Kwiatkowska:
A Timing Analysis of AODV.
FMOODS 2005: 306-321 |
| 62 | EE | Stefano Cattani,
Roberto Segala,
Marta Z. Kwiatkowska,
Gethin Norman:
Stochastic Transition Systems for Continuous State Spaces and Non-determinism.
FoSSaCS 2005: 125-139 |
| 61 | EE | Zhenyu Liu,
Marta Z. Kwiatkowska,
Costas C. Constantinou:
A Biologically Inspired Congestion Control Routing Algorithm for MANETs.
PerCom Workshops 2005: 226-231 |
| 60 | EE | Xu Wang,
Marta Z. Kwiatkowska,
Georgios K. Theodoropoulos,
Qianyi Zhang:
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.
Electr. Notes Theor. Comput. Sci. 128(6): 231-246 (2005) |
| 59 | EE | Stefano Cattani,
Marta Z. Kwiatkowska:
A refinement-based process algebra for timed automata.
Formal Asp. Comput. 17(2): 138-159 (2005) |
| 58 | EE | Gethin Norman,
David Parker,
Marta Z. Kwiatkowska,
Sandeep K. Shukla,
Rajesh Gupta:
Using probabilistic model checking for dynamic power management.
Formal Asp. Comput. 17(2): 160-176 (2005) |
| 57 | EE | 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 24(10): 1629-1637 (2005) |
| 56 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Probabilistic model checking in practice: case studies with PRISM.
SIGMETRICS Performance Evaluation Review 32(4): 16-21 (2005) |
| 2004 |
|---|
| 55 | | Zhenyu Liu,
Marta Z. Kwiatkowska,
Costas C. Constantinou:
A swarm intelligence routing algorithm for MANETs.
Communications, Internet, and Information Technology 2004: 484-489 |
| 54 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
Fuzhi Wang:
Symbolic Model Checking for Probabilistic Timed Automata.
FORMATS/FTRTFT 2004: 293-308 |
| 53 | | Marie Duflot,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
A Formal Analysis of Bluetooth Device Discovery.
ISoLA (Preliminary proceedings) 2004: 268-275 |
| 52 | EE | Marta Z. Kwiatkowska,
David Parker,
Yi Zhang,
Rashid Mehmood:
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.
MASCOTS 2004: 123-130 |
| 51 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
PRISM 2.0: A Tool for Probabilistic Model Checking.
QEST 2004: 322-323 |
| 50 | EE | Håkan L. S. Younes,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
TACAS 2004: 46-60 |
| 49 | EE | 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: 907- |
| 48 | EE | Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman:
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.
STTT 5(2-3): 221-236 (2004) |
| 47 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Probabilistic symbolic model checking with PRISM: a hybrid approach.
STTT 6(2): 128-142 (2004) |
| 2003 |
|---|
| 46 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Jeremy Sproston:
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.
FORMATS 2003: 105-120 |
| 45 | EE | Marta Z. Kwiatkowska:
Model checking for probability and time: from theory to practice .
LICS 2003: 351- |
| 44 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston:
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.
Formal Asp. Comput. 14(3): 295-318 (2003) |
| 43 | EE | 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. 56(1-2): 23-67 (2003) |
| 2002 |
|---|
| 42 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
PRISM: Probabilistic Symbolic Model Checker.
Computer Performance Evaluation / TOOLS 2002: 200-204 |
| 41 | EE | Marta Z. Kwiatkowska,
Gethin Norman:
Verifying Randomized Byzantine Agreement.
FORTE 2002: 194-209 |
| 40 | EE | Marta Z. Kwiatkowska,
Rashid Mehmood:
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling.
PAPM-PROBMIV 2002: 135-151 |
| 39 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
António Pacheco:
Model Checking CSL until Formulae with Random Time Bounds.
PAPM-PROBMIV 2002: 152-168 |
| 38 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston:
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.
PAPM-PROBMIV 2002: 169-187 |
| 37 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.
TACAS 2002: 52-66 |
| 36 | EE | 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. 66(2): (2002) |
| 35 | EE | Marta Z. Kwiatkowska,
Rashid Mehmood,
Gethin Norman,
David Parker:
A Symbolic Out-of-Core Solution Method for Markov Models.
Electr. Notes Theor. Comput. Sci. 68(4): (2002) |
| 34 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Automatic verification of real-time systems with discrete probability distributions.
Theor. Comput. Sci. 282(1): 101-150 (2002) |
| 2001 |
|---|
| 33 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala:
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.
CAV 2001: 194-206 |
| 32 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston:
Symbolic Computation of Maximal Probabilistic Reachability.
CONCUR 2001: 169-183 |
| 31 | EE | Joost-Pieter Katoen,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Faster and Symbolic CTMC Model Checking.
PAPM-PROBMIV 2001: 23-38 |
| 2000 |
|---|
| 30 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.
CONCUR 2000: 123-137 |
| 29 | EE | 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: 395-410 |
| 28 | | Christel Baier,
Marta Z. Kwiatkowska:
On Topological Hierarchies of Temporal Properties.
Fundam. Inform. 41(3): 259-294 (2000) |
| 27 | | Christel Baier,
Marta Z. Kwiatkowska:
Domain equations for probabilistic processes.
Mathematical Structures in Computer Science 10(6): 665-717 (2000) |
| 1999 |
|---|
| 26 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Automatic Verification of Real-Time Systems with Discrete Probability Distributions.
ARTS 1999: 75-95 |
| 25 | EE | Christel Baier,
Marta Z. Kwiatkowska,
Gethin Norman:
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 24 | EE | Christel Baier,
Michael Huth,
Marta Z. Kwiatkowska,
Mark Ryan:
Preface.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 1998 |
|---|
| 23 | | Michael Huth,
Marta Z. Kwiatkowska:
Comparing CTL and PCTL on labeled Markov chains.
PROCOMET 1998: 244-262 |
| 22 | EE | Christel Baier,
Marta Z. Kwiatkowska:
Model Checking for a Probabilistic Branching Time Logic with Fairness.
Distributed Computing 11(3): 125-155 (1998) |
| 21 | EE | Marta Z. Kwiatkowska,
Gethin Norman:
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Electr. Notes Theor. Comput. Sci. 13: (1998) |
| 20 | EE | Abbas Edalat,
Achim Jung,
Klaus Keimel,
Marta Z. Kwiatkowska:
Preface.
Electr. Notes Theor. Comput. Sci. 13: (1998) |
| 19 | EE | Marta Z. Kwiatkowska,
Gethin Norman:
A Testing Equivalence for Reactive Probabilistic Processes.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
| 18 | EE | Christel Baier,
Marta Z. Kwiatkowska:
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.
Inf. Process. Lett. 66(2): 71-79 (1998) |
| 1997 |
|---|
| 17 | | Christel Baier,
Edmund M. Clarke,
Vassili Hartonas-Garmhausen,
Marta Z. Kwiatkowska,
Mark Ryan:
Symbolic Model Checking for Probabilistic Processes.
ICALP 1997: 430-440 |
| 16 | EE | Michael Huth,
Marta Z. Kwiatkowska:
Quantitative Analysis and Model Checking.
LICS 1997: 111-122 |
| 15 | | Christel Baier,
Marta Z. Kwiatkowska:
Automatic Verification of Liveness Properties of Randomized Systems.
PODC 1997: 295 |
| 14 | EE | Christel Baier,
Marta Z. Kwiatkowska:
Domain equations for probabilistic processes.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 1996 |
|---|
| 13 | | Marta Z. Kwiatkowska,
Gethin Norman:
Probabilistic Metric Semantics for a Simple Language with Recursion.
MFCS 1996: 419-430 |
| 1995 |
|---|
| 12 | EE | Simon Ambler,
Marta Z. Kwiatkowska,
Nicholas Measor:
Duality and the Completeness of the Modal mu-Calculus.
Theor. Comput. Sci. 151(1): 3-27 (1995) |
| 1994 |
|---|
| 11 | | Marta Z. Kwiatkowska,
Doron Peled,
Wojciech Penczek:
A Hierarchy of Partial Order Temporal Properties.
ICTL 1994: 398-414 |
| 10 | | Chrysafis Hartonas,
Marta Z. Kwiatkowska:
Synchronisation Trees and Fairness: A Case Study.
Theory and Formal Methods 1994: 181-198 |
| 1993 |
|---|
| 9 | | Simon Ambler,
Marta Z. Kwiatkowska,
Nicholas Measor:
On Duality for the Modal µ-Calculus.
CSL 1993: 18-32 |
| 8 | | Marta Z. Kwiatkowska:
Concurrency, Fairness and Logical Complexity.
Theory and Formal Methods 1993: 195-208 |
| 7 | | Marta Z. Kwiatkowska,
Iain Phillips:
Concurrency and Conflict in CSP.
Theory and Formal Methods 1993: 209-225 |
| 1992 |
|---|
| 6 | | Marta Z. Kwiatkowska:
Infinite Behaviour and Fairness in Concurrent Constraint Programming.
REX Workshop 1992: 348-383 |
| 1991 |
|---|
| 5 | | Bard Bloom,
Marta Z. Kwiatkowska:
Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces.
MFPS 1991: 350-375 |
| 4 | | Marta Z. Kwiatkowska:
On the Domain of Traces and Sequential Composition.
TAPSOFT, Vol.1 1991: 42-56 |
| 1990 |
|---|
| 3 | | Marta Z. Kwiatkowska:
Defining Process Fairness for Non-Interleaving Concurrency.
FSTTCS 1990: 286-300 |
| 2 | | Marta Z. Kwiatkowska:
A Metric for Traces.
Inf. Process. Lett. 35(3): 129-135 (1990) |
| 1989 |
|---|
| 1 | | Marta Z. Kwiatkowska:
Event Fairness and Non-interleaving Concurrency.
Formal Asp. Comput. 1(3): 213-228 (1989) |
