@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 Markov Chains", journal = "IEEE Trans.\ on Software Engineering", volume = "29", number = "6", pages = "524--541", doi = "10.1109/TSE.2003.1205180", ) @article(BoudaliCS10, author = "Hichem Boudali and Pepijn Crouzen and Mari{\"e}lle Stoelinga", year = "2010", title = "A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis", journal = "IEEE Trans. Dependable Sec. Comput.", volume = "7", number = "2", pages = "128--143", doi = "10.1109/TDSC.2009.45", ) @article(BozzanoCKNNR11, author = "Marco Bozzano and Alessandro Cimatti and Joost-Pieter Katoen and Viet~Yen Nguyen and Thomas Noll and Marco Roveri", year = "2011", title = "Safety, Dependability and Performance Analysis of Extended AADL Models", journal = "Computer Journal", volume = "54", number = "5", pages = "754--775", doi = "10.1093/comjnl/bxq024", ) @inproceedings(CosteHLS09, author = "Nicolas Coste and Holger Hermanns and Etienne Lantreibecq and Wendelin Serwe", year = "2009", title = "Towards Performance Prediction of Compositional Models in Industrial GALS Designs", booktitle = "Proc.\ of CAV", series = "LNCS", volume = "5643", publisher = "Springer", pages = "204--218", doi = "10.1007/978-3-642-02658-4\_18", ) @inproceedings(DArgenioJJL02, author = "Pedro~R. D'Argenio and Bertrand Jeannet and Henrik~E.\ Jensen and Kim~G.\ Larsen", year = "2002", title = "Reduction and Refinement Strategies for Probabilistic Analysis", booktitle = "Proc.\ of PAPM-PROBMIV", pages = "57--76", doi = "10.1007/3-540-45605-8\_5", ) @article(DengH13, author = "Yuxin Deng and Matthew Hennessy", year = "2013", title = "On the semantics of {Markov} automata", journal = "Information and Computation", volume = "222", pages = "139--168", doi = "10.1016/j.ic.2012.10.010", ) @inproceedings(DesharnaisJGP02, author = "Josee Desharnais and Radha Jagadeesan and Vineet Gupta and Prakash Panangaden", year = "2002", title = "The Metric Analogue of Weak Bisimulation for Probabilistic Processes", booktitle = "Proc.\ of LICS", publisher = "IEEE CS", pages = "413--422", doi = "10.1109/LICS.2002.1029849", ) @inproceedings(EisentrautHKZ13, author = "Christian Eisentraut and Holger Hermanns and Joost-Pieter Katoen and Lijun Zhang", year = "2013", title = "A Semantics for Every {GSPN}", booktitle = "Proc. of Petri Nets", series = "LNCS", volume = "7927", publisher = "Springer", pages = "90--109", doi = "10.1007/978-3-642-38697-8\_6", ) @inproceedings(EisentrautHZ10:concur, author = "Christian Eisentraut and Holger Hermanns and Lijun Zhang", year = "2010", title = "Concurrency and Composition in a Stochastic World", booktitle = "Proc.\ of CONCUR", series = "LNCS", volume = "6269", publisher = "Springer", pages = "21--39", doi = "10.1007/978-3-642-15375-4\_3", ) @inproceedings(EisentrautHZ10:lics, author = "Christian Eisentraut and Holger Hermanns and Lijun Zhang", year = "2010", title = "On Probabilistic Automata in Continuous Time", booktitle = "Proc.\ of LICS", publisher = "IEEE CS", pages = "342--351", doi = "10.1109/LICS.2010.41", ) @inproceedings(GhemawatGL03, author = "Sanjay Ghemawat and Howard Gobioff and Shun-Tak Leung", year = "2003", title = "The Google file system", booktitle = "Proc. of the ACM Symp. on Operating Systems Principles (SOSP)", publisher = "ACM Press", pages = "29--43", doi = "10.1145/945445.945450", ) @mastersthesis(Guck12, author = "D.~{Guck}", year = "2012", title = "Quantitative Analysis of Markov Automata", school = "RWTH Aachen University", ) @inproceedings(GuckHKN12, author = "Dennis Guck and Tingting Han and Joost-Pieter Katoen and Martin~R. Neuh{\"a}u{\ss }er", year = "2012", title = "Quantitative Timed Analysis of Interactive Markov Chains", booktitle = "Proc.\ of NFM", series = "LNCS", volume = "7226", publisher = "Springer", pages = "8--23", doi = "10.1007/978-3-642-28891-3\_4", ) @inproceedings(GuckHHKT13, author = "Dennis Guck and Hassan Hatefi and Holger Hermanns and Joost-Pieter Katoen and Mark Timmer", year = "2013", title = "Modelling, Reduction and Analysis of {Markov} Automata", booktitle = "Proc.\ of QEST", series = "LNCS", volume = "8054", publisher = "Springer", pages = "55--71", doi = "10.1007/978-3-642-40196-1\_5", ) @article(HatefiH12, author = "Hassan Hatefi and Holger Hermanns", year = "2012", title = "Model Checking Algorithms for {Markov} Automata", journal = "ECEASST", volume = "53", doi = "10.1007/978-3-642-40213-5\_16", ) @inproceedings(HaverkortKRRS10, author = "Boudewijn~R. Haverkort and Matthias Kuntz and Anne Remke and S.~Roolvink and Mari{\"e}lle Stoelinga", year = "2010", title = "Evaluating repair strategies for a water-treatment facility using Arcade", booktitle = "Proc. of DSN", publisher = "IEEE", pages = "419--424", doi = "10.1109/DSN.2010.5544290", ) @book(Hermanns02, author = "Holger Hermanns", year = "2002", title = "Interactive {Markov} Chains -- The Quest for Quantified Quality", series = "LNCS", volume = "2428", publisher = "Springer", doi = "10.1007/3-540-45804-2", ) @article(KattenbeltKNP10, author = "Mark Kattenbelt and Marta~Z. Kwiatkowska and Gethin Norman and David Parker", year = "2010", title = "A game-based abstraction-refinement framework for {Markov} decision processes", journal = "Formal Methods in System Design", volume = "36", number = "3", pages = "246--280", doi = "10.1007/s10703-010-0097-6", ) @article(MarsanCB84, author = "Marco~Ajmone Marsan and Gianni Conte and Gianfranco Balbo", year = "1984", title = "A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems", journal = "ACM Trans. Comput. Syst.", volume = "2", number = "2", pages = "93--122", doi = "10.1145/190.191", ) @inproceedings(MeyerMS85, author = "John~F. Meyer and Ali Movaghar and William~H. Sanders", year = "1985", title = "Stochastic Activity Networks: Structure, Behavior, and Application", booktitle = "Proc. of PNPM", publisher = "IEEE CS", pages = "106--115", ) @phdthesis(Neuhausser10, author = "Martin~R. Neuh{\"a}u{\ss }er", year = "2010", title = "Model checking nondeterministic and randomly timed systems", school = "RWTH Aachen University and University of Twente", ) @phdthesis(Segala95, author = "Roberto Segala", year = "1995", title = "Modeling and Verification of Randomized Distributed Real-Time Systems", school = "MIT", ) @article(Shapley1953, author = "Lloyd~S Shapley", year = "1953", title = "Stochastic games", journal = "Proceedings of the National Academy of Sciences of the United States of America", volume = "39", number = "10", pages = "1095", doi = "10.1073/pnas.39.10.1095", ) @inproceedings(TimmerKPS12, author = "Mark Timmer and Joost-Pieter Katoen and Jaco van~de Pol and Mari{\"e}lle Stoelinga", year = "2012", title = "Efficient Modelling and Generation of Markov Automata", booktitle = "Proc.\ of CONCUR", series = "LNCS", volume = "7454", publisher = "Springer", pages = "364--379", doi = "10.1007/978-3-642-32940-1\_26", ) @inproceedings(TimmerPS13, author = "Mark Timmer and Jaco van~de Pol and Mari{\"e}lle Stoelinga", year = "2013", title = "Confluence Reduction for {Markov} Automata", booktitle = "Proc.\ of FORMATS", series = "LNCS", volume = "8053", publisher = "Springer", pages = "243--257", doi = "10.1007/978-3-642-40229-6\_17", ) @phdthesis(Wachter2011, author = "Bj{\"o}rn Wachter", year = "2011", title = "Refined probabilistic abstraction", school = "Saarland University", ) @inproceedings(WachterZ10, author = "Bj\"{o}rn Wachter and Lijun Zhang", year = "2010", title = "Best Probabilistic Transformers", booktitle = "Proc.\ of VMCAI", series = "LNCS", volume = "5944", publisher = "Springer", pages = "362--379", doi = "10.1007/978-3-642-11319-2\_26", ) @inproceedings(ZhangN10, author = "Lijun Zhang and Martin~R. Neuh{\"a}u{\ss }er", year = "2010", title = "Model Checking Interactive Markov Chains", booktitle = "Proc.\ of TACAS", series = "LNCS", volume = "6015", publisher = "Springer", pages = "53--68", doi = "10.1007/978-3-642-12002-2\_5", )