Esteban Pavese, M.Sc.
Ph.D. student, Teaching assistant, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos AiresBuenos Aires, Argentina
Research field: Computer and Information Science - Software Engineering
No research interests added yet.
Publications
-
Conference Proceedings (2)
-
E. Pavese, V. Braberman, S. Uchitel (2010) My model checker died!, 33. In Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10.Download PDF (286.74 KB)
-
E. Pavese, V. Braberman, S. Uchitel (2009) Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models, 335. In 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.Download PDF (197.08 KB)
-
-
Report (2)
-
E. Pavese, G. Pérez, F. Schapachnik (2009) Branching Data Structures for Real-Time Model Checking Not As Good As Thought.Download PDF (222.76 KB)
-
E. Pavese, F. Schapachnik (2008) Relaxed Clock Difference Diagrams for Timed Automata Model Checking.Download PDF (225.57 KB)
-
Awards and Grants
No awards or grants added yet.
Biographical Information
No biographical information added yet.
CV
Professional Experience
2008 - Present
Ph.D. student, Teaching assistant at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Buenos Aires, Argentina
Buenos Aires, Argentina
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
See all
6 Contacts
Public Groups
Public groups Esteban is a member of
- Not a member of any groups yet.
Public groups Esteban is following
- Not following any groups yet.
- Find new public groups.
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more



