Luis María Ferrer Fioriti

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