ask others

Nicolás D'Ippolito

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jair/DIppolitoRS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jair/DIppolitoRS18
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: 593-621 (2018)
2017
[j5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/taas/FilieriMADGHHJK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/taas/FilieriMADGHHJK17
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. TAAS 11(4): 24:1-24:31 (2017)
[j4]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/CiolekBDPU17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/CiolekBDPU17
Daniel 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): 19-33 (2017)
[c22]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/RegisDDA17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/RegisDDA17
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre:
CLTSA: labelled transition system analyser with counting fluent support. ESEC/SIGSOFT FSE 2017: 979-983
[i4]
- view
  - electronic edition @ nii.ac.jp
- export record
  dblp key:
  - journals/shonan-reports/GarlanDT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/shonan-reports/GarlanDT17
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)
2016
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cdc/CiolekBDU16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cdc/CiolekBDU16
Daniel 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: 4764-4769
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cdc/RodriguezBDU16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cdc/RodriguezBDU16
Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel:
2½-player generalized reactivity (1) games. CDC 2016: 6996-7001
[c19]
- view
  - electronic edition @ acm.org
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icse/UchitelBD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/UchitelBD16
Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito:
Runtime controller synthesis for self-adaptation: be discrete! SEAMS@ICSE 2016: 1-3
[c18]
- view
  - electronic edition @ acm.org
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icse/NahabedianBDHKT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/NahabedianBDHKT16
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: 96-107
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CiolekBDU16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CiolekBDU16
Daniel Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel:
Technical Report: Directed Controller Synthesis of Discrete Event Systems. CoRR abs/1605.09772 (2016)
[i2]
- view
  - electronic edition @ nii.ac.jp
- export record
  dblp key:
  - journals/shonan-reports/TeiDI16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/shonan-reports/TeiDI16
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)
2015
[c17]
- view
- export record
  dblp key:
  - conf/icse/FilieriMADGHHJK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/FilieriMADGHHJK15
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: 71-82
[c16]
- view
- export record
  dblp key:
  - conf/icse/RegisDDA15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/RegisDDA15
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre:
Specifying Event-Based Systems with a Counting Fluent Temporal Logic. ICSE (1) 2015: 733-743
[c15]
- view
  - electronic edition @ ijcai.org
- export record
  dblp key:
  - conf/ijcai/SardinaD15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/SardinaD15
Sebastian Sardiña, Nicolás D'Ippolito:
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. IJCAI 2015: 3200-3206
[c14]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/BrabermanDKSU15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/BrabermanDKSU15
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: 9-16
[c13]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/DIppolitoBSU15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/DIppolitoBSU15
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: 26-33
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BrabermanDKSU15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BrabermanDKSU15
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 abs/1504.08339 (2015)
2014
[c12]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsd/DIppolitoBPU14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsd/DIppolitoBPU14
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Controllability in Partial and Uncertain Environments. ACSD 2014: 52-61
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/KrkaDMU14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/KrkaDMU14
Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel:
Revisiting Compatibility of Input-Output Modal Transition Systems. FM 2014: 367-381
[c10]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/DIppolitoBKMSU14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/DIppolitoBKMSU14
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: 688-699
2013
[b1]
- view
  - electronic edition @ bl.uk
- export record
  dblp key:
  - phd/ethos/DIppolito13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/ethos/DIppolito13
Nicolás D'Ippolito:
Synthesis of event-based controllers for software engineering. Imperial College London, UK 2013
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ife/UchitelABBCCDFGKRS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ife/UchitelABBCCDFGKRS13
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. Computer Science - R&D 28(4): 279-293 (2013)
[j2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tosem/DIppolitoBPU13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tosem/DIppolitoBPU13
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): 9:1-9:36 (2013)
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/BrabermanDKSU13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/BrabermanDKSU13
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: 377-408
[c8]
- view
- export record
  dblp key:
  - conf/icse/BrabermanDPSU04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/BrabermanDPSU04
Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel:
Controller synthesis: from modelling to enactment. ICSE 2013: 1347-1350
2012
[j1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tosem/FischbeinDBCU12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tosem/FischbeinDBCU12
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): 9:1-9:47 (2012)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/DIppolitoBPU12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/DIppolitoBPU12
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
The Modal Transition System Control Problem. FM 2012: 155-170
[c6]
- view
- export record
  dblp key:
  - conf/icse/DIppolito12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/DIppolito12
Nicolás D'Ippolito:
Synthesis of event-based controllers: A software engineering challenge. ICSE 2012: 1547-1550
2011
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/DIppolitoBPU11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/DIppolitoBPU11
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220
2010
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/DIppolitoFGLM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/DIppolitoFGLM10
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera:
Alloy+HotCore: A Fast Approximation to Unsat Core. ASM 2010: 160-173
[c3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/DIppolitoBPU10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/DIppolitoBPU10
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/kbse/DIppolitoFCU08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/DIppolitoFCU08
Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel:
MTSA: The Modal Transition System Analyser. ASE 2008: 475-476
2007
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/eclipse/DIppolitoFFU07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eclipse/DIppolitoFFU07
Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel:
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ETX 2007: 6-10

Coauthor Index

see FAQ

maintained by

at