BibTeX records: Sergio Giro

download as .bib file

@article{DBLP:journals/tcs/Giro14,
  author       = {Sergio Giro},
  title        = {Optimal schedulers vs optimal bases: An approach for efficient exact
                  solving of Markov decision processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {70--83},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.08.020},
  doi          = {10.1016/J.TCS.2013.08.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Giro14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GiroDF14,
  author       = {Sergio Giro and
                  Pedro R. D'Argenio and
                  Luis Mar{\'{\i}}a Ferrer Fioriti},
  title        = {Distributed probabilistic input/output automata: Expressiveness, (un)decidability
                  and algorithms},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {84--102},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.017},
  doi          = {10.1016/J.TCS.2013.07.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GiroDF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GiroR12,
  author       = {Sergio Giro and
                  Markus N. Rabe},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided
                  Refinements},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {333--348},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_26},
  doi          = {10.1007/978-3-642-33386-6\_26},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GiroR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-1264,
  author       = {Sergio Giro},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {Efficient computation of exact solutions for quantitative model checking},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {17--32},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.2},
  doi          = {10.4204/EPTCS.85.2},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-1264.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-3822,
  author       = {Sergio Giro},
  title        = {An algorithmic approximation of the infimum reachability probability
                  for Probabilistic Finite Automata},
  journal      = {CoRR},
  volume       = {abs/1009.3822},
  year         = {2010},
  url          = {http://arxiv.org/abs/1009.3822},
  eprinttype    = {arXiv},
  eprint       = {1009.3822},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-3822.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GiroDF09,
  author       = {Sergio Giro and
                  Pedro R. D'Argenio and
                  Luis Mar{\'{\i}}a Ferrer Fioriti},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Partial Order Reduction for Probabilistic Systems: {A} Revision for
                  Distributed Schedulers},
  booktitle    = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
                  {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5710},
  pages        = {338--353},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04081-8\_23},
  doi          = {10.1007/978-3-642-04081-8\_23},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GiroDF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GiroD09,
  author       = {Sergio Giro and
                  Pedro R. D'Argenio},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {On the verification of probabilistic {I/O} automata with unspecified
                  rates},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {582--586},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529406},
  doi          = {10.1145/1529282.1529406},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/GiroD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Giro09,
  author       = {Sergio Giro},
  editor       = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
                  Jim Woodcock},
  title        = {Undecidability Results for Distributed Probabilistic Systems},
  booktitle    = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
                  on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5902},
  pages        = {220--235},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10452-7\_15},
  doi          = {10.1007/978-3-642-10452-7\_15},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/Giro09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GiroD09,
  author       = {Sergio Giro and
                  Pedro R. D'Argenio},
  editor       = {Christel Baier and
                  Alessandra Di Pierro},
  title        = {On the Expressive Power of Schedulers in Distributed Probabilistic
                  Systems},
  booktitle    = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2009, York, UK, March 28-29, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {3},
  pages        = {45--71},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.005},
  doi          = {10.1016/J.ENTCS.2009.10.005},
  timestamp    = {Fri, 20 Jan 2023 14:27:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GiroD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GiroD07,
  author       = {Sergio Giro and
                  Pedro R. D'Argenio},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  P. S. Thiagarajan},
  title        = {Quantitative Model Checking Revisited: Neither Decidable Nor Approximable},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
                  {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4763},
  pages        = {179--194},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75454-1\_14},
  doi          = {10.1007/978-3-540-75454-1\_14},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/GiroD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics