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]