@book(Anderson91, author = "William J. Anderson", year = "1991", title = "Continuous-Time {M}arkov Chains: An Applications-Oriented Approach", publisher = "Springer Verlag", doi = "10.1007/978-1-4612-3038-0", ) @article(AzizSSB00, author = "Adnan Aziz and Kumud Sanwal and Vigyan Singhal and Robert K. Brayton", year = "2000", title = "Model-Checking Continuous-Time {M}arkov Chains", journal = "ACM Trans. Comput. Log", volume = "1", number = "1", pages = "162--170", doi = "10.1145/343369.343402", ) @article(BaierHHK03, author = "Christel Baier and Boudewijn R. Haverkort and Holger Hermanns and Joost-Pieter Katoen", year = "2003", title = "Model-Checking Algorithms for Continuous-Time {M}arkov Chains", journal = "IEEE Trans. Software Eng", volume = "29", number = "6", pages = "524--541", doi = "10.1109/TSE.2003.1205180", ) @inproceedings(BMM09, author = "P. Ballarini and R. Mardare and I. Mura", year = "2009", title = "Analysing Biochemical Oscillation through Probabilistic Model Checking", booktitle = "Proc. 2nd Workshop From Biology to Concurrency and Back (FBTC'08)", series = "Electronic Notes in Theoretical Computer Science", volume = "229 (issue 1)", publisher = "Elsevier", pages = "3--19", doi = "10.1016/j.entcs.2009.02.002", ) @article(courtoissemal, author = "P.-J. Courtois and P Semal", year = "1984", title = "Bounds for the Positive {E}igenvectors of Nonnegative Matrices and for their Approximations by Decomposition", journal = "J. ACM", volume = "31", number = "4", pages = "804--825", doi = "10.1145/1634.1637", ) @inproceedings(courtois, author = "Pierre-Jacques Courtois", year = "1985", title = "Analysis of Large {M}arkovian Models by Parts. {A}pplications to Queueing Network Models", booktitle = "Messung, Modellierung und Bewertung von Rechensystemen, 3. GI/NTG-Fachtagung", pages = "1--10", doi = "10.1007/978-3-642-87472-7_1", ) @article(dayar-hermanns-spieler-wolf10, author = "Tu{\u {g}}rul Dayar and Holger Hermanns and David Spieler and Verena Wolf", year = "2011", title = "Bounding the equilibrium distribution of {Markov} population models", journal = "Numerical Linear Algebra with Applications", volume = "18", number = "6", pages = "931--946", doi = "10.1002/nla.795", ) @article(Dijk88, author = "Nico M. van Dijk", year = "1988", title = "On the finite horizon {B}ellman equation for controlled {M}arkov jump models with unbounded characteristics", journal = "Stochastic Proc. Appl", volume = "28", pages = "141--157", doi = "10.1016/0304-4149(88)90071-3", ) @article(EmersonC82, author = "E. Allen Emerson and Edmund M. Clarke", year = "1982", title = "Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons", journal = "Sci. Comput. Program", volume = "2", number = "3", pages = "241--266", doi = "10.1016/0167-6423(83)90017-5", ) @article(glynn, author = "P. Glynn and A. Zeevi", year = "2008", title = "Bounding stationary expectations of {M}arkov processes", journal = "IMS Collections: Markov Processes and Related Topics", volume = "4", pages = "195--214", doi = "10.1214/074921708000000381", ) @inproceedings(Grassmann91, author = "Winfried K. Grassmann", year = "1991", title = "Finding Transient Solutions in {M}arkovian Event Systems Through Randomization", booktitle = "Numerical Solution of {M}arkov Chains", pages = "357--371", ) @article(GossP98, author = "Peter J. E. Gross and Jean Peccoud", year = "1998", title = "Quantitative modeling of stochastic systems in molecular biology by using stochastic {P}etri nets", journal = "Proc. Natl. Acad. Sci.", volume = "95", pages = "6750--6755", doi = "10.1073/pnas.95.12.6750", ) @article(phom, author = "Takayuki Gunji and Sunyoung Kim and Masakazu Kojima and Akiko Takeda and Katsuki Fujisawa and Tomohiko Mizutani", year = "2004", title = "{PHoM} -- a Polyhedral Homotopy Continuation Method for Polynomial Systems", journal = "Computing", volume = "73", number = "1", pages = "57--77", doi = "10.1007/s00607-003-0032-4", ) @inproceedings(HahnHWZ09, author = "E. Moritz Hahn and Holger Hermanns and Bj{\"o}rn Wachter and Lijun Zhang", year = "2009", title = "{INFAMY}: An Infinite-State {M}arkov Model Checker", booktitle = "CAV", publisher = "Springer", pages = "641--647", doi = "10.1007/978-3-642-02658-4_49", ) @article(HahnHWZ09a, author = "E. Moritz Hahn and Holger Hermanns and Bj\"orn Wachter and Lijun Zhang", year = "2009", title = "Time-Bounded Model Checking of Infinite-State Continuous-Time {Markov} Chains", journal = "Fundamenta Informaticae", volume = "95", pages = "129--155", doi = "10.3233/FI-2009-145", ) @inproceedings(KatoenKLW07, author = "Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf", year = "2007", title = "Three-Valued Abstraction for Continuous-Time {M}arkov Chains", booktitle = "CAV", series = "Lecture Notes in Computer Science", volume = "4590", publisher = "Springer", pages = "311--324", doi = "10.1007/978-3-540-73368-3_37", ) @phdthesis(Klink10, author = "Daniel Klink", year = "2010", title = "Three-Valued Abstraction for Stochastic Systems", school = "RWTH Aachen", ) @article(hom4ps, author = "T. L. Lee and T. Y. Li and C. H. Tsai", year = "2008", title = "{HOM4PS-2.0}: a software package for solving polynomial systems by the polyhedral homotopy continuation method", journal = "Computing", volume = "83", number = "2-3", pages = "109--133", doi = "10.1007/s00607-008-0015-6", ) @article(exswitch, author = "A. Loinger and A. Lipshtat and N. Q. Balaban and O. Biham", year = "2007", title = "Stochastic simulations of genetic switch systems", journal = "Physical Review E", volume = "75", number = "2", pages = "021904", doi = "10.1103/PhysRevE.75.021904", ) @article(MoorselS94, author = "Aad P. A. van Moorsel and William H. Sanders", year = "1994", title = "Adaptive Uniformization", journal = "Communications in Statistics - Stochastic Models", volume = "10", number = "3", pages = "619--647", doi = "10.1080/15326349408807313", ) @article(MunskyK06, author = "Brian Munsky and Mustafa Khammash", year = "2006", title = "The Finite State Projection Algorithm for the Solution of the Chemical Master Equation", journal = "Journal of Chemical Physics", volume = "124", number = "044104", doi = "10.1063/1.2145882", ) @article(RemkeHC07, author = "Anne Remke and Boudewijn R. Haverkort and Lucia Cloth", year = "2007", title = "{CSL} Model Checking Algorithms for {QBD}s", journal = "Theor. Comput. Sci", volume = "382", number = "1", pages = "24--41", url = "http://dx.doi.org/10.1016/j.tcs.2007.05.007", ) @article(geobound, author = "D. Spieler", year = "2011", title = "Geobound", journal = "\url {http://mosi.cs.uni-saarland.de/?page_id=74}", ) @book(Steward94, author = "William J. Stewart", year = "1994", title = "Introduction to the Numerical Solution of {M}arkov Chains", publisher = "Princeton University Press", ) @article(Thattai, author = "M. Thattai and A. van Oudenaarden", year = "2001", title = "Intrinsic noise in gene regulatory networks.", journal = "{P}roceedings of the {N}ational {A}cademy of {S}cience, USA", volume = "98", number = "15", pages = "8614--8619", doi = "10.1073/pnas.151588598", ) @article(tweedie, author = "R. Tweedie", year = "1975", title = "Sufficient conditions for regularity, recurrence and ergodicity of {M}arkov processes", journal = "Math. Proc. Camb. Phil. Soc.", volume = "78", pages = "125--130", doi = "10.1017/S0305004100051562", )