Publications

Filters: Author is Sergio Giro [Clear All Filters]

2014

S. Giro, D'Argenio, P. R., and Ferrer Fioriti, L. M., “Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms”, Theoretical Computer Science, vol. 538, pp. 84-102, 2014.

paper-425.pdf (689.43 KB)

2010

S. Giro, “On the automatic veriﬁcation of Distributed Probabilistic Automata with Partial Information”, Universidad Nacional de Córdoba, Córdoba, 2010.

Google Scholar

paper-176.pdf (1.79 MB)

2009

S. Giro and D'Argenio, P. R., “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)

S. Giro, D'Argenio, P. R., and Ferrer Fioriti, L. M., “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)

S. Giro, “Undecidability Results for Distributed Probabilistic Systems”, in Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, 2009, vol. LNCS 5902, pp. 220-235.

S. Giro and D'Argenio, P. R., “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)

2007

S. Giro and D'Argenio, P. R., “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)