MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. - Nicolás D'Ippolito; Dario Fischbein; Howard Foster; Sebastián Uchitel (ETX, 2007)

MTSA: The Modal Transition System Analyser. - Nicolás D'Ippolito; Dario Fischbein; Marsha Chechik; Sebastián Uchitel (ASE, 2008)

Alloy+HotCore: A Fast Approximation to Unsat Core. - Nicolás D'Ippolito; Marcelo F. Frias; Juan P. Galeotti; Esteban Lanzarotti; Sergio Mera (ASM, 2010)

Synthesis of live behaviour models. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (SIGSOFT FSE, 2010)

Synthesis of live behaviour models for fallible domains. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (ICSE, 2011)

The Modal Transition System Control Problem. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (FM, 2012)

Synthesis of event-based controllers: A software engineering challenge. - Nicolás D'Ippolito (ICSE, 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)

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 (Software Engineering for Self-Adaptive Systems, 2013)

Controller synthesis: from modelling to enactment. - Víctor A. Braberman; Nicolás D'Ippolito; Nir Piterman; Daniel Sykes; Sebastián Uchitel (ICSE, 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)

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)

Synthesis of event-based controllers for software engineering. - Nicolás D'Ippolito (2013)

Controllability in Partial and Uncertain Environments. - Nicolás D'Ippolito; Víctor A. Braberman; Nir Piterman; Sebastián Uchitel (ACSD, 2014)

Revisiting Compatibility of Input-Output Modal Transition Systems. - Ivo Krka; Nicolás D'Ippolito; Nenad Medvidovic; Sebastián Uchitel (FM, 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 (ICSE, 2014)

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; et al. (SEAMS@ICSE, 2015)

Specifying Event-Based Systems with a Counting Fluent Temporal Logic. - Germán Regis; Renzo Degiovanni; Nicolás D'Ippolito; Nazareno Aguirre (ICSE (1), 2015)

Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. - Sebastian Sardiña; Nicolás D'Ippolito (IJCAI, 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 (CTSE@SIGSOFT FSE, 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 (CTSE@SIGSOFT FSE, 2015)

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 (CDC, 2016)

2½-player generalized reactivity (1) games. - Natalia Rodríguez; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel (CDC, 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 (SEAMS@ICSE, 2016)

Runtime controller synthesis for self-adaptation: be discrete! - Sebastián Uchitel; Víctor A. Braberman; Nicolás D'Ippolito (SEAMS@ICSE, 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)

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)

CLTSA: labelled transition system analyser with counting fluent support. - Germán Regis; Renzo Degiovanni; Nicolás D'Ippolito; Nazareno Aguirre (ESEC/SIGSOFT FSE, 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)

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; et al. (ACM Trans. Auton. Adapt. Syst., 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)

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)

Dynamic Reconfiguration of Business Processes. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Sebastián Uchitel (BPM, 2019)

Minimising Makespan of Discrete Controllers: A Qualitative Approach. - Ezequiel Castellano; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel; Kenji Tei (CDC, 2019)

Multi-Tier Automated Planning for Adaptive Behavior. - Daniel Alfredo Ciolek; Nicolás D'Ippolito; Alberto Pozanco; Sebastian Sardiña (ICAPS, 2020)

Multi-tier Automated Planning for Adaptive Behavior (Extended Version). - Daniel Alfredo Ciolek; Nicolás D'Ippolito; Alberto Pozanco; Sebastian Sardiña (CoRR, 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)

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)

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 (ACC, 2021)

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)

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)

Scaling Web API Integrations. - Guido Chari; Brandon Sheffer; S. R. K. Branavan; Nicolás D'Ippolito (ICSE-SEIP, 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)

Text Sanitization Beyond Specific Domains: Zero-Shot Redaction & Substitution with Large Language Models. - Federico Albanese; Daniel Ciolek; Nicolás D'Ippolito (CoRR, 2023)