Publications

Export 11 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Nicolás D'Ippolito  [Clear All Filters]
2015
V. A. Braberman, N. D'Ippolito, J. Kramer, D. Sykes, and S. Uchitel, “{MORPH:} {A} Reference Architecture for Configuration and Behaviour Self-Adaptation”, CoRR, vol. abs/1504.08339, 2015.
A. Filieri, et al., “Software Engineering Meets Control Theory”, in 10th {IEEE/ACM} International Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2015, Florence, Italy, May 18-19, 2015, 2015.
G. Regis, R. Degiovanni, N. D'Ippolito, and N. Aguirre, “Specifying Event-Based Systems with a Counting Fluent Temporal Logic”, in 37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1, Florence, Italy, 2015.
S. Sardiña and N. D'Ippolito, “Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis”, in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015.
2014
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, 2014.PDF icon paper.pdf (696.41 KB)
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, 2014.
N. D'Ippolito, V. A. Braberman, J. Kramer, J. Magee, D. Sykes, and S. Uchitel, “Hope for the best, prepare for the worst: multi-tier control for adaptive systems”, in 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
N. D'Ippolito, V. A. Braberman, J. Kramer, J. Magee, D. Sykes, and S. Uchitel, “Hope for the best, prepare for the worst: multi-tier control for adaptive systems”, in ICSE, 2014.PDF icon hope for the best.pdf (519.23 KB)
I. Krka, N. D'Ippolito, N. Medvidovic, and S. Uchitel, “Revisiting Compatibility of Input-Output Modal Transition Systems”, in {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014.
2012
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “The Modal Transition System Control Problem”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012.PDF icon the_modal_transition_systems_control_problem.pdf (247.44 KB)