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