I agree that this site is using cookies. You can find further informations here.
X
Tivoli, Massimo
52  results:
OpenAccess-fulltext X
Search for persons X
?
1

CHOReVOLUTION: Hands-On In-Service Training for Choreograph..:

Autili, Marco ; Di Salle, Amleto ; Pompilio, Claudio.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-50029-0_1.  , 2020
Link: https://hal.inria.fr/hal..
 
?
2

CHOReVOLUTION: Automating the Realization of Highly–Collabo..:

Autili, Marco ; Salle, Amleto ; Gallo, Francesco..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-22397-7_6.  , 2019
Link: https://hal.inria.fr/hal..
 
?
3

Thematic series on service composition for the future inter..:

Autili, Marco ; Tivoli, Massimo ; Goldman, Alfredo
http://www.jisajournal.com/content/7/1/3.  , 2016
Link: http://www.jisajournal.c..
 
?
4

Automated Integration of Service-Oriented Software Systems:

Autili, Marco ; Inverardi, Paola ; Tivoli, Massimo
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-24644-4_2.  , 2015
Link: https://hal.inria.fr/hal..
 
?
5

Automated Integration of Service-Oriented Software Systems:

Autili, Marco ; Inverardi, Paola ; Tivoli, Massimo
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-24644-4_2.  , 2015
Link: https://hal.inria.fr/hal..
 
?
6

Proceedings 14th International Workshop on Foundations of C..:

Proença, José ; Tivoli, Massimo
http://arxiv.org/abs/1512.06947.  , 2015
Link: http://arxiv.org/abs/151..
 
?
7

Synthesis of correct adaptors for protocol enhancement in c..:

Autili, Marco ; Inverardi, Paola ; Tivoli, Massimo.
http://arxiv.org/abs/1504.07504.  , 2015
Link: http://arxiv.org/abs/150..
 
?
8

On the Automated Synthesis of Enterprise Integration Patter..:

Autili, Marco ; Di Salle, Amleto ; Perucci, Alexander.
http://arxiv.org/abs/1512.07682.  , 2015
Link: http://arxiv.org/abs/151..
 
?
9

Distributed Enforcement of Service Choreographies:

Autili, Marco ; Tivoli, Massimo
http://arxiv.org/abs/1502.03512.  , 2015
Link: http://arxiv.org/abs/150..
 
?
10

Automatic adaptor synthesis for protocol transformation:

Autili, Marco ; Inverardi, Paola ; Tivoli, Massimo
http://arxiv.org/abs/1412.0527.  , 2014
Link: http://arxiv.org/abs/141..
 
?
11

Experiment scenarios, prototypes and report - Iteration 2:

Andriescu, Emil ; Bennaceur, Amel ; Bertolino, Antonia...
info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT.  , 2012
Link: https://hal.inria.fr/hal..
 
?
12

Dynamic connector synthesis: revised prototype implementati..:

Bennaceur, Amel ; Cavallaro, Luca ; Inverardi, Paola...
info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT.  , 2012
Link: https://hal.inria.fr/hal..
 
?
13

Rephrasing interoperability in terms of connector behaviour:

Autili, Marco ; Chen, Taolue ; Chilton, Chris...
info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT.  , 2012
Link: https://inria.hal.scienc..
 
?
14

Project Final Report Final Publishable Summary Report:

Grousset, Emmanuelle ; Issarny, Valérie ; Bennaceur, Amel...
info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT.  , 2012
Link: https://hal.inria.fr/hal..
 
?
15

Automating Verification of Non-functional Properties:

Chilton, Chris ; Holık, Lukas ; Inverardi, Paola...
info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT.  , 2012
Link: https://hal.inria.fr/hal..
 
1-15