Nicolás D'Ippolito

47 papers A* 7A 1B 2C 1Journal 19Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Anonymous-by-Construction: An LLM-Driven Framework for Privacy-Preserving Text.
CoRR
Federico Albanese, Pablo Ronco, Nicolás D'Ippolito
2023 J jnl
On-the-fly informed search of non-blocking directed controllers.
Autom.
Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2023 — conf
Scaling Web API Integrations.
ICSE-SEIP
Guido Chari, Brandon Sheffer, S. R. K. Branavan, Nicolás D'Ippolito
2023 J jnl
Text Sanitization Beyond Specific Domains: Zero-Shot Redaction & Substitution with Large Language Models.
CoRR
Federico Albanese, Daniel Ciolek, Nicolás D'Ippolito
2022 J jnl
Assured automatic dynamic reconfiguration of business processes.
Inf. Syst.
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
2022 J jnl
Control and Discovery of Environment Behaviour.
IEEE Trans. Software Eng.
Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2021 C conf
Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
ACC
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2020 J jnl
Compositional Supervisory Control via Reactive Synthesis and Automated Planning.
IEEE Trans. Autom. Control.
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel
2020 J jnl
Dynamic Update of Discrete Event Controllers.
IEEE Trans. Software Eng.
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2020 A* conf
Multi-Tier Automated Planning for Adaptive Behavior.
ICAPS
Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
2020 J jnl
Multi-tier Automated Planning for Adaptive Behavior (Extended Version).
CoRR
Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
2020 J jnl
Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
CoRR
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2019 A conf
Dynamic Reconfiguration of Business Processes.
BPM
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
2019 — conf
Minimising Makespan of Discrete Controllers: A Qualitative Approach.
CDC
Ezequiel Castellano, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei
2018 J jnl
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis.
J. Artif. Intell. Res.
Nicolás D'Ippolito, Natalia Rodríguez, Sebastian Sardiña
2017 — conf
CLTSA: labelled transition system analyser with counting fluent support.
ESEC/SIGSOFT FSE
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
2017 J jnl
Control Strategies for Self-Adaptive Software Systems.
ACM Trans. Auton. Adapt. Syst.
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
2017 J jnl
Interaction Models and Automated Control under Partial Observable Environments.
IEEE Trans. Software Eng.
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2017 J jnl
The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10).
NII Shonan Meet. Rep.
David Garlan, Nicolás D'Ippolito, Kenji Tei
2016 — conf
2½-player generalized reactivity (1) games.
CDC
Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2016 — conf
Assured and correct dynamic update of controllers.
SEAMS@ICSE
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2016 J jnl
Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8).
NII Shonan Meet. Rep.
Kenji Tei, Nicolás D'Ippolito, Paola Inverardi
2016 — conf
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.
CDC
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2016 — conf
Runtime controller synthesis for self-adaptation: be discrete!
SEAMS@ICSE
Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito
2016 J jnl
Technical Report: Directed Controller Synthesis of Discrete Event Systems.
CoRR
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2015 J jnl
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
CoRR
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2015 — conf
MORPH: a reference architecture for configuration and behaviour self-adaptation.
CTSE@SIGSOFT FSE
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2015 — conf
Robust degradation and enhancement of robot mission behaviour in unpredictable environments.
CTSE@SIGSOFT FSE
Nicolás D'Ippolito, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel
2015 — conf
Software Engineering Meets Control Theory.
SEAMS@ICSE
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
2015 — conf
Specifying Event-Based Systems with a Counting Fluent Temporal Logic.
ICSE (1)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
2015 A* conf
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis.
IJCAI
Sebastian Sardiña, Nicolás D'Ippolito
2014 — conf
Controllability in Partial and Uncertain Environments.
ACSD
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2014 A* conf
Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
ICSE
Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
2014 B conf
Revisiting Compatibility of Input-Output Modal Transition Systems.
FM
Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel
2013 — conf
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
Software Engineering for Self-Adaptive Systems
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2013 A* conf
Controller synthesis: from modelling to enactment.
ICSE
Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel
2013 J jnl
Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev.
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
2013 — —
Synthesis of event-based controllers for software engineering.
Nicolás D'Ippolito
2013 J jnl
Synthesizing nonanomalous event-based controllers for liveness goals.
ACM Trans. Softw. Eng. Methodol.
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2012 A* conf
Synthesis of event-based controllers: A software engineering challenge.
ICSE
Nicolás D'Ippolito
2012 B conf
The Modal Transition System Control Problem.
FM
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2012 J jnl
Weak Alphabet Merging of Partial Behavior Models.
ACM Trans. Softw. Eng. Methodol.
Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel
2011 A* conf
Synthesis of live behaviour models for fallible domains.
ICSE
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2010 — conf
Alloy+HotCore: A Fast Approximation to Unsat Core.
ASM
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
2010 — conf
Synthesis of live behaviour models.
SIGSOFT FSE
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2008 A* conf
MTSA: The Modal Transition System Analyser.
ASE
Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel
2007 — conf
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.
ETX
Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel