Nicolas D'Ippolito
TitleCited byYear
MTSA: The modal transition system analyser
N D'Ippolito, D Fischbein, M Chechik, S Uchitel
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008
872008
Software engineering meets control theory
A Filieri, M Maggio, K Angelopoulos, N d'Ippolito, I Gerostathopoulos, ...
Proceedings of the 10th International Symposium on Software Engineering for …, 2015
782015
Synthesizing nonanomalous event-based controllers for liveness goals
N D'ippolito, V Braberman, N Piterman, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 9, 2013
652013
Synthesis of live behaviour models
NR D'Ippolito, V Braberman, N Piterman, S Uchitel
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
522010
Synthesis of live behaviour models for fallible domains
N D'Ippolito, V Braberman, N Piterman, S Uchitel
Proceedings of the 33rd International Conference on Software Engineering …, 2011
462011
Hope for the best, prepare for the worst: multi-tier control for adaptive systems
N D'Ippolito, V Braberman, J Kramer, J Magee, D Sykes, S Uchitel
Proceedings of the 36th International Conference on Software Engineering …, 2014
432014
Morph: A reference architecture for configuration and behaviour self-adaptation
V Braberman, N D'Ippolito, J Kramer, D Sykes, S Uchitel
Proceedings of the 1st International Workshop on Control Theory for Software …, 2015
392015
Control strategies for self-adaptive software systems
A Filieri, M Maggio, K Angelopoulos, N D’ippolito, I Gerostathopoulos, ...
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 24, 2017
272017
Weak alphabet merging of partial behaviour models
D Fischbein, G Brunet, N D’Ippolito, M Chechik, S Uchitel
ACM TOSEM 21 (2), 2012
262012
MTSA: Eclipse support for Modal Transition Systems construction, analysis and elaboration.
N D'Ippolito, D Fischbein, H Foster, S Uchitel
ETX, 6-10, 2007
252007
Controller synthesis: From modelling to enactment
V Braberman, N D'Ippolito, N Piterman, D Sykes, S Uchitel
Proceedings of the 2013 International Conference on Software Engineering …, 2013
232013
Assured and correct dynamic update of controllers
L Nahabedian, V Braberman, N D’Ippolito, S Honiden, J Kramer, K Tei, ...
2016 IEEE/ACM 11th International Symposium on Software Engineering for …, 2016
182016
The modal transition system control problem
N D’ippolito, V Braberman, N Piterman, S Uchitel
International Symposium on Formal Methods, 155-170, 2012
162012
Alloy+ hotcore: A fast approximation to unsat core
N D’Ippolito, MF Frias, JP Galeotti, E Lanzarotti, S Mera
International Conference on Abstract State Machines, Alloy, B and Z, 160-173, 2010
142010
Towards fully observable non-deterministic planning as assumption-based automatic synthesis
S Sardina, N D'Ippolito
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
132015
Supporting incremental behaviour model elaboration
S Uchitel, D Alrajeh, S Ben-David, V Braberman, M Chechik, G De Caso, ...
Computer Science-Research and Development 28 (4), 279-293, 2013
132013
Weak alphabet merging of partial behavior models
D Fischbein, N D’Ippolito, G Brunet, M Chechik, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (2), 9, 2012
132012
Interaction models and automated control under partial observable environments
D Ciolek, V Braberman, N D’Ippolito, N Piterman, S Uchitel
IEEE Transactions on Software Engineering 43 (1), 19-33, 2016
82016
Ray, M
A Filieri, M Maggio, K Angelopoulos, N D’Ippolito, I Gerostathopoulos, ...
Sharifloo, Amir, S. Shevtsov, M. Ujma, and T. Vogel,“Software Engineering …, 2015
82015
Fully observable non-deterministic planning as assumption-based reactive synthesis
N D'Ippolito, N Rodrı́guez, S Sardina
Journal of Artificial Intelligence Research 61, 593-621, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20