dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marta Z. Kwiatkowska Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska: A Compositional Specification Theory for Component Behaviours. ESOP 2012: 148-168
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre: Verification of linear duration properties over continuous-time markov chains. HSCC 2012: 265-274
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330
2011
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker: Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521
135no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, David Parker, Hongyang Qu: Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Feng, Marta Z. Kwiatkowska, David Parker: Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE 2011: 2-17
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre: Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS 2011: 26-42
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenri Hansen, Marta Z. Kwiatkowska, Hongyang Qu: Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST 2011: 203-212
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige: Large-scale Complex IT Systems CoRR abs/1109.3444: (2011)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli: Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng. 37(3): 387-409 (2011)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoina Bucur, Marta Z. Kwiatkowska: On software verification for sensor nodes. Journal of Systems and Software 84(10): 1693-1707 (2011)
2010
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska: 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010 IEEE Computer Society 2010
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu: Parallel Model Checking for Temporal Epistemic Logic. ECAI 2010: 543-548
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Expected Reachability-Time Games. FORMATS 2010: 122-136
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoina Bucur, Marta Z. Kwiatkowska: Software verification for TinyOS. IPSN 2010: 400-401
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu: Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli: Towards a Connector Algebra. ISoLA (2) 2010: 278-292
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Feng, Marta Z. Kwiatkowska, David Parker: Compositional Verification of Probabilistic Systems Using Learning. QEST 2010: 133-142
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Quantitative Games on Probabilistic Timed Automata CoRR abs/1001.1933: (2010)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A game-based abstraction-refinement framework for Markov decision processes. Formal Methods in System Design 36(3): 246-280 (2010)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou: A biologically inspired QoS routing algorithm for mobile ad hoc networks. IJWMC 4(2): 64-75 (2010)
2009
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoina Bucur, Marta Z. Kwiatkowska: Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. AmI 2009: 101-105
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu: Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE 2009: 287-288
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Calinescu, Marta Z. Kwiatkowska: CADS*: Computer-Aided Development of Self-* Systems. FASE 2009: 421-424
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Calinescu, Marta Z. Kwiatkowska: Using quantitative analysis to implement autonomic IT systems. ICSE 2009: 100-110
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska: Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP 2009: 326-341
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: On Quantitative Software Verification. SPIN 2009: 2-3
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane 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)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Performance Evaluation Review 36(4): 40-45 (2009)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti: Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009)
2008
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTianyi 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
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Liu, Wen Gao, Marta Z. Kwiatkowska: A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds. CW 2008: 772-777
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOksana Tymchyshyn, Marta Z. Kwiatkowska: Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. FMSB 2008: 63-76
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Calinescu, Marta Z. Kwiatkowska: Software Engineering Techniques for the Development of Systems of Systems. Monterey Workshop 2008: 59-82
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos H. Caldas: Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience 2008: 406-407
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes CoRR abs/0810.5728: (2008)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes. Logical Methods in Computer Science 4(4): (2008)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Analysis of a gossip protocol in PRISM. SIGMETRICS Performance Evaluation Review 36(3): 17-22 (2008)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: Quantitative verification: models techniques and tools. ESEC/SIGSOFT FSE 2007: 449-458
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: Quantitative verification: models, techniques and tools. ESEC/SIGSOFT FSE (Companion) 2007: 449-458
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Model Checking. SFM 2007: 220-270
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Marta Z. Kwiatkowska: Compositional State Space Reduction Using Untangled Actions. Electr. Notes Theor. Comput. Sci. 175(3): 27-46 (2007)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Marta Z. Kwiatkowska: On Process-algebraic Verification of Asynchronous Circuits. Fundam. Inform. 80(1-3): 283-310 (2007)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007)
2006
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu Wang, Marta Z. Kwiatkowska: On process-algebraic verification of asynchronous circuits. ACSD 2006: 37-46
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert 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
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu 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)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Quantitative Analysis With the Probabilistic Model Checker PRISM. Electr. Notes Theor. Comput. Sci. 153(2): 5-31 (2006)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta 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)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
2005
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou: A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. AINA 2005: 426-431
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFuzhi Wang, Marta Z. Kwiatkowska: An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. ATVA 2005: 385-399
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Zhang, David Parker, Marta Z. Kwiatkowska: A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN 2005: 732-741
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSibusisiwe Chiyangwa, Marta Z. Kwiatkowska: A Timing Analysis of AODV. FMOODS 2005: 306-321
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman: Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou: A Biologically Inspired Congestion Control Routing Algorithm for MANETs. PerCom Workshops 2005: 226-231
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu 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)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou: A self-organised emergent routing mechanism for mobile ad hoc networks. European Transactions on Telecommunications 16(5): 457-470 (2005)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Cattani, Marta Z. Kwiatkowska: A refinement-based process algebra for timed automata. Formal Asp. Comput. 17(2): 138-159 (2005)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGethin 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)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGethin 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta 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
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou: A swarm intelligence routing algorithm for MANETs. Communications, Internet, and Information Technology 2004: 484-489
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood: Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS 2004: 123-130
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGethin 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-
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLConrado 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)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT 6(2): 128-142 (2004)
2003
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: Model checking for probability and time: from theory to practice . LICS 2003: 351-
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta 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)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman: Verifying Randomized Byzantine Agreement. FORTE 2002: 194-209
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Rashid Mehmood: Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. PAPM-PROBMIV 2002: 135-151
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, António Pacheco: Model Checking CSL until Formulae with Random Time Bounds. PAPM-PROBMIV 2002: 152-168
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. PAPM-PROBMIV 2002: 169-187
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLConrado 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): 104-119 (2002)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta 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): 589-604 (2002)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta 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
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, Roberto Segala: Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV 2001: 194-206
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Symbolic Computation of Maximal Probabilistic Reachability. CONCUR 2001: 169-183
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
2000
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: On Topological Hierarchies of Temporal Properties. Fundam. Inform. 41(3): 259-294 (2000)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Mathematical Structures in Computer Science 10(6): 665-717 (2000)
1999
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS 1999: 75-95
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan: Preface. Electr. Notes Theor. Comput. Sci. 22: 1-2 (1999)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska, Gethin Norman: Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 22: 29 (1999)
1998
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Huth, Marta Z. Kwiatkowska: Comparing CTL and PCTL on labeled Markov chains. PROCOMET 1998: 244-262
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Computing 11(3): 125-155 (1998)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska: Preface. Electr. Notes Theor. Comput. Sci. 13: 1 (1998)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman: A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes Electr. Notes Theor. Comput. Sci. 13: 182 (1998)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman: A Testing Equivalence for Reactive Probabilistic Processes. Electr. Notes Theor. Comput. Sci. 16(2): 114-132 (1998)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Huth, Marta Z. Kwiatkowska: Quantitative Analysis and Model Checking. LICS 1997: 111-122
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: Automatic Verification of Liveness Properties of Randomized Systems. PODC 1997: 295
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Electr. Notes Theor. Comput. Sci. 7: 34-54 (1997)
1996
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Gethin Norman: Probabilistic Metric Semantics for a Simple Language with Recursion. MFCS 1996: 419-430
1995
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Ambler, Marta Z. Kwiatkowska, Nicholas Measor: Duality and the Completeness of the Modal mu-Calculus. Theor. Comput. Sci. 151(1): 3-27 (1995)
1994
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Doron Peled, Wojciech Penczek: A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChrysafis Hartonas, Marta Z. Kwiatkowska: Synchronisation Trees and Fairness: A Case Study. Theory and Formal Methods 1994: 181-198
1993
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Ambler, Marta Z. Kwiatkowska, Nicholas Measor: On Duality for the Modal µ-Calculus. CSL 1993: 18-32
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: Concurrency, Fairness and Logical Complexity. Theory and Formal Methods 1993: 195-208
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska, Iain Phillips: Concurrency and Conflict in CSP. Theory and Formal Methods 1993: 209-225
1992
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: Infinite Behaviour and Fairness in Concurrent Constraint Programming. REX Workshop 1992: 348-383
1991
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBard Bloom, Marta Z. Kwiatkowska: Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. MFPS 1991: 350-375
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: On the Domain of Traces and Sequential Composition. TAPSOFT, Vol.1 1991: 42-56
1990
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: Defining Process Fairness for Non-Interleaving Concurrency. FSTTCS 1990: 286-300
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: A Metric for Traces. Inf. Process. Lett. 35(3): 129-135 (1990)
1989
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Z. Kwiatkowska: Event Fairness and Non-interleaving Concurrency. Formal Asp. Comput. 1(3): 213-228 (1989)

Coauthor Index

1Luca de Alfaro [29]
2Simon Ambler [9] [12]
3Farhad Arbab [109]
4Marco Autili [117]
5Christel Baier [14] [15] [17] [18] [22] [24] [25] [27] [28] [77]
6Antonia Bertolino [106]
7Gordon S. Blair [106]
8Bard Bloom [5]
9James D. Brenton [94]
10Doina Bucur [111] [119] [124]
11Carlos H. Caldas [94] [98]
12Radu Calinescu [94] [95] [98] [104] [105] [106] [108] [123] [125] [126]
13Stefano Cattani [59] [63]
14Taolue Chen [130] [133] [137] [138] [139]
15Chris Chilton [117] [139]
16Sibusisiwe Chiyangwa [64]
17Frank Ciesinski [77]
18Edmund M. Clarke [17]
19Dave Cliff [126]
20Costas C. Constantinou [55] [60] [62] [67] [112]
21Charles Crichton [94]
22Jim Davies [94] [98]
23Conrado Daws [36] [48]
24Marco Diciolla [130] [138]
25Marie Duflot [53] [68]
26Abbas Edalat [21]
27Kousha Etessami [84] [91] [93]
28Lu Feng [116] [131] [136]
29Vojtech Forejt [121] [127] [128] [137]
30Eamonn Gaffney [74]
31Wen Gao [97]
32Felicita Di Giandomenico [118]
33Jeremy Gibbons [94] [98]
34Paul Grace [106]
35Marcus Größer [77]
36Lars Grunske [125]
37Rajesh K. Gupta (Rajesh Gupta) [58]
38Tingting Han [136]
39Henri Hansen [129]
40David Harel [73]
41Steve Harris [94] [98]
42Chrysafis Hartonas [10]
43Vassili Hartonas-Garmhausen [17]
44John Heath [74] [78] [88]
45Holger Hermanns [43]
46Jane Hillston [101]
47Andrew Hinton [75]
48Michael Hucka [73]
49Michael Huth [16] [23] [25]
50Paola Inverardi [106] [117]
51Valérie Issarny [106]
52Bengt Jonsson [106] [139]
53Jorge Júlvez [135]
54Achim Jung [21]
55Marcin Jurdzinski [110]
56Joost-Pieter Katoen [31]
57Mark Kattenbelt [92] [102] [113]
58Justin Keen [126]
59Klaus Keimel [21]
60Tim Kelly (Tim P. Kelly) [104] [126]
61Zeshan Kurd [104]
62Zhenyu Liu [55] [60] [62] [67] [97] [112]
63Alessio Lomuscio [122]
64Peter Maccallum [98]
65Marco Martinucci [118]
66Paolo Masci [118]
67John A. McDermid [104] [126]
68Nicholas Measor [9] [12]
69Rashid Mehmood [35] [40] [52]
70Pedro Mendes [73]
71Sun Meng [109]
72Alexandru Mereacre [130] [138]
73Raffaela Mirandola [125]
74Young-Joo Moon [109]
75Gethin Norman [13] [19] [20] [24] [26] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [41] [42] [43] [44] [46] [47] [48] [49] [50] [51] [53] [54] [56] [57] [58] [63] [68] [69] [70] [71] [74] [75] [76] [77] [78] [79] [81] [85] [88] [89] [90] [92] [99] [100] [102] [107] [110] [113] [114] [115] [120] [121] [127] [128] [134] [135]
76António Pacheco [39]
77Richard F. Paige [123] [126]
78David Parker [29] [31] [35] [37] [42] [43] [46] [47] [49] [50] [51] [52] [53] [56] [57] [58] [65] [68] [69] [70] [71] [74] [75] [76] [77] [78] [79] [85] [88] [89] [90] [92] [99] [100] [102] [107] [113] [115] [116] [120] [127] [128] [131] [132] [133] [134] [135] [136] [137]
79Doron Peled [11]
80Wojciech Penczek [11]
81Iain C. C. Phillips (Iain Phillips) [7]
82Hongyang Qu [109] [115] [118] [122] [127] [129] [132]
83Mark Ryan (Mark Dermot Ryan) [17] [25]
84Antonino Sabetta [106]
85Herbert M. Sauro [73]
86Roberto Segala [26] [29] [30] [33] [34] [63]
87Clifford A. Shaffer [73]
88Sandeep K. Shukla (Sandeep Kumar Shukla) [49] [57] [58]
89Markus Siegle [43]
90Aistis Simaitis [133] [137]
91Ian Sommerville [126]
92Jeremy Sproston [26] [30] [32] [34] [38] [44] [46] [54] [70] [81]
93Bernhard Steffen [106]
94Lena Strömbäck [73]
95Giordano Tamburrelli [125]
96Miklós Telek [101]
97Georgios K. Theodoropoulos [61] [72]
98Massimo Tivoli [106] [117]
99Ashutosh Trivedi [110] [114] [121]
100Andrew Tsui [94] [98]
101Oksana Tymchyshyn [74] [78] [88] [96]
102John J. Tyson [73]
103Adelinde M. Uhrmacher (Adelinde Uhrmacher) [73]
104Moshe Y. Vardi [84] [91] [93]
105Maria Grazia Vigliotti [99]
106Fuzhi Wang [54] [66] [81]
107Xu Wang [61] [72] [80] [82] [83]
108Mihalis Yannakakis [84] [91] [93]
109Håkan L. S. Younes [50] [69]
110Tianyi Zang [94] [98]
111Qianyi Zhang [61] [72]
112Yi Zhang [52] [65]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page