# Luis María Ferrer Fioriti

According to our database

Collaborative distances:

^{1}, Luis María Ferrer Fioriti authored at least 12 papers between 2009 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2017

Formal Aspects Comput., 2017

2016

Formal Aspects Comput., 2016

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

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

2015

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

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.

Theor. Comput. Sci., 2014

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

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

2012

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

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Proceedings of the Formal Techniques for Distributed Systems, 2011

2009

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

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