Garavel, Hubert; Lang, Frédéric Equivalence checking 40 years after: a review of bisimulation tools. (English) Zbl 1524.68189 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 213-265 (2022). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{H. Garavel} and \textit{F. Lang}, Lect. Notes Comput. Sci. 13560, 213--265 (2022; Zbl 1524.68189) Full Text: DOI
Piazza, Carla; Romanello, Riccardo Mirrors and memory in quantum automata. (English) Zbl 1522.68282 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 359-380 (2022). MSC: 68Q45 81P68 PDFBibTeX XMLCite \textit{C. Piazza} and \textit{R. Romanello}, Lect. Notes Comput. Sci. 13479, 359--380 (2022; Zbl 1522.68282) Full Text: DOI
Prasad, Sanjiva Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines. (English) Zbl 1400.68043 J. Log. Algebr. Methods Program. 100, 1-15 (2018). MSC: 68M14 68Q85 PDFBibTeX XMLCite \textit{S. Prasad}, J. Log. Algebr. Methods Program. 100, 1--15 (2018; Zbl 1400.68043) Full Text: DOI arXiv
Alzetta, Giacomo; Marin, Andrea; Piazza, Carla; Rossi, Sabina Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses. (English) Zbl 1390.68371 Inf. Comput. 260, 99-125 (2018). MSC: 68Q45 68Q87 PDFBibTeX XMLCite \textit{G. Alzetta} et al., Inf. Comput. 260, 99--125 (2018; Zbl 1390.68371) Full Text: DOI Link
Tati, Bharath Siva Kumar; Siegle, Markus Parameter and controller synthesis for Markov chains with actions and state labels. (English) Zbl 1429.68142 André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 63-76 (2015). MSC: 68Q60 60J20 68Q87 PDFBibTeX XMLCite \textit{B. S. K. Tati} and \textit{M. Siegle}, OASIcs -- OpenAccess Ser. Inform. 44, 63--76 (2015; Zbl 1429.68142) Full Text: DOI
Ballarini, Paolo; Duflot, Marie Applications of an expressive statistical model checking approach to the analysis of genetic circuits. (English) Zbl 1337.92138 Theor. Comput. Sci. 599, 4-33 (2015). MSC: 92D10 92C42 68Q60 PDFBibTeX XMLCite \textit{P. Ballarini} and \textit{M. Duflot}, Theor. Comput. Sci. 599, 4--33 (2015; Zbl 1337.92138) Full Text: DOI
Marin, Andrea; Rossi, Sabina Quantitative analysis of concurrent reversible computations. (English) Zbl 1465.68197 Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 206-221 (2015). MSC: 68Q85 68Q09 68Q10 68Q45 68Q87 PDFBibTeX XMLCite \textit{A. Marin} and \textit{S. Rossi}, Lect. Notes Comput. Sci. 9268, 206--221 (2015; Zbl 1465.68197) Full Text: DOI
Bacci, Giorgio; Miculan, Marino Structural operational semantics for continuous state stochastic transition systems. (English) Zbl 1327.68168 J. Comput. Syst. Sci. 81, No. 5, 834-858 (2015). MSC: 68Q85 60J05 68Q55 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} and \textit{M. Miculan}, J. Comput. Syst. Sci. 81, No. 5, 834--858 (2015; Zbl 1327.68168) Full Text: DOI
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel Stuttering for abstract probabilistic automata. (English) Zbl 1283.68193 J. Log. Algebr. Program. 83, No. 1, 1-19 (2014). MSC: 68Q45 03B45 03D05 68Q60 PDFBibTeX XMLCite \textit{B. Delahaye} et al., J. Log. Algebr. Program. 83, No. 1, 1--19 (2014; Zbl 1283.68193) Full Text: DOI
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel Stuttering for abstract probabilistic automata. (English) Zbl 1437.68094 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 149-163 (2013). MSC: 68Q45 03B45 03D05 68Q60 PDFBibTeX XMLCite \textit{B. Delahaye} et al., Lect. Notes Comput. Sci. 7734, 149--163 (2013; Zbl 1437.68094) Full Text: DOI
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter A compositional modelling and analysis framework for stochastic hybrid systems. (English) Zbl 1291.68293 Form. Methods Syst. Des. 43, No. 2, 191-232 (2013). MSC: 68Q87 68Q85 68Q60 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Form. Methods Syst. Des. 43, No. 2, 191--232 (2013; Zbl 1291.68293) Full Text: DOI
Klin, Bartek; Sassone, Vladimiro Structural operational semantics for stochastic and weighted transition systems. (English) Zbl 1358.68214 Inf. Comput. 227, 58-83 (2013). MSC: 68Q85 68Q10 68Q55 68Q87 PDFBibTeX XMLCite \textit{B. Klin} and \textit{V. Sassone}, Inf. Comput. 227, 58--83 (2013; Zbl 1358.68214) Full Text: DOI
Chen, Weien; Cao, Yongzhi; Wang, Hanpin Behavioural equivalences of a probabilistic pi-calculus. (English) Zbl 1270.68209 Sci. China, Inf. Sci. 55, No. 9, 2031-2043 (2012). MSC: 68Q85 68Q87 68Q60 PDFBibTeX XMLCite \textit{W. Chen} et al., Sci. China, Inf. Sci. 55, No. 9, 2031--2043 (2012; Zbl 1270.68209) Full Text: DOI Link
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej Constraint Markov chains. (English) Zbl 1223.68070 Theor. Comput. Sci. 412, No. 34, 4373-4404 (2011). Reviewer: Thomas Jansen (Cork) MSC: 68Q60 60J10 PDFBibTeX XMLCite \textit{B. Caillaud} et al., Theor. Comput. Sci. 412, No. 34, 4373--4404 (2011; Zbl 1223.68070) Full Text: DOI
Hermanns, Holger; Katoen, Joost-Pieter The how and why of interactive Markov chains. (English) Zbl 1312.68152 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 311-337 (2010). MSC: 68Q85 60J20 68Q87 PDFBibTeX XMLCite \textit{H. Hermanns} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 6286, 311--337 (2010; Zbl 1312.68152) Full Text: DOI Link
Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter Performability assessment by model checking of Markov reward models. (English) Zbl 1209.68309 Form. Methods Syst. Des. 36, No. 1, 1-36 (2010). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Baier} et al., Form. Methods Syst. Des. 36, No. 1, 1--36 (2010; Zbl 1209.68309) Full Text: DOI
Katoen, Joost-Pieter; Klink, Daniel; Neuhäußer, Martin R. Compositional abstraction for stochastic systems. (English) Zbl 1262.68142 Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 195-211 (2009). MSC: 68Q87 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., Lect. Notes Comput. Sci. 5813, 195--211 (2009; Zbl 1262.68142) Full Text: DOI Link
Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco Distributed Markovian bisimulation reduction aimed at CSL model checking. (English) Zbl 1286.68306 Černá, Ivana (ed.) et al., Proceedings of the 7th international workshop on parallel and distributed methods in verification (PDMC 2008), Budapest, Hungary, March 29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 2, 35-50 (2008). MSC: 68Q60 68Q85 68Q87 68W15 PDFBibTeX XMLCite \textit{S. Blom} et al., Electron. Notes Theor. Comput. Sci. 220, No. 2, 35--50 (2008; Zbl 1286.68306) Full Text: DOI
Macià, Hermenegilda; Valero, Valentín; Cuartero, Fernando; de-Frutos, David A congruence relation for sPBC. (English) Zbl 1138.68040 Form. Methods Syst. Des. 32, No. 2, 85-128 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Macià} et al., Form. Methods Syst. Des. 32, No. 2, 85--128 (2008; Zbl 1138.68040) Full Text: DOI
Cardelli, Luca On process rate semantics. (English) Zbl 1133.68054 Theor. Comput. Sci. 391, No. 3, 190-215 (2008). MSC: 68Q85 92E20 PDFBibTeX XMLCite \textit{L. Cardelli}, Theor. Comput. Sci. 391, No. 3, 190--215 (2008; Zbl 1133.68054) Full Text: DOI
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke Model checking mobile stochastic logic. (English) Zbl 1159.68478 Theor. Comput. Sci. 382, No. 1, 42-70 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. De Nicola} et al., Theor. Comput. Sci. 382, No. 1, 42--70 (2007; Zbl 1159.68478) Full Text: DOI
D’Argenio, Pedro R.; Katoen, Joost-Pieter A theory of stochastic systems. II: Process algebra. (English) Zbl 1106.68073 Inf. Comput. 203, No. 1, 39-74 (2005). MSC: 68Q85 68Q45 68Q55 PDFBibTeX XMLCite \textit{P. R. D'Argenio} and \textit{J.-P. Katoen}, Inf. Comput. 203, No. 1, 39--74 (2005; Zbl 1106.68073) Full Text: DOI
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten Model-checking large structured Markov chains. (English) Zbl 1048.68053 J. Log. Algebr. Program. 56, No. 1-2, 69-97 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Buchholz} et al., J. Log. Algebr. Program. 56, No. 1--2, 69--97 (2003; Zbl 1048.68053) Full Text: DOI
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus On the use of MTBDDs for performability analysis and verification of stochastic systems. (English) Zbl 1054.68018 J. Log. Algebr. Program. 56, No. 1-2, 23-67 (2003). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{H. Hermanns} et al., J. Log. Algebr. Program. 56, No. 1--2, 23--67 (2003; Zbl 1054.68018) Full Text: DOI
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter Process algebra for performance evaluation. (English) Zbl 0992.68149 Theor. Comput. Sci. 274, No. 1-2, 43-87 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Theor. Comput. Sci. 274, No. 1--2, 43--87 (2002; Zbl 0992.68149) Full Text: DOI