Sergio Giro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2012
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ATVA | Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. | Sergio Giro, Markus N. Rabe |
| 2009 | CONCUR | Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. | Sergio Giro, Pedro R. D'Argenio, Luis Mara Ferrer Fioriti |
| 2009 | SAC | On the verification of probabilistic I/O automata with unspecified rates. | Sergio Giro, Pedro R. D'Argenio |