Obserwuj
Esteban Pavese
Esteban Pavese
Nieznane powiązanie
Zweryfikowany adres z informatik.hu-berlin.de
Tytuł
Cytowane przez
Cytowane przez
Rok
Inputs from hell
E Soremekun, E Pavese, N Havrikov, L Grunske, A Zeller
IEEE Transactions on Software Engineering 48 (4), 1138-1153, 2020
302020
Automated reliability estimation over partial systematic explorations
E Pavese, V Braberman, S Uchitel
2013 35th International Conference on Software Engineering (ICSE), 602-611, 2013
172013
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
152010
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
112009
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
82018
Probabilistic grammar-based test generation
E Soremekun, E Pavese, N Havrikov, L Grunske, A Zeller
Gesellschaft für Informatik eV, 2021
72021
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
52017
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
52016
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.
S Getir, E Pavese, L Grunske
CS&P, 2018
32018
Relaxed clock difference diagrams for timed automata model checking
E Pavese, F Schapachnik
Technical report, Depto. de Computación, FCEyN, UBA, 2007
32007
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
12013
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20