News

FSE invites high quality submissions describing original and unpublished results of theoretical, empirical, conceptual, and experimental software engineering research. Contributions should describe innovative and significant original research relevant to FSE. Submissions of papers describing groundbreaking approaches to emerging problems will also be considered. Submissions that facilitate reproducibility by using available data sets or making the described tools publicly available are especially encouraged. Papers submitted for consideration should not have been already published elsewhere and should not be under review or submitted for review elsewhere during the duration of consideration. Find more info here!

Teaching

Software Engineering 1. Analisis de Requisitos Temporales

Phd Students

Former PhD. Students:

• Diego Grabervetsky. Dissertation title: Parametric Estimation of Dynamic Memory Utilization.
• Fernando Schapachnik. Dissertation title: Timed Automata Model Checking in Monoprocessor and Multiprocessor Architectures.
• Guido de Caso (co-advisor Sebastián Uchitel). Dissertation title: Modelos abstractos de comportamiento basados en habilitacion.
• Fernando Asteasuain. Dissertation title: Un enfoque declarativo para modelar el comportamiento en Sistemas Reactivos.

Current PhD. Students:

• Hernán Czemerinski
• Esteban Pavese
• Fernán Martinelli
• Rodrigo Castaño

Graduated alumni and theirs Licentiate Thesis:

• Diego Garbervetsky. Title: Reducción de composiciones de Autómatas Temporizados.
• Carlos Lopez Pombo. Title: Mejoras en el Cálculo de Punto Fijo en Autómatas Temporizados.
• Pablo Rubinstein y Jorge Suppicich. Title: Verificación de Sistemas Temporizados utilizando Unfoldings.
• Fernando Schapachnik. Title: Verificación Distribuida de Sistemas de Tiempo Real.
• Sebastián Blaunstein y Fernando Oliveto. Title: Verificación en tiempo de ejecución usando Grafos de Diagramas de Secuencias (MSC-Graphs).
• Alejandra Alfonso. Title: Un lenguaje gráfico para la especificación de escenarios negativos para sistemas de tiempo real.

• Cecilia Schor, Gabriela Finkelstein. Title: Verificación de Diseños de Sistemas de tiempo real.

• D. Rozengardt, A. Baglietto. Title: Migraciones de Legacy Systems en la Industria de las Telcomunicaciones.
• Pablo Turjanski, Ariel Camporeale. Title: Descripción y Análisis de Confiabilidad para Arquitecturas de Software.
• Matías Castellani, Alejandro Isacovich. Title: MAAL: Logging centralizado para sistemas distribuidos.
• Diego Piemonte. Title: Generador de Invariantes para programas orientados a objetos.
• Darío Fishbein. Title: Semántica Branching para Sistemas de Transición Modales.
• Matías Roth, Darío Korec. Title: Un editor flexible para notaciones de control intensivo.
• Pablo Michelis. Title: Optimización de los algortimos de Unfoldings Temporizado.
• Fernando de Simoni. Title: Generación automática de Test de Unidad mediante la captura de Test de Sistema.
• Daniel Monteverde. Title: Verificación Automática de Escenarios Condicionales.
• Pablo Luján, Roxana Ortiz. Title: VTS4QoS: Expresando y Midiendo Parámetros de Calidad de Servicio.
• Miguel Kiszkurno, Hugo Meléndez. Roberto Somosa. Title: Model Checking de Código para propiedades basadas en eventos.

Research

Together with Sebastián Uchitel, we lead LaFHIS: Tools and Fundations for Software Engineering Lab at UBA

• See my publications on Google Scholar
• Our Lab’s publications: LAFHIS Publications

Main interests:

• Formal Verification: Model Checking of Timed Systems, Controller Synthesis, Formal Specification of event based properties, Aspect oriented modeling, Software Architectures, etc.
• Software Analysis: Memory Consumption Prediction, Static and Dynamic Program Analysis.

Tools

• Find a full list here

Projects

Current:

• Principal Investigator for UBA of project "MEALS: Mobility between Europe and Argentina applying Logics to Systems", call FP7-PEOPLE-2011-IRSES of the European Community.
• Principal Investigator of project "ANPCyT PICT 2012 0724: Behavior Abstractions for Software Testing". FONCyT (2014-2017)
• Co-director of project UBACyT 20020100100813:"Modelos formales en la ingeniería de software: construcción, validación y verificación". UBA (2011 -2014)
• Researcher in project "ANPCyT PICT 2011 1774: Síntesis de Controladores para la Ingeniería de Software ". FONCyT (2012-2015)

Ended:

• 2011-2013: ANPCyT PICT 2010 02351: Análisis Cuantitativo del uso de la Memoria Dinámica con foco en la Escalabilidad y Usabilidad. FONCyT. Researcher.
• 2009- 2013: ANPCyT PICT PAE 02278: Análisis de aplicaciones y modelos de sistemas de tiempo real y embebidos. FONCyT. Principal Investigator.
• 2009-2013: ANPCyT PICT PAE 02772: Modelado y Análisis de Sistemas Tolerantes a Fallas. FONCyT. Researcher.
• 2009-2013: Verificación Parcial de Software. CONICET. Co-director.
• 2008-2011: UBACyT 2008 X021: Análisis dinámico y estático de aplicaciones y modelos. UBA. Principal Investigator.
• 2010-2011: MSR-SEIF project “Resource Usage Contracts for .NET” funded by Microsoft Research SEIF Award. Researcher.
• 2010-2011: MSR-SEIF project “Strengthening Code Contracts with Typestates” funded by Microsoft Research SEIF Award. Researcher.
• 2007-2010: ANPCyT PICT 2005 32440: Modelos Parciales en la Ingeniería de Software Reactivo y Embebido. 2007-2010. FONCyT. Principal Investigator.
• 2008-2009: STIC-AMSUD TAPIOCA: Timing Analysis and Program Implementation On Complex Architectures. Jointly with LAAS-CNRS, IRIT, DAS-UFSC, Verimag, UADE. Participant.
• 2007-2008: ECOS SUD JAPIQAY Modelización y análisis de la administración automática de memoria dinámica en software embebido y de tiempo real. ECOS SUD 2007-2008. Jointly with University of Strasbourg and Verimag. Argentine Coordinator.
• 2007-2008:  “IBM Eclipse Innovation Grants” “Early Bug Detection by Inferring Semantic Properties”. Principal Investigator.
• 2006: “IBM Eclipse Innovation Grants” Plugging the VInTiME tool suite for Verification and Validation of Real-Time  and Embedded Systems into Eclipse”. Principal Investigator.
• 2006: "SetPoint: An Aspect Oriented Framework Based on Semantic Pointcuts". Microsoft Research Phoenix Innovation Grants. Principal Investigator.
• 2005: "Seamlessly migrating Java applications to Java RealTime with Eclipse in teaching, research and development environments". IBM Eclipse Innovations Grants. Principal Investigator.
• 2003-2007: "Teoría y Herramientas para la Construcción de Software Crítico". ANPCyT PICT 11738. Principal Investigator.
• "Herramientas para la Verificación de Sistemas Temporizados". UBACyT  X020. Director.
• 2003: "TraceIt!: Event Trace Generator for Distributed Embedded Real-Time Applications" (Microsoft Research Embedded RFP). Principal Investigator.
• 2003-2004: "Herramientas para la Construcción de Aplicaciones Avanzadas de Tiempo Real". UBACyT 2003 X405. Principal Investigator.
• 2001-2002: "Testing UML". UBA-Politécnico de Milán. Programa de Cooperación Científica tecnológica Argentina-Italiana MAE-SECYT. Argentine Coordinator.
• 2000-2002: "Verificación automática de sistemas temporizados" UBACYT EX156. Principal Investigator.

Community Service

Program Chair at:

• FORMATS 2013, 11th International Conference on Formal Modeling and Analysis of Timed Systems. August 2013, Buenos Aires, Argentina.

Program committee member at:

• ICSE 2015, International Conference on Software Engineering. Mayo 2015, Florencia, Italia.
• FSE 2014, International Symposium on the Foundations of Software Engineering. 2015, Hong Kong, China
• ISSTA 2012, International Symposium on Software Testing and Analysis. Julio 2012, Minneapolis, Minnesota
• FM 2012, 18th International Symposium on Formal Methods. Agosto 2012, Paris, Francia.
• ICSE 2012 International Conference on Software Engineering. Mayo 2012, Zurich, Suiza.
• FORMATS 2011, 9th International Conference on Formal Modeling and Analysis of Timed Systems , September 2011, Aalborg, Denmark.
• FSE 2011 ACM SIGSOFT Symposium on the Foundations of Software Engineering.
• ICSE 2011 International Conference on Software Engineering.
• ISSTA 2010 International Symposium on Software Testing and Analysis. Italia, 2010.
• ICSE 2010 International Conference on Software Engineering.
• ISSTA 2009: Intl. Symposium on Software testing and Analysis. July 2009. EEUU.
• ESEC-FSE 2009: European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE).
• ICSE 2009 workshop session (co-chair).
• SOQUA - 4th International Workshop on Software Quality Assurance.
• 6th Intl. Workshop on Scenarios and State Machines (SCESM 2007 at ICSE 2007).
• IEEE/ACM ICSE 2007 International Conference on Software Engineering.
• ACM ASE 2006 International Conference on Automated Software Engineering.
• ACM ISSTA 2006 (Intl. Symposium on Software testing and Analysis).
• FASE 2006 (Intl. Conference on Fundamental Aspects of Software Engineering).
• ICTAC 2005 (International Colloquium on Theoretical Aspects of Computing).
• ASSE 2005, 2006 y 2007  (Argentine Symposium on Software Engineering).
• IEEE/ACM ICSE 2005 International Conference on Software Engineering.

Publicity Chair at:

• ICST 2011 International Conference on Software Testing, Verification and Validation.

External Reviewer at:

• OOPSLA 2011, Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications.

I was local organizer of:

• ACM WOSP 2007 (Workshop on Software and Performance)

Invited Talks:

• “Finding and filling a niche for scenario-based notations”. Sixth International Workshop on Scenarios and State Machines (SCESM 2007 at ICSE 2007). Minneapolis, USA, May 2007.
• “ VinTime: How Scheduling Theory, Scenarios, Model Checking and Slicing Can Help in the Verification of RTS Architectures” , Microsoft Research, Redmond USA, December 2006.
• “Herramientas para la verificación de software” IDEAS 2006 (9no workshop iberoaméricano de ingeniería de requisitos y ambientes de software), Argentina, 2006.
• “Visual Timed Event Scenarios”. Verimag Lab., Grenoble, France, June 2004.
• “Visual Timed Event Scenarios”. Imperial College, London, UK, May 2004.
• “Optimización de la verificación de automatas temporizados sobre observadores”, Workshop Argentino de Informática Teórica (WAIT 2002), Santa Fe, Argentina, September 2002.

Professional Activity

Certified Reviewer, Protocol Engineering Team, Microsoft Corp. Miembro del Comisión de Becas del CONICET (Consejo Nacional de Investigaciones Científicas y Técnicas) Evaluador de proyectos FONSOFT (Fondo Fiduciario de Promoción de la Industria del Software) - Agencia Nacional de Promoción Científica y Tecnológica.

Links

GLyC: Logic and Computability Research Group RFM: Relational Formal Methods Research Group