Travelled to:1 × France
1 × India
1 × Singapore
1 × Switzerland
2 × Italy
3 × USA
Collaborated with:S.Uchitel V.A.Braberman N.Piterman G.Regis R.Degiovanni N.Aguirre ∅ D.Sykes I.Krka N.Medvidović D.Fischbein M.Chechik J.Kramer J.Magee
Talks about:system (6) synthesi (4) transit (4) control (4) model (3) modal (3) behaviour (2) fluent (2) analys (2) event (2)
Person: Nicolás D'Ippolito
DBLP: D'Ippolito:Nicol=aacute=s
Contributed to:
2015
201420142013201220122011
2010
2008
2017Wrote 10 papers:
- ICSE-v1-2015-RegisDDA #logic #specification
- Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
- FM-2014-KrkaDMU
- Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.
- ICSE-2014-DIppolitoBKMSU #adaptation #multi
- Hope for the best, prepare for the worst: multi-tier control for adaptive systems (ND, VAB, JK, JM, DS, SU), pp. 688–699.
- ICSE-2013-BrabermanDPSU #modelling #synthesis
- Controller synthesis: from modelling to enactment (VAB, ND, NP, DS, SU), pp. 1347–1350.
- FM-2012-DIppolitoBPU #problem
- The Modal Transition System Control Problem (ND, VAB, NP, SU), pp. 155–170.
- ICSE-2012-DIppolito #challenge #re-engineering #synthesis
- Synthesis of event-based controllers: A software engineering challenge (ND), pp. 1547–1550.
- ICSE-2011-DIppolitoBPU #behaviour #modelling #synthesis
- Synthesis of live behaviour models for fallible domains (ND, VAB, NP, SU), pp. 211–220.
- FSE-2010-DIppolitoBPU #behaviour #modelling #synthesis
- Synthesis of live behaviour models (ND, VAB, NP, SU), pp. 77–86.
- ASE-2008-DIppolitoFCU #named
- MTSA: The Modal Transition System Analyser (ND, DF, MC, SU), pp. 475–476.
- ESEC-FSE-2017-RegisDDA #lts #named
- CLTSA: labelled transition system analyser with counting fluent support (GR, RD, ND, NA), pp. 979–983.