Nicolas D'Ippolito

Cited by

	All	Since 2019
Citations	1224	634
h-index	18	13
i10-index	24	18

140

105

200820092010201120122013201420152016201720182019202020212022202320248 4 12 22 31 59 41 53 99 127 110 107 139 120 98 109 61

Public access

View all

18 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Jeff KramerProfessor of Computing, Imperial CollegeVerified email at imperial.ac.uk
Ilias GerostathopoulosAssistant Professor at VU AmsterdamVerified email at vu.nl
Marsha ChechikProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Konstantinos AngelopoulosGenedata AGVerified email at genedata.com
Filip KřikavaCzech Technical UniversityVerified email at fit.cvut.cz
Dario FischbeinVerified email at imperial.ac.uk
Sebastian SardiñaProfessor at School of Computing Technologies, RMIT UniversityVerified email at rmit.edu.au
Alessandro Vittorio PapadopoulosFull Professor, Mälardalen University (MDU), SE | University of Málaga, ES | Scientific Advisor, ZPTVerified email at mdu.se
Antonio FilieriAmazon Web Services, Imperial College LondonVerified email at imperial.ac.uk
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleVerified email at cse.sc.edu
Leandro NahabedianUniversidad de Buenos AiresVerified email at dc.uba.ar
Martina MaggioSaarland University, Lund University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Henry HoffmannLiew Family Chair of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignVerified email at illinois.edu
Thomas VogelHumboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
Jeff MageeProfessor of Computing, Imperial College LondonVerified email at imperial.ac.uk
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasVerified email at dc.exa.unrc.edu.ar
German RegisUniversidad Nacional de Río CuartoVerified email at dc.exa.unrc.edu.ar

Nicolas D'Ippolito

Universidad de Buenos Aires

Verified email at dc.uba.ar - Homepage

Software engineering Artificial Intelligence Game Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	127	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	110	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	98	2014
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	97	2015
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
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	43	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	20	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors