Piterman's publications at DC

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
 
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- 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
 
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, 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