Følg
Nicolas D'Ippolito
Tittel
Sitert av
Sitert av
År
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
1312015
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
1172008
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
1042015
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
1012013
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
982014
Synthesis of live behaviour models
NR D'Ippolito, V Braberman, N Piterman, S Uchitel
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
892010
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
602011
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
472013
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
412012
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
362018
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
332016
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
312018
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
252015
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
242007
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
222012
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
212020
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
182013
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
182010
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
172018
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20