BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × China
1 × France
1 × Hungary
1 × Italy
1 × Russia
1 × United Kingdom
2 × USA
Collaborated with:
P.Inverardi M.Tivoli P.Pelliccione D.D.Ruscio A.D.Salle P.D.Benedetto A.Perucci A.Navarra L.Mostarda F.Mignosi R.Spalazzese V.Cortellessa
Talks about:
synthesi (4) base (4) choreographi (3) system (3) distribut (2) internet (2) approach (2) softwar (2) correct (2) automat (2)

♂ Person: Marco Autili

DBLP DBLP: Autili:Marco

Facilitated 1 volumes:

CBSE 2013PrCo

Contributed to:

LATA 20152015
CSMR-WCRE 20142014
FSE 20142014
ESEC/FSE 20132013
FASE 20132013
ESEC/FSE 20112011
FASE 20092009
ICSE 20072007
GT-VMT 20062008
ASE 20052005

Wrote 10 papers:

LATA-2015-AutiliIMST #automation #specification #synthesis
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (MA, PI, FM, RS, MT), pp. 3–24.
CSMR-WCRE-2014-AutiliIT #internet #named #scalability
CHOREOS: Large scale choreographies for the future internet (MA, PI, MT), pp. 391–394.
FSE-2014-AutiliRSP #internet #named
CHOReOSynt: enforcing choreography realizability in the future internet (MA, DDR, ADS, AP), pp. 723–726.
ESEC-FSE-2013-InverardiARPT #challenge #integration #research
Producing software by integration: challenges and research directions (PI, MA, DDR, PP, MT), pp. 2–12.
FASE-2013-AutiliRSIT #modelling #process #synthesis
A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.
ESEC-FSE-2011-AutiliCRIPT #named #nondeterminism #ubiquitous
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty (MA, VC, DDR, PI, PP, MT), pp. 488–491.
FASE-2009-AutiliBI #adaptation #approach
Context-Aware Adaptive Services: The PLASTIC Approach (MA, PDB, PI), pp. 124–139.
ICSE-2007-AutiliINT #automation #component #distributed #named #synthesis
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.
GT-VMT-2006-AutiliP08 #requirements #towards #visual notation
Towards a Graphical Tool for Refining User to System Requirements (MA, PP), pp. 147–157.
ASE-2005-InverardiMTA #adaptation #approach #automation #component #distributed #synthesis
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (PI, LM, MT, MA), pp. 405–409.

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.