| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
Automatic Verification of Competitive Stochastic Systems.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
Verification of linear duration properties over continuous-time markov chains. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska |
A Compositional Specification Theory for Component Behaviours. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli |
Dynamic QoS Management and Optimization in Service-Based Systems. |
IEEE Trans. Software Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur, Marta Z. Kwiatkowska |
On software verification for sensor nodes. |
Journal of Systems and Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige |
Large-scale Complex IT Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
Verifying Team Formation Protocols with Probabilistic Model Checking. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
Quantitative Multi-objective Verification for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, David Parker, Hongyang Qu |
Incremental quantitative verification for Markov decision processes. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
Time-Bounded Verification of CTMCs against Real-Time Specifications. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker |
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Feng, Marta Z. Kwiatkowska, David Parker |
Automated Learning of Probabilistic Assumptions for Compositional Reasoning. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Automated Verification Techniques for Probabilistic Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM 4.0: Verification of Probabilistic Real-Time Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu |
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking |
| 1 | Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. |
BICoB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou |
A biologically inspired QoS routing algorithm for mobile ad hoc networks. |
IJWMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
Quantitative Games on Probabilistic Timed Automata |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A game-based abstraction-refinement framework for Markov decision processes. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu |
Parallel Model Checking for Temporal Epistemic Logic. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
Assume-Guarantee Verification for Probabilistic Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A Framework for Verification of Software with Time and Probabilities. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
Expected Reachability-Time Games. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur, Marta Z. Kwiatkowska |
Software verification for TinyOS. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
sensor networks, model checking, reliability, safety, software verification, TinyOS, telos, MSP430 |
| 1 | Lu Feng, Marta Z. Kwiatkowska, David Parker |
Compositional Verification of Probabilistic Systems Using Learning. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
Towards a Connector Algebra. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |
Dependability Analysis and Verification for Connected Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska (eds.) |
15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010 |
ICECCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti |
Probabilistic Mobile Ambients. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM: probabilistic model checking for performance and reliability analysis. |
SIGMETRICS Performance Evaluation Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
Concavely-Priced Probabilistic Timed Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Stochastic Games for Verification of Probabilistic Timed Automata. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska |
On Quantitative Software Verification. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Marta Z. Kwiatkowska |
CADS*: Computer-Aided Development of Self-* Systems. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeshan 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur, Marta Z. Kwiatkowska |
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. |
AmI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valé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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Abstraction Refinement for Probabilistic Software. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Marta Z. Kwiatkowska |
Using quantitative analysis to implement autonomic IT systems. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad 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 |
DBLP DOI BibTeX RDF |
performance analysis, markov chain, coordination model, reo |
| 1 | John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn |
Probabilistic model checking of complex biological pathways. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-Objective Model Checking of Markov Decision Processes. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Game-Based Probabilistic Predicate Abstraction in PRISM. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-Objective Model Checking of Markov Decision Processes |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Using probabilistic model checking in systems biology. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Analysis of a gossip protocol in PRISM. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oksana Tymchyshyn, Marta Z. Kwiatkowska |
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenyu Liu, Wen Gao, Marta Z. Kwiatkowska |
A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds. |
CW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
service-oriented architecture, Grid computing, web services resource framework, Z specification |
| 1 | Tianyi 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Marta Z. Kwiatkowska |
Software Engineering Techniques for the Development of Systems of Systems. |
Monterey Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang |
Symbolic model checking for probabilistic timed automata. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Wang, Marta Z. Kwiatkowska |
Compositional State Space Reduction Using Untangled Actions. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Wang, Marta Z. Kwiatkowska |
On Process-algebraic Verification of Asynchronous Circuits. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-objective Model Checking of Markov Decision Processes. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Stochastic Model Checking. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska |
Quantitative verification: models, techniques and tools. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
probabilistic temporal logics, quantitative model checking, Markov models, probabilistic model checking |
| 1 | Marta Z. Kwiatkowska |
Quantitative verification: models techniques and tools. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
probabilistic temporal logics, quantitative model checking, Markov models, probabilistic model checking |
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Quantitative Analysis With the Probabilistic Model Checker PRISM. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Numerical vs. statistical probabilistic model checking. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Uniformisation, Temporal logic, Markov chains, Hypothesis testing, Transient analysis |
| 1 | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A formal analysis of bluetooth device discovery. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Formal verification, Bluetooth, Probabilistic model checking |
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston |
Performance analysis of probabilistic timed automata using digital clocks. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Timed automata, Probabilistic model checking, Digital clocks |
| 1 | Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM: A Tool for Automatic Verification of Probabilistic Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Wang, Marta Z. Kwiatkowska |
On process-algebraic verification of asynchronous circuits. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn |
Probabilistic Model Checking of Complex Biological Pathways. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Symmetry Reduction for Probabilistic Model Checking. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Game-based Abstraction for Markov Decision Processes. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker |
On Reduction Criteria for Probabilistic Reward Models. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Cattani, Marta Z. Kwiatkowska |
A refinement-based process algebra for timed automata. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta |
Using probabilistic model checking for dynamic power management. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Model checking, Embedded systems, Formal methods, Power management, Probabilistic model checking |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Probabilistic model checking in practice: case studies with PRISM. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
PRISM |
| 1 | Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou |
A self-organised emergent routing mechanism for mobile ad hoc networks. |
European Transactions on Telecommunications |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska |
A Timing Analysis of AODV. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Zhang, David Parker, Marta Z. Kwiatkowska |
A Wavefront Parallelisation of CTMC Solution Using MTBDDs. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuzhi Wang, Marta Z. Kwiatkowska |
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou |
A Biologically Inspired Congestion Control Routing Algorithm for MANETs. |
PerCom Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou |
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Probabilistic symbolic model checking with PRISM: a hybrid approach. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Binary decision diagrams, Symbolic model checking, Probabilistic model checking |
| 1 | Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman |
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Forwards reachability, Timed automata, Probabilistic model checking, IEEE standard, FireWire |
| 1 | Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang |
Symbolic Model Checking for Probabilistic Timed Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood |
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. |
MASCOTS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM 2.0: A Tool for Probabilistic Model Checking. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou |
A swarm intelligence routing algorithm for MANETs. |
Communications, Internet, and Information Technology |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A Formal Analysis of Bluetooth Device Discovery. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Timed automata, Probabilistic model checking, IEEE standard, FireWire |
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston |
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska |
Model checking for probability and time: from theory to practice . |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
Automatic verification of real-time systems with discrete probability distributions. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker |
A Symbolic Out-of-Core Solution Method for Markov Models. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")