Filters: Author is Sergio Giro [Clear All Filters]
, “Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms”, Theor. Comput. Sci., vol. 538, pp. 84-102, 2014.
paper-256.pdf (689.43 KB)
paper-256.pdf (689.43 KB), “On the Expressive Power of Schedulers in Distributed Probabilistic Systems”, Electr. Notes Theor. Comput. Sci., vol. 253, no. 3, pp. 45-71, 2009. paper-18.pdf (525.34 KB)
paper-18.pdf (525.34 KB), “Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers”, in CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009, vol. LNCS 5710, pp. 338-353. paper-14.pdf (469.3 KB)
paper-14.pdf (469.3 KB), “On the verification of probabilistic I/O automata with unspecified rates”, in Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009, pp. 582-586. paper-17.pdf (312.21 KB)
paper-17.pdf (312.21 KB), “Quantitative Model Checking Revisited: Neither Decidable Nor Approximable”, in Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, 2007, vol. LNCS 4763, pp. 179-194. paper-20.pdf (414.71 KB)
paper-20.pdf (414.71 KB)