Nicolás D'Ippolito

According to our database, Nicolás D'Ippolito authored at least 44 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Text Sanitization Beyond Specific Domains: Zero-Shot Redaction & Substitution with Large Language Models.

Federico Albanese, Daniel Ciolek, Nicolás D'Ippolito

CoRR, 2023

On-the-fly informed search of non-blocking directed controllers.

Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel

Autom., 2023

Scaling Web API Integrations.

Guido Chari, Brandon Sheffer, S. R. K. Branavan, Nicolás D'Ippolito

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

Control and Discovery of Environment Behaviour.

Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel

IEEE Trans. Software Eng., 2022

Assured automatic dynamic reconfiguration of business processes.

Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel

Inf. Syst., 2022

2021

Synthesis of Run-To-Completion Controllers for Discrete Event Systems.

Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel

Proceedings of the 2021 American Control Conference, 2021

2020

Dynamic Update of Discrete Event Controllers.

Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel

IEEE Trans. Software Eng., 2020

Compositional Supervisory Control via Reactive Synthesis and Automated Planning.

Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel

IEEE Trans. Autom. Control., 2020

Multi-tier Automated Planning for Adaptive Behavior (Extended Version).

Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña

CoRR, 2020

Multi-Tier Automated Planning for Adaptive Behavior.

Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Minimising Makespan of Discrete Controllers: A Qualitative Approach.

Ezequiel Castellano, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Dynamic Reconfiguration of Business Processes.

Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel

Proceedings of the Business Process Management - 17th International Conference, 2019

2018

Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis.

Nicolás D'Ippolito, Natalia Rodríguez, Sebastian Sardiña

J. Artif. Intell. Res., 2018

2017

Interaction Models and Automated Control under Partial Observable Environments.

Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel

IEEE Trans. Software Eng., 2017

Control Strategies for Self-Adaptive Software Systems.

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

ACM Trans. Auton. Adapt. Syst., 2017

The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10).

David Garlan, Nicolás D'Ippolito, Kenji Tei

NII Shonan Meet. Rep., 2017

CLTSA: labelled transition system analyser with counting fluent support.

Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8).

Kenji Tei, Nicolás D'Ippolito, Paola Inverardi

NII Shonan Meet. Rep., 2016

Technical Report: Directed Controller Synthesis of Discrete Event Systems.

Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel

CoRR, 2016

Runtime controller synthesis for self-adaptation: be discrete!

Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Assured and correct dynamic update of controllers.

Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

2½-player generalized reactivity (1) games.

Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.

Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Robust degradation and enhancement of robot mission behaviour in unpredictable environments.

Nicolás D'Ippolito, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel

Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

MORPH: a reference architecture for configuration and behaviour self-adaptation.

Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel

Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis.

Sebastian Sardiña, Nicolás D'Ippolito

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Specifying Event-Based Systems with a Counting Fluent Temporal Logic.

Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Software Engineering Meets Control Theory.

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

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

2014

Hope for the best, prepare for the worst: multi-tier control for adaptive systems.

Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel

Proceedings of the 36th International Conference on Software Engineering, 2014

Revisiting Compatibility of Input-Output Modal Transition Systems.

Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel

Proceedings of the FM 2014: Formal Methods, 2014

Controllability in Partial and Uncertain Environments.

Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Synthesis of event-based controllers for software engineering.

Nicolás D'Ippolito

PhD thesis, 2013

Synthesizing nonanomalous event-based controllers for liveness goals.

Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel

ACM Trans. Softw. Eng. Methodol., 2013

Supporting incremental behaviour model elaboration.

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

Comput. Sci. Res. Dev., 2013

Controller synthesis: from modelling to enactment.

Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel

Proceedings of the 35th International Conference on Software Engineering, 2013

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.

Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

Weak Alphabet Merging of Partial Behavior Models.

Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel

ACM Trans. Softw. Eng. Methodol., 2012

Synthesis of event-based controllers: A software engineering challenge.

Nicolás D'Ippolito

Proceedings of the 34th International Conference on Software Engineering, 2012

The Modal Transition System Control Problem.

Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel

Proceedings of the FM 2012: Formal Methods, 2012

2011

Synthesis of live behaviour models for fallible domains.

Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Synthesis of live behaviour models.

Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Alloy+HotCore: A Fast Approximation to Unsat Core.

Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera

Proceedings of the Abstract State Machines, 2010

2008

MTSA: The Modal Transition System Analyser.

Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.

Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007