LUIS MARÍA FERRER FIORITI

Background


I am a Ph.D student at the chair of Holger Hermanns since November 2010.

 

I was born in Buenos Aires, the land of Tango.

I studied computer science at Universidad

Nacional de Córdoba, one of the oldest universities in the Americas (401 years and counting).

I graduated as Licenciado en Ciencias de la Computación in March 2010.


Interests

probabilistic model checking

termination of probabilistic programs

abstract interpretation

timed automata

partial order reduction


Contact

Address: Campus Saarbrücken, 66123 Saarbrücken 
Location: Bldg. E1 3, Room 536 
Email:  first.surname [at] cs.uni-saarland.de (btw my surname is Ferrer Fioriti!) 

Publications

Synthesizing probabilistic invariants via Doob’s decomposition
with Gilles Barthe, Thomas Espitau and Justin Hsu: CAV 2016. [preprint] (to appear)
Probabilistic CTL*: The Deductive Way
with Rayna Dimitrova, Holger Hermanns and Rupak Majumdar: TACAS 2016. [doi]
Probabilistic Termination: Soundness Completeness, and Compositionality
with Holger Hermanns: POPL 2015. [doi] (Open Access)
Abstraction-based Computation of Reward Measures for Markov Automata
with Bettina Braitling, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns. VMCAI 2015. [doi]
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
with Bettina Braitling, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns. QAPL 2014. [doi]
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms.
with Sergio Giro and Pedro D'Argenio. Theoretical Computer Science 2014. [doi]
Variable Probabilistic Abstraction Refinement
with , Ernst Moritz Hahn, Holger Hermanns and Björn Wachter. ATVA 2012. [doi]
Heuristics for Probabilistic Timed Automata with Abstraction Refinement
with Holger Hermanns. MMB/DFT 2012. [doi]
Partial Order Methods for Statistical Model Checking and Simulation
with Jonathan Bogdoll, Arnd Hartmanns and Holger Hermanns. FMOODS/FORTE 2011. [doi]
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
with Sergio Giro and Pedro D'Argenio. CONCUR 2009. [doi]