D´Ippolito's publications at DC

Publications in 2015
1- German Regis, Renzo Degiovanni, Nicolas D´Ippolito, Nazareno Aguirre , "Specifying Event-Based Systems with a Counting Fluent Temporal Logic" , ICSE 2015, Proceedings of the 37th International Conference on Software Engineering - 2015 CountingFluents.pdf
 
Publications in 2014
1- Nicolas D´Ippolito, Nir Piterman, Sebastian Uchitel , "Controllability in Partial and Uncertain Environments" , 2014 14th International Conference on Application of Concurrency to System Design - 2014 07016328 (1).pdf

2- Nicolas D´Ippolito, Víctor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastian Uchitel , "Hope for the best, prepare for the worst: Multi-tier control for adaptive systems" , ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, page 688--699 - 2014 hope for the best.pdf

3- Nenad Medvidovic, Ivo Krka, Nicolas D´Ippolito, Sebastian Uchitel , "Revisiting compatibility of input-output modal transition systems" , FM 2014 - Formal Methods, Lecture Notes in Computer Science, Volume accepted - 2014 Revisiting Compatibility of Input-Output.pdf
 
Publications in 2013
1- Víctor Braberman, Nicolas D´Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel , "Controller Synthesis: From Modelling to Enactment" , ICSE 13 Proceedings of the 2013 International Conference on Software Engineering, page 1347-1350 - 2013 Controller Synthesis From Modelling to Enactment.pdf

2- Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Víctor Braberman, Marsha Chechik, Guido de Caso, Nicolas D´Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sibay , "Supporting incremental behaviour model elaboration" , Computer Science - R&D, Volume 28, Number 4, page 279--293 - nov 2013 Supporting incremental behaviour model elaboration.pdf

3- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "“Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals”" , CM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Volume 22, Number 1, page art. 9 - feb 2013 Synthesizing Nonanomalous Event-Based Controllers for Liveness.pdf
 
Publications in 2012
1- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "The Modal Transition System Control Problem" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 155--170 - 2012 paper.pdf

2- Dario Fischbein, Greg Brunet, Nicolas D´Ippolito, Marsha Chechik, Sebastian Uchitel , "Weak Alphabet Merging of Partial Behaviour Models" , ACM Transactions on Software Engineering and Methodology, Volume 21, Number 2, page 1-49 - 2012 Weak Alphabet Merging of Partial Behavior Models_Final.pdf
 
Publications in 2011
1- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "Synthesis of live behaviour models for fallible domains" , ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 211--220 - 2011 synthesis of live behaviour models for fallible domains.pdf
 
Publications in 2010
1- Nicolas 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 alloy_hotcore.pdf

2- Nicolas D´Ippolito, Víctor Braberman, Sebastian Uchitel, Nir Piterman , "Synthesis of Live Behaviour Models" , ACM-SIGSOFT Intl. Conference on Foundations of Software Engineering - oct 2010 synthesis of live behaviour models.pdf
 
Publications in 2008
1- Nicolas D´Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel , "MTSA: The modal transition system analyser" , 23rd IEEE/ACM International Conference on Automated Software Engineering - 2008 MTSA The Modal.pdf
 
Publications in 2007