Nicolas D'Ippolito

Citado por

	Total	Desde 2020
Citas	1263	565
Índice h	18	13
Índice i10	24	17

140

105

2008200920102011201220132014201520162017201820192020202120222023202420258 4 12 22 31 59 41 53 99 128 110 108 139 123 98 110 92 3

Acceso público

Ver todo

19 artículos

4 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonDirección de correo verificada de dc.uba.ar
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenDirección de correo verificada de gu.se
Jeff KramerProfessor of Computing, Imperial CollegeDirección de correo verificada de imperial.ac.uk
Ilias GerostathopoulosAssistant Professor at VU AmsterdamDirección de correo verificada de vu.nl
Marsha ChechikProfessor of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Konstantinos AngelopoulosGenedata AGDirección de correo verificada de genedata.com
Filip KřikavaCzech Technical UniversityDirección de correo verificada de fit.cvut.cz
Sebastian SardiñaProfessor at School of Computing Technologies, RMIT UniversityDirección de correo verificada de rmit.edu.au
Dario FischbeinDirección de correo verificada de imperial.ac.uk
Alessandro Vittorio PapadopoulosFull Professor, Mälardalen University (MDU), SE | University of Málaga, ES | Scientific Advisor, ZPTDirección de correo verificada de mdu.se
Antonio FilieriAmazon Web Services, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleDirección de correo verificada de cse.sc.edu
Leandro NahabedianUniversidad de Buenos AiresDirección de correo verificada de dc.uba.ar
Martina MaggioSaarland University, Lund University, Saarland Informatics CampusDirección de correo verificada de cs.uni-saarland.de
Henry HoffmannLiew Family Chair of Computer Science, University of ChicagoDirección de correo verificada de cs.uchicago.edu
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignDirección de correo verificada de illinois.edu
Thomas VogelHumboldt-Universität zu Berlin, GermanyDirección de correo verificada de informatik.hu-berlin.de
Jeff MageeProfessor of Computing, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasDirección de correo verificada de dc.exa.unrc.edu.ar
German RegisUniversidad Nacional de Río CuartoDirección de correo verificada de dc.exa.unrc.edu.ar

Seguir

Nicolas D'Ippolito

Universidad de Buenos Aires

Dirección de correo verificada de dc.uba.ar - Página principal

Software engineering Artificial Intelligence Game Theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	131	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	115	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	105*	2017
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	103	2015
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	99	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	99	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	87	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	58	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	46	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	37	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	33	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	30	2018
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	24	2015
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
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	21	2020
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
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	19	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores