| Automated reliability estimation over partial systematic explorations E Pavese, V Braberman, S Uchitel 2013 35th International Conference on Software Engineering (ICSE), 602-611, 2013 | 17 | 2013 |
| Inputs From Hell E Soremekun, E Pavese, N Havrikov, L Grunske, A Zeller IEEE Transactions on Software Engineering 48 (4), 1138-1153, 2020 | 16 | 2020 |
| 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 |
| Probabilistic grammar-based test generation E Soremekun, E Pavese, N Havrikov, L Grunske, A Zeller Software Engineering 2021, 2021 | 6 | 2021 |
| 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 | 6 | 2018 |
| 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 |
| Relaxed clock difference diagrams for timed automata model checking E Pavese, F Schapachnik Technical report, Depto. de Computación, FCEyN, UBA, 2007 | 3 | 2007 |
| Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. S Getir, E Pavese, L Grunske CS&P, 2018 | 2 | 2018 |
| 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 |
| Quantitative Verification of Stochastic Regular Expressions S Getir Yaman, E Pavese, L Grunske Fundamenta Informaticae 179 (2), 135-163, 2021 | | 2021 |
| 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 |
| Branching data structures for real-time model checking not as good as thought G Pérez, E Pavese, F Schapachnik XIII Argentine Symposium on Software Engineering (ASSE 2012)(XLII JAIIO, La …, 2012 | | 2012 |
| 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 |
| 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
