Sergio Giro

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes.
Theor. Comput. Sci., 2014

2012
Efficient computation of exact solutions for quantitative model checking
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.
Proceedings of the Automated Technology for Verification and Analysis, 2012

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

2009
On the Expressive Power of Schedulers in Distributed Probabilistic Systems.
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Undecidability Results for Distributed Probabilistic Systems.
Proceedings of the Formal Methods: Foundations and Applications, 2009

On the verification of probabilistic I/O automata with unspecified rates.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2007
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007


  Loading...