Luis María Ferrer Fioriti

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 8

Top Topics

Probabilistic Automata

Probabilistic Approaches

Context Sensitive

Top Venues

Formal Aspects Comput.

Publications

Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. 29 (4) (2017)
Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu
Synthesizing Probabilistic Invariants via Doob's Decomposition. CoRR (2016)
Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28 (1) (2016)
Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu
Synthesizing Probabilistic Invariants via Doob's Decomposition. CAV (1) (2016)
Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
: The Deductive Way. TACAS (2016)
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI (2015)
Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
Cost vs. Time in Stochastic Games and Markov Automata. SETTA (2015)
Luis María Ferrer Fioriti, Holger Hermanns
Probabilistic Termination: Soundness, Completeness, and Compositionality. POPL (2015)
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL (2014)
Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. Theor. Comput. Sci. 538 (2014)
Luis María Ferrer Fioriti, Holger Hermanns
Heuristics for Probabilistic Timed Automata with Abstraction Refinement. MMB/DFT (2012)
Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter
Variable Probabilistic Abstraction Refinement. ATVA (2012)
Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns
Partial Order Methods for Statistical Model Checking and Simulation. FMOODS/FORTE (2011)
Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. CONCUR (2009)