BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: D'Ippolito:Nicol=aacute=s

Contributed to:

ICSE 20152015
FM 20142014
ICSE 20142014
ICSE 20132013
FM 20122012
ICSE 20122012
ICSE 20112011
FSE 20102010
ASE 20082008
ESEC/FSE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.