Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. - Sergio Giro; Pedro R. D'Argenio; Luis María Ferrer Fioriti (CONCUR, 2009)

Partial Order Methods for Statistical Model Checking and Simulation. - Jonathan Bogdoll; Luis María Ferrer Fioriti; Arnd Hartmanns; Holger Hermanns (FMOODS/FORTE, 2011)

Variable Probabilistic Abstraction Refinement. - Luis María Ferrer Fioriti; Ernst Moritz Hahn; Holger Hermanns; Björn Wachter (ATVA, 2012)

Heuristics for Probabilistic Timed Automata with Abstraction Refinement. - Luis María Ferrer Fioriti; Holger Hermanns (MMB/DFT, 2012)

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. - Bettina Braitling; Luis María Ferrer Fioriti; Hassan Hatefi; Ralf Wimmer 001; Bernd Becker 001; Holger Hermanns (QAPL, 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)

Probabilistic Termination: Soundness, Completeness, and Compositionality. - Luis María Ferrer Fioriti; Holger Hermanns (POPL, 2015)

Abstraction-Based Computation of Reward Measures for Markov Automata. - Bettina Braitling; Luis María Ferrer Fioriti; Hassan Hatefi; Ralf Wimmer 001; Bernd Becker 001; Holger Hermanns (VMCAI, 2015)

Synthesizing Probabilistic Invariants via Doob's Decomposition. - Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu (CAV (1), 2016)

Probabilistic CTL*: The Deductive Way. - Rayna Dimitrova; Luis María Ferrer Fioriti; Holger Hermanns; Rupak Majumdar (TACAS, 2016)

Deciding probabilistic automata weak bisimulation: theory and practice. - Luis María Ferrer Fioriti; Vahid Hashemi; Holger Hermanns; Andrea Turrini (Formal Aspects Comput., 2016)

Cost vs. time in stochastic games and Markov automata. - Hassan Hatefi; Ralf Wimmer 001; Bettina Braitling; Luis María Ferrer Fioriti; Bernd Becker 001; Holger Hermanns (Formal Aspects Comput., 2017)