Nicolás D'Ippolito

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 30

Top Venues

CoRR

CDC

SEAMS@ICSE

IEEE Trans. Software Eng.

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
On-the-fly informed search of non-blocking directed controllers. Autom. 147 (2023)
Federico Albanese, Daniel Ciolek, Nicolás D'Ippolito
Text Sanitization Beyond Specific Domains: Zero-Shot Redaction & Substitution with Large Language Models. CoRR (2023)
Guido Chari, Brandon Sheffer, S. R. K. Branavan, Nicolás D'Ippolito
Scaling Web API Integrations. ICSE-SEIP (2023)
Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Control and Discovery of Environment Behaviour. IEEE Trans. Software Eng. 48 (6) (2022)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
Assured automatic dynamic reconfiguration of business processes. Inf. Syst. 104 (2022)
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC (2021)
Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
Multi-tier Automated Planning for Adaptive Behavior (Extended Version). CoRR (2020)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel
Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. 65 (8) (2020)
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR (2020)
Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
Multi-Tier Automated Planning for Adaptive Behavior. ICAPS (2020)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. 46 (11) (2020)
Ezequiel Castellano, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei
Minimising Makespan of Discrete Controllers: A Qualitative Approach. CDC (2019)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
Dynamic Reconfiguration of Business Processes. BPM (2019)
Nicolás D'Ippolito, Natalia Rodríguez, Sebastian Sardiña
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis. J. Artif. Intell. Res. 61 (2018)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
CLTSA: labelled transition system analyser with counting fluent support. ESEC/SIGSOFT FSE (2017)
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Interaction Models and Automated Control under Partial Observable Environments. IEEE Trans. Software Eng. 43 (1) (2017)
David Garlan, Nicolás D'Ippolito, Kenji Tei
The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10). NII Shonan Meet. Rep. 2017 (2017)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. CDC (2016)
Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2½-player generalized reactivity (1) games. CDC (2016)
Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito
Runtime controller synthesis for self-adaptation: be discrete! SEAMS@ICSE (2016)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
Technical Report: Directed Controller Synthesis of Discrete Event Systems. CoRR (2016)
Kenji Tei, Nicolás D'Ippolito, Paola Inverardi
Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8). NII Shonan Meet. Rep. 2016 (2016)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
Assured and correct dynamic update of controllers. SEAMS@ICSE (2016)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
MORPH: a reference architecture for configuration and behaviour self-adaptation. CTSE@SIGSOFT FSE (2015)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. CoRR (2015)
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas B. Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Software Engineering Meets Control Theory. SEAMS@ICSE (2015)
Sebastian Sardiña, Nicolás D'Ippolito
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. IJCAI (2015)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
Specifying Event-Based Systems with a Counting Fluent Temporal Logic. ICSE (1) (2015)
Nicolás D'Ippolito, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel
Robust degradation and enhancement of robot mission behaviour in unpredictable environments. CTSE@SIGSOFT FSE (2015)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Controllability in Partial and Uncertain Environments. ACSD (2014)
Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE (2014)
Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel
Revisiting Compatibility of Input-Output Modal Transition Systems. FM (2014)
Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel
Controller synthesis: from modelling to enactment. ICSE (2013)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Software Engineering for Self-Adaptive Systems (2013)
Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28 (4) (2013)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Nicolás D'Ippolito
Synthesis of event-based controllers: A software engineering challenge. ICSE (2012)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
The Modal Transition System Control Problem. FM (2012)
Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel
Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. 21 (2) (2012)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesis of live behaviour models for fallible domains. ICSE (2011)
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
Alloy+HotCore: A Fast Approximation to Unsat Core. ASM (2010)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesis of live behaviour models. SIGSOFT FSE (2010)
Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel
MTSA: The Modal Transition System Analyser. ASE (2008)
Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ETX (2007)

Nicolás D'Ippolito.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolás D'Ippolito