Skip to content

Esteban Pavese

  • M.Sc.
  • Ph.D. student, Teaching assistant
  • Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
  • 3h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 17CitationsNumber of citations received by Esteban's publications. Updated daily.

Other IDs

Co-authors (42)

Publications (6)

High-coverage testing of navigation models in android applications

  • Paulovsky F
  • Pavese E
  • Garbervetsky D
Proceedings - 2017 IEEE/ACM 12th International Workshop on Automation of Software Testing, AST 2017 (2017)
  • n/a

    Readers

  • 0

    Citations

Full text

Automated reliability estimation over partial systematic explorations

  • Pavese E
  • Braberman V
  • Uchitel S
  • n/a

    Readers

  • n/a

    Citations

My model checker died! How well did it do?

  • Pavese E
  • Braberman V
  • Uchitel S
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10 (2010)
  • n/a

    Readers

  • n/a

    Citations

Full text

Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models

  • Pavese E
  • Braberman V
  • Uchitel S
Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - E (2009)
  • n/a

    Readers

  • n/a

    Citations

Full text

Relaxed Clock Difference Diagrams for Timed Automata Model Checking

  • Pavese E
  • Schapachnik F
  • n/a

    Readers

  • n/a

    Citations

Professional experience

Ph.D. student, Teaching assistant

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

September 2017