| Software engineering meets control theory A Filieri, M Maggio, K Angelopoulos, N d'Ippolito, I Gerostathopoulos, ... 2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015 | 126 | 2015 |
| MTSA: The modal transition system analyser N D'Ippolito, D Fischbein, M Chechik, S Uchitel 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 109 | 2008 |
| 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), 1-31, 2017 | 100* | 2017 |
| 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 | 97 | 2014 |
| 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), 1-36, 2013 | 97 | 2013 |
| 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 | 94 | 2015 |
| Synthesis of live behaviour models NR D'Ippolito, V Braberman, N Piterman, S Uchitel Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 86 | 2010 |
| 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 | 57 | 2011 |
| Controller synthesis: From modelling to enactment V Braberman, N D'Ippolito, N Piterman, D Sykes, S Ucriitel 2013 35th international conference on software engineering (ICSE), 1347-1350, 2013 | 42 | 2013 |
| 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), 1-47, 2012 | 40 | 2012 |
| 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 | 36 | 2018 |
| Assured and correct dynamic update of controllers L Nahabedian, V Braberman, N D'Ippolito, S Honiden, J Kramer, K Tei, ... Proceedings of the 11th International Symposium on Software Engineering for …, 2016 | 31 | 2016 |
| Dynamic update of discrete event controllers L Nahabedian, V Braberman, N D'Ippolito, S Honiden, J Kramer, K Tei, ... IEEE Transactions on Software Engineering 46 (11), 1220-1240, 2018 | 29 | 2018 |
| MTSA: Eclipse support for modal transition systems construction, analysis and elaboration N D'Ippolito, D Fishbein, H Foster, S Uchitel Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, 6-10, 2007 | 24 | 2007 |
| Towards fully observable non-deterministic planning as assumption-based automatic synthesis S Sardina, N D'Ippolito, M Wooldridge, Q Yang 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 …, 2015 | 23 | 2015 |
| The modal transition system control problem N D’ippolito, V Braberman, N Piterman, S Uchitel FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 21 | 2012 |
| Multi-tier automated planning for adaptive behavior D Ciolek, N D'Ippolito, A Pozanco, S Sardina Proceedings of the International Conference on Automated Planning and …, 2020 | 19 | 2020 |
| An extended description of morph: A reference architecture for configuration and behaviour self-adaptation V Braberman, N D’Ippolito, J Kramer, D Sykes, S Uchitel Software Engineering for Self-Adaptive Systems III. Assurances …, 2018 | 18 | 2018 |
| 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, 279-293, 2013 | 18 | 2013 |
| Alloy+ hotcore: A fast approximation to unsat core N D’Ippolito, MF Frias, JP Galeotti, E Lanzarotti, S Mera Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010 | 17 | 2010 |
Sebastian UchitelUniversidad de Buenos Aires and Imperial College London在 dc.uba.ar 的电子邮件经过验证
