Luis Mara Ferrer Fioriti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2009–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CAV | Synthesizing Probabilistic Invariants via Doob's Decomposition. | Gilles Barthe, Thomas Espitau, Luis Mara Ferrer Fioriti, Justin Hsu |
| 2016 | TACAS | Probabilistic CTL | Rayna Dimitrova, Luis Mara Ferrer Fioriti, Holger Hermanns, Rupak Majumdar |
| 2015 | POPL | Probabilistic Termination: Soundness, Completeness, and Compositionality. | Luis Mara Ferrer Fioriti, Holger Hermanns |
| 2015 | SETTA | Cost vs. Time in Stochastic Games and Markov Automata. | Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Mara Ferrer Fioriti, Holger Hermanns, Bernd Becker |
| 2015 | VMCAI | Abstraction-Based Computation of Reward Measures for Markov Automata. | Bettina Braitling, Luis Mara Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns |
| 2012 | ATVA | Variable Probabilistic Abstraction Refinement. | Luis Mara Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter |
| 2011 | FORTE | Partial Order Methods for Statistical Model Checking and Simulation. | Jonathan Bogdoll, Luis Mara Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns |
| 2009 | CONCUR | Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. | Sergio Giro, Pedro R. D'Argenio, Luis Mara Ferrer Fioriti |