| Automated reliability estimation over partial systematic explorations E Pavese, V Braberman, S Uchitel 2013 35th International Conference on Software Engineering (ICSE), 602-611, 2013 | 15 | 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 | 14 | 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 | 10 | 2009 |
| 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 | 5 | 2017 |
| 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 | 5 | 2016 |
| 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 | 4 | 2018 |
| Relaxed clock difference diagrams for timed automata model checking E Pavese, F Schapachnik Technical report, Departamento de Computación, Facultad de Ciencias Exactas …, 2007 | 3 | 2007 |
| Inputs from Hell Learning Input Distributions for Grammar-Based Test Generation E Soremekun, E Pavese, N Havrikov, L Grunske, A Zeller IEEE Transactions on Software Engineering, 2020 | 1 | 2020 |
| 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 | 1 | 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 | 1 | 2013 |
| Probabilistic Grammar-based Test Generation E Soremekun, E Pavese, N Havrikov, L Grunske, A Zeller Software Engineering 2021, 2021 | | 2021 |
| Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. S Getir, E Pavese, L Grunske CS&P, 2018 | | 2018 |
| Probabilistic Interface Automata E Pavese, V Braberman, S Uchitel IEEE Transactions on Software Engineering 42 (9), 843-865, 2016 | | 2016 |
| Tesis de Licenciatura en Ciencias de la Computación Diciembre de 2015 MA Bonfiglio, P Nussembaum, E Pavese | | 2015 |
| Garantías cuantitativas para espacios de estados no tratables E Pavese Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2015 | | 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 | | 2015 |
| Deliverable no.: 3.4/2 Title of Deliverable: Rewards Estimation for Partial Explorations of Nondetermin-istic Stochastic Systems E Pavese, V Braberman, S Uchitel | | 2014 |
| 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, v-vi, 2011 | | 2011 |
| Branching Data Structures for Real-Time Model Checking Not As Good As Thought G Pérez, E Pavese, F Schapachnik | | 2009 |
| Una nueva estructura de datos basada en BDDs para el model checking temporizado E Pavese, F Schapachnik, A Olivero | | 2006 |
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
