Publications in 2013
1- Esteban Pavese, Víctor Braberman, Sebastian Uchitel , "Automated Reliability Estimation over Partial Systematic Exprorations" , ICSE 2013, Proceedings of the 2013 International Conference on Software Engineering, page 602--611 - 2013 Automated Reliability Estimation over Partial-icse2013.pdf

2- Esteban Pavese, Sebastian Uchitel, Víctor Braberman , "Rewards Estimation for Partial Explorations of Nondeterministic Stochastic Systems" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - 2013 bpu-tr2013.pdf
 
Publications in 2012
1- Esteban Pavese, Gervasio Pérez, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" , 13th Argentine Symposium on Software Engineering - 2012 Branching Data Structures for Real-Time_pps_asse-2012.pdf
 
Publications in 2010
1- Esteban Pavese, Sebastian Uchitel, Víctor Braberman , "My Model Checker Died! How Well Did It Do?" , QUOVADIS 2010 - First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (co-located with ICSE 2010) - 2010 bpu_quovadis-2010.pdf
 
Publications in 2009
1- Esteban Pavese, Gervasio Pérez, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - 2009 pps_formats-2010.pdf

2- Gervasio Pérez, Esteban Pavese, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not as Good as Thought" , Technical Report , Departamento de Computación, FCEyN, Universidad de Buenos Aires - 2009 pps_2009.pdf

3- Esteban Pavese, Víctor Braberman, Sebastian Uchitel , "Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models" , 12th European Software Engineering Conference and 17th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), page 335-344 - aug 2009 esec130-pavese.pdf
 
Publications in 2007
1- Esteban Pavese, Fernando Schapachnik , "Relaxed Clock Difference Diagrams for Timed Automata Model Checking" , Technical Report , Depto. de Computación, FCEyN, UBA - nov 2007 ps_vmcai-2008.pdf
 
Publications in 2006
1- Esteban Pavese, Fernando Schapachnik, Alfredo Olivero , "Una nueva estructura de datos basada en BDDs para el model checking temporizado" , Master thesis from Departamento de Computación, FCEyN, UBA - 2006 tesis_pavese.ps presentacion.pdf