"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

"MORPH: A reference architecture for configuration and behaviour self-adaptation" (2015) Braberman, V.;D'Ippolito, N.;Kramer, J. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 1st International Workshop on Control Theory for Software Engineering, CTSE 2015:9-16

"MORPH: A reference architecture for configuration and behaviour self-adaptation" (2015) Braberman, V.;D'Ippolito, N.;Kramer, J. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 1st International Workshop on Control Theory for Software Engineering, CTSE 2015:9-16

"A foundation for behavioural conformance in software product line architectures" (2006) Fischbein, D.; Uchitel, S.; Braberman, V. ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06. 2006:39-48

"Observing timed systems by means of message sequence chart graphs" (2002) Blaustein, S.; Oliveto, F.; Braberman, V. 24th International Conference on Software Engineering (ICSE 2002):707

"Reconfiguration of software architecture styles with name mobility" (2000) Hirsch, D.;Inverardi, P.;Montanari, U. (...)Roman G.-C. 4th International Conference on Coordination Languages and Models, COORDINATION 2000. 1906:148-163