Nicolás D'Ippolito

Orcid: 0000-0002-0612-4157

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

Scaling Web API Integrations.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022
Control and Discovery of Environment Behaviour.
IEEE Trans. Software Eng., 2022

Assured automatic dynamic reconfiguration of business processes.
Inf. Syst., 2022

2021
Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
Proceedings of the 2021 American Control Conference, 2021

2020
Dynamic Update of Discrete Event Controllers.
IEEE Trans. Software Eng., 2020

Compositional Supervisory Control via Reactive Synthesis and Automated Planning.
IEEE Trans. Autom. Control., 2020

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

Multi-Tier Automated Planning for Adaptive Behavior.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019
Minimising Makespan of Discrete Controllers: A Qualitative Approach.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Dynamic Reconfiguration of Business Processes.
Proceedings of the Business Process Management - 17th International Conference, 2019

2018
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis.
J. Artif. Intell. Res., 2018

2017
Interaction Models and Automated Control under Partial Observable Environments.
IEEE Trans. Software Eng., 2017

Control Strategies for Self-Adaptive Software Systems.
ACM Trans. Auton. Adapt. Syst., 2017

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

CLTSA: labelled transition system analyser with counting fluent support.
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).
NII Shonan Meet. Rep., 2016

Technical Report: Directed Controller Synthesis of Discrete Event Systems.
CoRR, 2016

Runtime controller synthesis for self-adaptation: be discrete!
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Assured and correct dynamic update of controllers.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

2½-player generalized reactivity (1) games.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Robust degradation and enhancement of robot mission behaviour in unpredictable environments.
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

MORPH: a reference architecture for configuration and behaviour self-adaptation.
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Specifying Event-Based Systems with a Counting Fluent Temporal Logic.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015


2014
Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
Proceedings of the 36th International Conference on Software Engineering, 2014

Revisiting Compatibility of Input-Output Modal Transition Systems.
Proceedings of the FM 2014: Formal Methods, 2014

Controllability in Partial and Uncertain Environments.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
Synthesis of event-based controllers for software engineering.
PhD thesis, 2013

Synthesizing nonanomalous event-based controllers for liveness goals.
ACM Trans. Softw. Eng. Methodol., 2013

Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev., 2013

Controller synthesis: from modelling to enactment.
Proceedings of the 35th International Conference on Software Engineering, 2013

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012
Weak Alphabet Merging of Partial Behavior Models.
ACM Trans. Softw. Eng. Methodol., 2012

Synthesis of event-based controllers: A software engineering challenge.
Proceedings of the 34th International Conference on Software Engineering, 2012

The Modal Transition System Control Problem.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Synthesis of live behaviour models for fallible domains.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Synthesis of live behaviour models.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Alloy+HotCore: A Fast Approximation to Unsat Core.
Proceedings of the Abstract State Machines, 2010

2008
MTSA: The Modal Transition System Analyser.
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.
Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007


  Loading...