# Dr. Nicolás R. D'Ippolito

| Distributed Software Engineering Department of Computing Imperial College London 180 Queen's Gate Huxley Building Room 504 London SW7 2AZ Telephone: +44 (0)20 7594 8390 E-Mail: srdipi ( AT ) doc.ic.ac.uk

### About myself

I'm a Research Assistant and Teaching Assistant at Imperial College London. My PhD has been supervised by Sebastian Uchitel and Nir Piterman.
I finished my Master in Computer Science at Departamento de Computacion, Ciencias Exactas y Naturales, Universidad de Buenos Aires supervised by Sebastian Uchitel.

### Research interests

My research interests are mainly focused towards behavioural modelling, partial behavioural modelling, planning, controller synthesis and model checking.

### Some Publications

- Fischbein, Brunet, D'Ippolito, Chechik, Uchitel, Weak Alphabet Merging of Partial Behaviour Models., ACM Transactions on Software Engineering and Methodology, 2012. PDF BIB
- D'Ippolito, Braberman, Piterman, Uchitel, The Modal Transition System Control Problem., FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. PDF BIB
- D'Ippolito, Synthesis of event-based controllers: A software engineering challenge., 34 International Conference on Software Engineering (ICSE 2012), June 2-9, 2012, Zurich, Switzerland. PDF BIB
- D'Ippolito, Braberman, Piterman, Uchitel, Synthesis of Live Behaviour Models for Fallible Domains, 33 International Conference on Software Engineering (ICSE 2011), 21-28 May 2011, Waikiki, Honolulu, Hawaii. PDF BIB
- D'Ippolito, Braberman, Piterman, Uchitel, Synthesis of Live Behaviour Models, ACM SIGSOFT 2010 / Eighteenth Sympousium on the Foundations of Software Engineering (FSE 2010), 7-11 November 2010, New Mexico, USA. PDF BIB
- Esteban Lanzarotti, Nicolas D'Ippolito, Sergio Mera, Juan P. Galeotti, Marcelo Frias Alloy+HotCore: A Fast Approximation to Unsat Core., Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, February 22-25, 2010, Orford, QC, Canada. PDF BIB
- D'Ippolito, Fischbein, Chechik, Uchitel, MTSA: The modal transition system analyser, 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008. ASE 2008 PDF BIB
- D'Ippolito, Fischbein, Foster, Uchitel, MTSA: Eclipse support for modal transition systems construction, analysis and elaboration, Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, Montreal, Canada. PDF BIB

### Master Thesis

- MTSA: Una Herramienta de Model Checking de MTS. Computing Department, University of Buenos Aires, December 2007. PDF (Only in Spanish)

### Tools

- MTSA - The Modal Transition System Analiser.

Last updated on April 2011