VERIWARE - Publications
Sort by: date, type, title
23 publications:
-
[KP12]
M. Kwiatkowska and D. Parker.
Advances in Probabilistic Model Checking.
In Proc. 2011 Marktoberdorf Summer School: Tools for Analysis and Verification of Software Safety and Security, IOS Press. To appear.
2012.
[pdf]
[bib]
-
[CCJK12]
T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska.
A Compositional Specification Theory for Component Behaviours.
In H. Seidl (editor) Proc. 21st European Symposium on Programming (ESOP'12), volume 7211 of Lecture Notes in Computer Science, pages 145-165, Springer-Verlag. To appear.
2012.
[pdf]
[bib]
-
[CFK+12]
T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis.
Automatic Verification of Competitive Stochastic Systems.
In Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). To appear.
2012.
[pdf]
[bib]
-
[LPC+12]
M. Lakin, D. Parker, L. Cardelli, M. Kwiatkowska and A. Phillips.
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking.
Journal of the Royal Society Interface. To appear.
2012.
[pdf]
[bib]
-
[JKNP12]
J. Júlvez, M. Kwiatkowska, G. Norman and D. Parker.
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations.
International Journal of Computers and Applications (IJCA). To appear.
2012.
[pdf]
[bib]
-
[CDKM12]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
Verification of Linear Duration Properties over Continuous-Time Markov Chains.
In Proc. 15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012). To appear.
April 2012.
[pdf]
-
[CHKM11b]
Taolue Chen, Tingting Han, Joost-Pieter Katoen and Alexandru Mereacre.
Reachability Probabilities in Markovian Timed Automata.
In Proc. 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'11).
December 2011.
-
[FHKP11]
L. Feng, T. Han, M. Kwiatkowska and D. Parker.
Learning-based Compositional Verification for Synchronous Probabilistic Systems.
In Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), volume 6996 of LNCS, pages 511-521, Springer.
October 2011.
[pdf]
[bib]
-
[HKQ11]
H. Hansen, M. Kwiatkowska and H. Qu.
Partial order reduction for model checking Markov decision processes under unconditional fairness.
In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11), pages 203-212, IEEE CS Press.
September 2011.
[pdf]
[bib]
-
[HNP+11]
E. M. Hahn, G. Norman, D. Parker, B. Wachter and L. Zhang.
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.
In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11), pages 69-78, IEEE CS Press.
September 2011.
[pdf]
[bib]
-
[CDKM11]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
Time-Bounded Verification of CTMCs against Real-Time Specifications.
In Proc. 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), volume 6919 of LNCS, pages 26-42, Springer.
September 2011.
[pdf]
[bib]
-
[CHKM11a]
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Observing Continuous-Time MDPs by 1-Clock Timed Automata.
In Proc. 5th Interntaional Workshop on Reachability Problems (RP'11), volume 6945 of LNCS, pages 2-25, Springer.
September 2011.
-
[CKPS11]
T. Chen, M. Kwiatkowska, D. Parker and A. Simaitis.
Verifying Team Formation Protocols with Probabilistic Model Checking.
In Proc. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII 2011), volume 6814 of LNCS, pages 190-297, Springer.
July 2011.
[pdf]
[bib]
-
[KNP11]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM 4.0: Verification of Probabilistic Real-time Systems.
In Proc. 23rd International Conference on Computer Aided Verification (CAV'11), volume 6806 of LNCS, pages 585-591, Springer.
July 2011.
[pdf]
[bib]
-
[BBF+11]
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt and A. Kučera.
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.
In Proc. 26th Annual IEEE Symposium on Logic in Computer Science (LICS'11).
June 2011.
-
[FKNP11]
V. Forejt, M. Kwiatkowska, G. Norman and D. Parker.
Automated Verification Techniques for Probabilistic Systems.
In M. Bernardo and V. Issarny (editors) Formal Methods for Eternal Networked Software Systems (SFM'11), volume 6659 of LNCS, pages 53-113, Springer.
June 2011.
[pdf]
[bib]
-
[KPQ11]
M. Kwiatkowska, D. Parker and H. Qu.
Incremental Quantitative Verification for Markov Decision Processes.
In Proc. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11), pages 359-370, IEEE CS Press.
June 2011.
[pdf]
[bib]
-
[HHZ11]
Ernst Moritz Hahn and Tingting Han and Lijun Zhang.
Synthesis for PCTL in Parametric Markov Decision Processes.
In Proc. 3rd NASA Formal Methods Symposium (NFM'11).
April 2011.
[pdf]
[bib]
-
[FKP11]
L. Feng, M. Kwiatkowska and D. Parker.
Automated Learning of Probabilistic Assumptions for Compositional Reasoning.
In Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11), volume 6603 of LNCS, pages 2-17, Springer. Invited paper.
March 2011.
[pdf]
[bib]
-
[FKN+11]
V. Forejt, M. Kwiatkowska, G. Norman, D. Parker and H. Qu.
Quantitative Multi-Objective Verification for Probabilistic Systems.
In Proc. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), volume 6605 of LNCS, pages 112-127, Springer.
March 2011.
[pdf]
[bib]
-
[KNP10c]
M. Kwiatkowska, G. Norman and D. Parker.
Advances and Challenges of Probabilistic Model Checking.
In Proc. 48th Annual Allerton Conference on Communication, Control and Computing, pages 1691-1698, IEEE Press. Invited paper.
October 2010.
[pdf]
[bib]
-
[FKP10]
L. Feng, M. Kwiatkowska and D. Parker.
Compositional Verification of Probabilistic Systems using Learning.
In Proc. 7th International Conference on Quantitative Evaluation of Systems (QEST'10), pages 133-142, IEEE CS Press.
September 2010.
[pdf]
[bib]
-
[KNP10b]
M. Kwiatkowska, G. Norman and D. Parker.
A Framework for Verification of Software with Time and Probabilities.
In Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), volume 6246 of LNCS, pages 25-45, Springer.
September 2010.
[pdf]
[bib]
Sort by: date, type, title