The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luis María Ferrer Fioriti" ( http://dblp.L3S.de/Authors/Luis_María_Ferrer_Fioriti )

  Author page on DBLP  Author page in RDF  Community of Luis María Ferrer Fioriti in ASPL-2

Publication years (Num. hits)
2009-2017 (14)
Publication types (Num. hits)
article(4) inproceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker 0001, Holger Hermanns Cost vs. time in stochastic games and Markov automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu Synthesizing Probabilistic Invariants via Doob's Decomposition. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini Deciding probabilistic automata weak bisimulation: theory and practice. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar Probabilistic CTL*: The Deductive Way. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu Synthesizing Probabilistic Invariants via Doob's Decomposition. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luis María Ferrer Fioriti, Holger Hermanns Probabilistic Termination: Soundness, Completeness, and Compositionality. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns Abstraction-Based Computation of Reward Measures for Markov Automata. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker 0001 Cost vs. Time in Stochastic Games and Markov Automata. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter Variable Probabilistic Abstraction Refinement. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luis María Ferrer Fioriti, Holger Hermanns Heuristics for Probabilistic Timed Automata with Abstraction Refinement. Search on Bibsonomy MMB/DFT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns Partial Order Methods for Statistical Model Checking and Simulation. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license