Esteban Pavese

LaFHIS research group | Departamento de Computación | Facultad de Ciencias Exactas y Naturales | Universidad de Buenos Aires

Oficina 12, Departamento de Computación, Pabellón 1, Ciudad Universitaria
Intendente Güiraldes 2160, Buenos Aires, (C1428EGA) Argentina

tel: +54-11-4576-3390 extension 704
fax: +54-11-4576-3359

About myself

I have an M.Sc. in Computer Science and I've started my Ph.D. studies in the Software Engineering research area. Also, I've been a teaching assistant for a long time now. Currently I'm head teaching assistant in the Software Engineering area.

Research interests

My research interests are mainly focused towards the formal aspects of software engineering. In particular I'm mostly interested in model checking; behavioural modeling and its description logics; probabilistic modeling and verification; statistical testing and simulation; and source code model checking. I've also spent time working on real-time model checking.

I'm also a member of the local Reading Group of Program Analysis and Verification.

Publications

Pavese, Braberman, Uchitel; My Model Checker Died! How Well Did It Do?, QUOVADIS International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, International Conference on Software Engineering (ICSE), 2010 PDF BIB Slides
Pavese, Braberman, Uchitel; Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models, ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2009 PDF BIB Slides

Masters thesis and technical reports

Pavese, Pérez, Schapachnik; Branching Data Structures for Real Time Model Checking Not as Good as Thought, Technical Report, Departamento de Computación, Universidad de Buenos Aires, 2009 PDF
Pavese, Schapachnik; Relaxed Clock Difference Diagrams for Timed Automata Model Checking, Technical Report, Departamento de Computación, Universidad de Buenos Aires, 2007 PDF
Pavese; Una nueva estructura de datos basada en BDDs para el model checking temporizado, Masters thesis, Departamento de Computación, Universidad de Buenos Aires, 2006 PS (spanish) Slides

Tools

Zeus - A real-time model checking tool.
MTSA - The Modal Transition System Analyser.

Curriculum Vitae

My CV in english
My CV in spanish

Last updated on October 2010