Luis María Ferrer Fioriti

According to our database, Luis María Ferrer Fioriti authored at least 12 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Cost vs. time in stochastic games and Markov automata.

Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns

Formal Aspects Comput., 2017

2016

Deciding probabilistic automata weak bisimulation: theory and practice.

Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini

Formal Aspects Comput., 2016

Probabilistic CTL^*: The Deductive Way.

Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Synthesizing Probabilistic Invariants via Doob's Decomposition.

Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Abstraction-Based Computation of Reward Measures for Markov Automata.

Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Probabilistic Termination: Soundness, Completeness, and Compositionality.

Luis María Ferrer Fioriti, Holger Hermanns

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms.

Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti

Theor. Comput. Sci., 2014

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.

Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

2012

Heuristics for Probabilistic Timed Automata with Abstraction Refinement.

Luis María Ferrer Fioriti, Holger Hermanns

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Variable Probabilistic Abstraction Refinement.

Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Partial Order Methods for Statistical Model Checking and Simulation.

Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns

Proceedings of the Formal Techniques for Distributed Systems, 2011

2009

Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.

Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009