"Assured and correct dynamic update of controllers" (2016) Nahabedian, L.;Braberman, V.;D'Ippolito, N. (...)Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:96-107

"Specifying event-based systems with a counting fluent temporal logic" (2015) Regis, G.;Degiovanni, R.;D'Ippolito, N. (...)Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE) 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015. 1:733-743