×

zbMATH — the first resource for mathematics

Ferrer Fioriti, Luis María

Compute Distance To:
Author ID: ferrer-fioriti.luis-maria Recent zbMATH articles by "Ferrer Fioriti, Luis María"
Published as: Ferrer Fioriti, Luis María
Documents Indexed: 10 Publications since 2009

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 25 times in 24 Documents Cited by Year
Probabilistic termination: soundness, completeness, and compositionality. Zbl 1345.68104
Ferrer Fioriti, Luis María; Hermanns, Holger
10
2015
Partial order reduction for probabilistic systems: a revision for distributed schedulers. Zbl 1254.68149
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María
6
2009
Synthesizing probabilistic invariants via Doob’s decomposition. Zbl 1411.68057
Barthe, Gilles; Espitau, Thomas; Ferrer Fioriti, Luis María; Hsu, Justin
3
2016
Variable probabilistic abstraction refinement. Zbl 1374.68347
Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn
2
2012
Deciding probabilistic automata weak bisimulation: theory and practice. Zbl 1335.68117
Ferrer Fioriti, Luis María; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea
1
2016
Cost vs. time in stochastic games and Markov automata. Zbl 1369.68253
Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd
1
2015
Abstraction-based computation of reward measures for Markov automata. Zbl 1432.68217
Braitling, Bettina; Ferrer Fioriti, Luis María; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger
1
2015
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms. Zbl 1359.68168
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María
1
2014
Synthesizing probabilistic invariants via Doob’s decomposition. Zbl 1411.68057
Barthe, Gilles; Espitau, Thomas; Ferrer Fioriti, Luis María; Hsu, Justin
3
2016
Deciding probabilistic automata weak bisimulation: theory and practice. Zbl 1335.68117
Ferrer Fioriti, Luis María; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea
1
2016
Probabilistic termination: soundness, completeness, and compositionality. Zbl 1345.68104
Ferrer Fioriti, Luis María; Hermanns, Holger
10
2015
Cost vs. time in stochastic games and Markov automata. Zbl 1369.68253
Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd
1
2015
Abstraction-based computation of reward measures for Markov automata. Zbl 1432.68217
Braitling, Bettina; Ferrer Fioriti, Luis María; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger
1
2015
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms. Zbl 1359.68168
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María
1
2014
Variable probabilistic abstraction refinement. Zbl 1374.68347
Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn
2
2012
Partial order reduction for probabilistic systems: a revision for distributed schedulers. Zbl 1254.68149
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María
6
2009

Citations by Year