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 (399 years and counting).

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


Interests

probabilistic model checking

timed automata

partial order reduction

abstraction refinement

 


Contact

Address: Campus Saarbrücken, 66123 Saarbrücken 
Location: Bldg. E1 3, Room 536 

Publications

Variable Probabilistic Abstraction Refinement, with , Ernst Moritz Hahn, Holger Hermanns and Björn Wachter. ATVA 2012
Heuristics for Probabilistic Timed Automata with Abstraction Refinement, with Holger Hermanns. MMB/DFT 2012
Partial Order Methods for Statistical Model Checking and Simulation, with Jonathan Bogdoll, Arnd Hartmanns and Holger Hermanns. FMOODS/FORTE 2011
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers, with Sergio Giro and Pedro D'Argenio. CONCUR 2009