Herramientas Personales
Usted está aquí: Inicio Usuarios Juan Pablo Galeotti

Página personal de Juan Pablo Galeotti

Dr. Juan Pablo Galeotti

Imagen Juan Pablo Galeotti

  • Room Number 8. Departamento de Computación, Pabellón 1, Ciudad Universitaria
  • email: jgaleotti AT dc DOT uba DOT ar
  • teléfono: +54-11-4576-3390/96 (int 713)
  • fax: +54-11-4576-3359

TOPI 2012

About myself:

I'm an assistant researcher from CONICET at the School of Natural and Exact Sciences of the University of Buenos Aires. I have a Doctorate in Computer Science in Software Engineering. I'm also the head of all Computer Organization courses.

newicon I am in the job market for 2012.

Research interests

My research interests are mainly focused towards the software testing and verification. In particular I'm working (or have recently worked) in bounded contract verification, program analysis, programming languages design, and model checking.

I'm a member of the Relational Formal Methods headed by Dr. Marcelo Frias and of the local Software Engineering Research Area.

Software

  • TACO - A bounded software verification tool for JML and JFSL.
  • DynAlloy - An Efficient Extension of Alloy with Procedural Actions
  • HotCore - A Fast Approximation to UnSAT Core

Referred Publications:

Find me on...

2010

  • N. D'Ippolito, Marcelo Frias, Juan Pablo Galeotti, Esteban Lanzarotti, Sergio Mera , Alloy+HotCore: A Fast Approximation to Unsat Core , 2nd International Conference on Abstract State Machines, Alloy, B and Z, Volume 5977, page 160--173 - 2010 (pdf)
  • Juan Pablo Galeotti, Nicolas Rosner, Carlos Lopez Pombo, Marcelo Frias , Analysis of Invariants for Efficient Bounded Verification , 2010 International Symposium on Software Testing and Analysis - 2010 (pdf)
  • Nicolas Rosner, Juan Pablo Galeotti, Carlos Lopez Pombo, Marcelo Frias , ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models , 2nd International Conference on Abstract State Machines, Alloy, B and Z, Volume 5977, page 396--397 - 2010 (pdf)

2009

  • Juan Pablo Galeotti, Nicolas Rosner, Carlos Lopez Pombo, Marcelo Frias , Distributed SAT-Based Analysis of Object Oriented Code , Proc. of the Symposium on Automatic Program Verification (APV'09) - 2009 (pdf)
  • Shuvendu Lahiri, Shaz Qadeer, Juan Pablo Galeotti, Jan W. Voung, Thomas Wies , Intra-module inference , Proc. of the 21st International Conference on Computer Aided Verification (CAV 2009) - 2009 (pdf)

2008

  • Antonio Bucchiarone, Juan Pablo Galeotti , Dynamic Software Architectures Verification using DynAlloy , GT-VMT 2008 Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques - march 2008 (pdf)
  • Nazareno Aguirre, Marcelo Frias, Pablo Ponzio, Brian J. Cardiff, Juan Pablo Galeotti, German Regis , Towards Abstraction for DynAlloy Specifications , ICFEM 2008: Proceedings of the Tenth International Conference on Formal Engineering Methods, Volume 5256, page 207--225 - oct 2008 (pdf)

2007

  • Marcelo Frias, Carlos Lopez Pombo, Juan Pablo Galeotti, Nazareno Aguirre , Efficient Analysis of DynAlloy Specifications , ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 17, Number 1, page 1--34 - December 2007 (pdf)

2006

  • Juan Pablo Galeotti, Marcelo Frias , DynAlloy as a Formal Method for the Analysis of Java Programs , Software Engineering Techniques: Design for Quality, Volume 227, page 249--260 - 2006 (pdf)
  • Marcelo Frias, Juan Pablo Galeotti , Faster SAT-Based Analysis of OO-Programs by Separation of Mutant and Non Mutant Objects , First Alloy Workshop - 2006 (pdf)

2005

  • Marcelo Frias, Juan Pablo Galeotti, Carlos Lopez Pombo, Nazareno Aguirre , DynAlloy: upgrading Alloy with actions , ICSE 2005: 27th International Conference on Software Engineering, page 442--450 - 2005 (pdf)
  • Marcelo Frias, Juan Pablo Galeotti, Carlos Lopez Pombo, Nazareno Aguirre , DynAlloy: Upgrading Alloy with actions (Extended abstract) , Proceedings of the 8th. Conference on Relational Methods in Computer Science (RelMiCS) - 3nd. International Workshop on Applications of Kleene Algebra, Volume 3929, page 57--60 - 2005 (pdf)
  • Marcelo Frias, Juan Pablo Galeotti, Carlos Lopez Pombo, Mario Roman , Fork Algebra as a Formalism to Reason Across Behavioral Specifications (Extended Abstract) , Proceedings of the 8th. Conference on Relational Methods in Computer Science (RelMiCS) - 3nd. International Workshop on Applications of Kleene Algebra, page 61--68 - 2005 (pdf)

Students:

Current:

  • Daniel Ciolek
  • Marcos Chicote
  • Bruno Cuervo Parrino

Past:

  • Pablo Bendersky M.S. Thesis: "Hacia un entorno integrado para la verificación de contratos utilizando SAT solvers" (spanish) (co-adivsor: D. Garbervetsky)
  • Esteban Lanzarotti M.S. Thesis: "Una generalización de Unsat Core para algoritmos de Sat-Solving basados en DPLL" (spanish) (co-advisor: S. Mera)
  • Diego Dobniewski, Gabriel Gasser Noblia M.S. Thesis "Verificación de un sistema de votación usando SAT-Solving" (spanish)
  • Brian Cardiff M.S. Thesis "Aumentando la capacidad cómputo de Alloy Analyzer mediante verificación incremental de modelos" (spanish) (co-advisor: M. Frias)

Teaching: