Archibald, Blair; Calder, Muffy; Sevegnani, Michele Probabilistic bigraphs. (English) Zbl 1522.68252 Formal Asp. Comput. 34, No. 2, Paper No. 10, 27 p. (2022). MSC: 68Q42 68Q87 PDFBibTeX XMLCite \textit{B. Archibald} et al., Formal Asp. Comput. 34, No. 2, Paper No. 10, 27 p. (2022; Zbl 1522.68252) Full Text: DOI arXiv
Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz From generic partition refinement to weighted tree automata minimization. (English) Zbl 1519.68126 Formal Asp. Comput. 33, No. 4-5, 695-727 (2021). MSC: 68Q45 60J20 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{T. Wißmann} et al., Formal Asp. Comput. 33, No. 4--5, 695--727 (2021; Zbl 1519.68126) Full Text: DOI arXiv
Evangelidis, Alexandros; Parker, David Quantitative verification of Kalman filters. (English) Zbl 1519.68134 Formal Asp. Comput. 33, No. 4-5, 669-693 (2021). MSC: 68Q60 62M20 68Q87 93E11 PDFBibTeX XMLCite \textit{A. Evangelidis} and \textit{D. Parker}, Formal Asp. Comput. 33, No. 4--5, 669--693 (2021; Zbl 1519.68134) Full Text: DOI
Češka, Milan; Hensel, Christian; Junges, Sebastian; Katoen, Joost-Pieter Counterexample-guided inductive synthesis for probabilistic systems. (English) Zbl 1519.68055 Formal Asp. Comput. 33, No. 4-5, 637-667 (2021). MSC: 68N30 60J20 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Češka} et al., Formal Asp. Comput. 33, No. 4--5, 637--667 (2021; Zbl 1519.68055) Full Text: DOI
Mizera, Andrzej; Pang, Jun; Yuan, Qixia GPU-accelerated steady-state computation of large probabilistic Boolean networks. (English) Zbl 1425.68121 Formal Asp. Comput. 31, No. 1, 27-46 (2019). MSC: 68Q10 68Q87 92C42 PDFBibTeX XMLCite \textit{A. Mizera} et al., Formal Asp. Comput. 31, No. 1, 27--46 (2019; Zbl 1425.68121) Full Text: DOI Link
Dubois, Catherine; Giorgetti, Alain Tests and proofs for custom data generators. (English) Zbl 1425.68373 Formal Asp. Comput. 30, No. 6, 659-684 (2018). MSC: 68T15 68P05 PDFBibTeX XMLCite \textit{C. Dubois} and \textit{A. Giorgetti}, Formal Asp. Comput. 30, No. 6, 659--684 (2018; Zbl 1425.68373) Full Text: DOI HAL
Jing, Yaping; Miner, Andrew S. Computation tree measurement language (CTML). (English) Zbl 1398.68344 Formal Asp. Comput. 30, No. 3-4, 443-462 (2018). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y. Jing} and \textit{A. S. Miner}, Formal Asp. Comput. 30, No. 3--4, 443--462 (2018; Zbl 1398.68344) Full Text: DOI
Gerhold, Marcus; Stoelinga, Mariëlle Model-based testing of probabilistic systems. (English) Zbl 1380.68303 Formal Asp. Comput. 30, No. 1, 77-106 (2018). MSC: 68Q87 68M15 68Q45 68Q60 PDFBibTeX XMLCite \textit{M. Gerhold} and \textit{M. Stoelinga}, Formal Asp. Comput. 30, No. 1, 77--106 (2018; Zbl 1380.68303) Full Text: DOI
Wang, Shuling; Zhan, Naijun; Zhang, Lijun A compositional modelling and verification framework for stochastic hybrid systems. (English) Zbl 1370.68220 Formal Asp. Comput. 29, No. 4, 751-775 (2017). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{S. Wang} et al., Formal Asp. Comput. 29, No. 4, 751--775 (2017; Zbl 1370.68220) Full Text: DOI
Hatefi, Hassan; Wimmer, Ralf; Braitling, Bettina; Ferrer Fioriti, Luis María; Becker, Bernd; Hermanns, Holger Cost vs. time in stochastic games and Markov automata. (English) Zbl 1370.68173 Formal Asp. Comput. 29, No. 4, 629-649 (2017). MSC: 68Q45 68Q85 68Q87 91A15 PDFBibTeX XMLCite \textit{H. Hatefi} et al., Formal Asp. Comput. 29, No. 4, 629--649 (2017; Zbl 1370.68173) Full Text: DOI
Huang, Wen-ling; Peleska, Jan Complete model-based equivalence class testing for nondeterministic systems. (English) Zbl 1358.68043 Formal Asp. Comput. 29, No. 2, 335-364 (2017). MSC: 68M15 PDFBibTeX XMLCite \textit{W.-l. Huang} and \textit{J. Peleska}, Formal Asp. Comput. 29, No. 2, 335--364 (2017; Zbl 1358.68043) Full Text: DOI
Tarasyuk, Anton; Troubitsyna, Elena; Laibinis, Linas Integrating stochastic reasoning into Event-B development. (English) Zbl 1328.68039 Formal Asp. Comput. 27, No. 1, 53-77 (2015). MSC: 68M99 60J20 68M15 68Q60 68Q87 PDFBibTeX XMLCite \textit{A. Tarasyuk} et al., Formal Asp. Comput. 27, No. 1, 53--77 (2015; Zbl 1328.68039) Full Text: DOI
Calder, Muffy; Sevegnani, Michele Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. (English) Zbl 1342.68205 Formal Asp. Comput. 26, No. 3, 537-561 (2014). MSC: 68Q60 68M12 68Q87 68R10 PDFBibTeX XMLCite \textit{M. Calder} and \textit{M. Sevegnani}, Formal Asp. Comput. 26, No. 3, 537--561 (2014; Zbl 1342.68205) Full Text: DOI
Hoang, T. S.; McIver, A. K.; Meinicke, L.; Morgan, C. C.; Sloane, A.; Susatyo, E. Abstractions of non-interference security: probabilistic versus possibilistic. (English) Zbl 1323.68212 Formal Asp. Comput. 26, No. 1, 169-194 (2014). MSC: 68N30 68Q87 PDFBibTeX XMLCite \textit{T. S. Hoang} et al., Formal Asp. Comput. 26, No. 1, 169--194 (2014; Zbl 1323.68212) Full Text: DOI
Stoddart, Bill; Zeyda, Frank A unification of probabilistic choice within a design-based model of reversible computation. (English) Zbl 1259.68037 Formal Asp. Comput. 25, No. 1, 107-131 (2013). MSC: 68N30 68Q55 68Q87 PDFBibTeX XMLCite \textit{B. Stoddart} and \textit{F. Zeyda}, Formal Asp. Comput. 25, No. 1, 107--131 (2013; Zbl 1259.68037) Full Text: DOI Link
Hennessy, Matthew Exploring probabilistic bisimulations. I. (English) Zbl 1259.68153 Formal Asp. Comput. 24, No. 4-6, 749-768 (2012). MSC: 68Q87 68Q85 PDFBibTeX XMLCite \textit{M. Hennessy}, Formal Asp. Comput. 24, No. 4--6, 749--768 (2012; Zbl 1259.68153) Full Text: DOI
Georgievska, Sonja; Andova, Suzana Probabilistic may/must testing: retaining probabilities by restricted schedulers. (English) Zbl 1259.68152 Formal Asp. Comput. 24, No. 4-6, 727-748 (2012). MSC: 68Q87 68Q85 PDFBibTeX XMLCite \textit{S. Georgievska} and \textit{S. Andova}, Formal Asp. Comput. 24, No. 4--6, 727--748 (2012; Zbl 1259.68152) Full Text: DOI
Markovski, J.; D’argenio, P. R.; Baeten, J. C. M.; de Vink, E. P. Reconciling real and stochastic time: the need for probabilistic refinement. (English) Zbl 1259.68147 Formal Asp. Comput. 24, No. 4-6, 497-518 (2012). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{J. Markovski} et al., Formal Asp. Comput. 24, No. 4--6, 497--518 (2012; Zbl 1259.68147) Full Text: DOI
Hehner, Eric C. R. A probability perspective. (English) Zbl 1236.68197 Formal Asp. Comput. 23, No. 4, 391-419 (2011). Reviewer: Krzysztof Piasecki (Poznań) MSC: 68T01 68Q87 68N99 91A99 94A99 60A05 PDFBibTeX XMLCite \textit{E. C. R. Hehner}, Formal Asp. Comput. 23, No. 4, 391--419 (2011; Zbl 1236.68197) Full Text: DOI