Esteban Pavese
Esteban Pavese
Unknown affiliation
Verified email at
TitleCited byYear
Automated reliability estimation over partial systematic explorations
E Pavese, V Braberman, S Uchitel
2013 35th International Conference on Software Engineering (ICSE), 602-611, 2013
My model checker died! how well did it do?
E Pavese, V Braberman, S Uchitel
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in …, 2010
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
E Pavese, V Braberman, S Uchitel
Proceedings of the 7th joint meeting of the European software engineering …, 2009
Less is more: Estimating probabilistic rewards over partial system explorations
E Pavese, V Braberman, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (2), 1-47, 2016
High-coverage testing of navigation models in android applications
F Paulovsky, E Pavese, D Garbervetsky
2017 IEEE/ACM 12th International Workshop on Automation of Software Testing …, 2017
Relaxed clock difference diagrams for timed automata model checking
E Pavese, F Schapachnik
Technical report, Depto. de Computación, FCEyN, UBA, 2007
Sound performance investigation of composite materials for the soundbox of a membrane musical instrument
RC Acet, FS Saati
The 22nd International Congress on Sound and Vibration (ICSV22), 2015
Rewards Estimation for Partial Explorations of Nondeterministic Stochastic Systems
E Pavese, S Uchitel, V Braberman
Technical report, Departamento de Computación, Universidad de Buenos Aires, 2013
Inputs from Hell: Generating Uncommon Inputs from Common Samples
E Pavese, E Soremekun, N Havrikov, L Grunske, A Zeller
arXiv preprint arXiv:1812.07525, 2018
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.
S Getir, E Pavese, L Grunske
CS&P, 2018
Probabilistic Interface Automata
E Pavese, V Braberman, S Uchitel
IEEE Transactions on Software Engineering 42 (9), 843-865, 2016
Tesis de Licenciatura en Ciencias de la Computación Diciembre de 2015
MA Bonfiglio, P Nussembaum, E Pavese
Garantías cuantitativas para espacios de estados no tratables
E Pavese
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2015
Deliverable no.: 5.2/3 Title of Deliverable: Less is More: Estimating Probabilistic Rewards over Partial System Explorations
E Pavese, S Uchitel, V Braberman
Deliverable no.: 3.4/2 Title of Deliverable: Rewards Estimation for Partial Explorations of Nondetermin-istic Stochastic Systems
E Pavese, V Braberman, S Uchitel
Proceedings-International Conference on Software Engineering: Preface
S Kim, S Uchitel, D Garbervetsky, B Aktemur, D Kroening, A Orso, ...
Proceedings-International Conference on Software Engineering, 2011
Branching Data Structures for Real-Time Model Checking Not As Good As Thought
G Pérez, E Pavese, F Schapachnik
Una nueva estructura de datos basada en BDDs para el model checking temporizado
E Pavese, F Schapachnik, A Olivero
The system can't perform the operation now. Try again later.
Articles 1–18