Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sergio Giro
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.