Nicolas D'Ippolito

Навело

	Све	Од 2020
Наводи	1273	568
h-индекс	18	12
i10-индекс	24	17

140

105

2008200920102011201220132014201520162017201820192020202120222023202420258 4 13 22 30 59 42 54 99 122 122 107 135 115 97 116 94 11

Јавни приступ

Прикажи све

19 чланака

4 чланка

доступно

није доступно

На основу услова финансирања

Коаутори

Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonВерификована је имејл адреса на dc.uba.ar
Nir PitermanProfessor in Computer Science, University of Gothenburg and Chalmers University of Technolog, SwedenВерификована је имејл адреса на gu.se
Jeff KramerProfessor of Computing, Imperial CollegeВерификована је имејл адреса на imperial.ac.uk
Ilias GerostathopoulosAssistant Professor at VU AmsterdamВерификована је имејл адреса на vu.nl
Marsha ChechikProfessor of Computer Science, University of TorontoВерификована је имејл адреса на cs.toronto.edu
Konstantinos AngelopoulosGenedata AGВерификована је имејл адреса на genedata.com
Filip KřikavaCzech Technical UniversityВерификована је имејл адреса на fit.cvut.cz
Dario FischbeinВерификована је имејл адреса на imperial.ac.uk
Sebastian SardiñaProfessor at School of Computing Technologies, RMIT UniversityВерификована је имејл адреса на rmit.edu.au
Alessandro Vittorio PapadopoulosFull Professor, Mälardalen University (MDU), SE | University of Málaga, ES | Scientific Advisor, ZPTВерификована је имејл адреса на mdu.se
Antonio FilieriAmazon Web Services, Imperial College LondonВерификована је имејл адреса на imperial.ac.uk
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleВерификована је имејл адреса на cse.sc.edu
Leandro NahabedianUniversidad de Buenos AiresВерификована је имејл адреса на dc.uba.ar
Martina MaggioSaarland University, Lund University, Saarland Informatics CampusВерификована је имејл адреса на cs.uni-saarland.de
Henry HoffmannLiew Family Chair of Computer Science, University of ChicagoВерификована је имејл адреса на cs.uchicago.edu
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignВерификована је имејл адреса на illinois.edu
Thomas VogelHumboldt-Universität zu Berlin, GermanyВерификована је имејл адреса на informatik.hu-berlin.de
Jeff MageeProfessor of Computing, Imperial College LondonВерификована је имејл адреса на imperial.ac.uk
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasВерификована је имејл адреса на dc.exa.unrc.edu.ar
German RegisUniversidad Nacional de Río CuartoВерификована је имејл адреса на dc.exa.unrc.edu.ar

Прати

Nicolas D'Ippolito

Universidad de Buenos Aires

Верификована је имејл адреса на dc.uba.ar - Почетна страница

Software engineering Artificial Intelligence Game Theory


Наслов Сортирај по наводима Сортирај по години Сортирај по наслову	Навело Навело	Година
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	117	2008
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	104	2015
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	102*	2017
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	101	2013
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
Synthesis of live behaviour models NR D'Ippolito, V Braberman, N Piterman, S Uchitel Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	89	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	60	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	47	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	41	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	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	31	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	25	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
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	22	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	21	2020
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	18	2010
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	17	2018

Систем тренутно не може да изврши ову радњу. Пробајте поново касније.

Чланци 1–20

Годишњи број навода

Дупли наводи

Обједињени наводи

Додавање коаутораКоаутори

Прати

Навело

Коаутори