Sergio Giro

According to our database, Sergio Giro authored at least 10 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms.

Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti

Theor. Comput. Sci., 2014

Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes.

Sergio Giro

Theor. Comput. Sci., 2014

2012

Efficient computation of exact solutions for quantitative model checking

Sergio Giro

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements.

Sergio Giro, Markus N. Rabe

Proceedings of the Automated Technology for Verification and Analysis, 2012

2010

An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata

Sergio Giro

CoRR, 2010

2009

On the Expressive Power of Schedulers in Distributed Probabilistic Systems.

Sergio Giro, Pedro R. D'Argenio

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Undecidability Results for Distributed Probabilistic Systems.

Sergio Giro

Proceedings of the Formal Methods: Foundations and Applications, 2009

On the verification of probabilistic I/O automata with unspecified rates.

Sergio Giro, Pedro R. D'Argenio

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.

Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2007

Quantitative Model Checking Revisited: Neither Decidable Nor Approximable.

Sergio Giro, Pedro R. D'Argenio

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007