I agree that this site is using cookies. You can find further informations here.
X
Autili, Marco
23  results:
Articles (Online) X
Search for persons X
?
1

Studying users' perception of IoT mobile companion apps:

Scoccia, Gian Luca ; Eramo, Romina ; Autili, Marco
Pervasive and Mobile Computing.  92 (2023)  - p. 101786 , 2023
Link: https://doi.org/10.1016/..
 
?
2

An architectural style for scalable choreography-based micr..:

Filippone, Gianluca ; Pompilio, Claudio ; Autili, Marco.
Computing.  105 (2022)  9 - p. 1933-1956 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Enhancing Trustability of Android Applications via User-Cen..:

Scoccia, Gian Luca ; Malavolta, Ivano ; Autili, Marco..
IEEE Transactions on Software Engineering.  47 (2021)  10 - p. 2032-2051 , 2021
Link: https://doi.org/10.1109/..
 
?
4

Software engineering techniques for statically analyzing mo..:

Autili, Marco ; Malavolta, Ivano ; Perucci, Alexander..
Journal of Internet Services and Applications.  12 (2021)  1 - p. , 2021
Link: https://doi.org/10.1186/..
 
?
5

Synthesis of context‐aware business‐to‐business processes f..:

Filippone, Gianluca ; Autili, Marco ; Tivoli, Massimo
Journal of Software: Evolution and Process.  34 (2021)  10 - p. , 2021
Link: https://doi.org/10.1002/..
 
?
6

Trends and Challenges for Software Engineering in the Mobil..:

Baresi, Luciano ; Griswold, William G. ; Lewis, Grace A....
IEEE Software.  38 (2021)  1 - p. 88-96 , 2021
Link: https://doi.org/10.1109/..
 
?
7

CHOReVOLUTION: Service choreography in practice:

Autili, Marco ; Di Salle, Amleto ; Gallo, Francesco..
Science of Computer Programming.  197 (2020)  - p. 102498 , 2020
Link: https://doi.org/10.1016/..
 
?
8

Highly collaborative distributed systems: Synthesis and ena..:

Autili, Marco ; Perucci, Alexander ; Leite, Leonardo...
Concurrency and Computation: Practice and Experience.  33 (2020)  6 - p. , 2020
Link: https://doi.org/10.1002/..
 
?
9

Automated synthesis of application-layer connectors from au..:

Autili, Marco ; Inverardi, Paola ; Spalazzese, Romina..
Journal of Computer and System Sciences.  104 (2019)  - p. 17-40 , 2019
Link: https://doi.org/10.1016/..
 
?
10

A Choreography-Based and Collaborative Road Mobility System..:

Autili, Marco ; Di Salle, Amleto ; Gallo, Francesco..
Future Internet.  11 (2019)  6 - p. 132 , 2019
Link: https://doi.org/10.3390/..
 
?
11

Thematic series on Verification and Composition for the Int..:

Autili, Marco ; Giannakopoulou, Dimitra ; Tivoli, Massimo
Journal of Internet Services and Applications.  9 (2018)  1 - p. , 2018
Link: https://doi.org/10.1186/..
 
?
12

Choreography Realizability Enforcement through the Automati..:

Autili, Marco ; Inverardi, Paola ; Tivoli, Massimo
Science of Computer Programming.  160 (2018)  - p. 3-29 , 2018
Link: https://doi.org/10.1016/..
 
?
13

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

Autili, Marco ; Tivoli, Massimo ; Goldman, Alfredo
Journal of Internet Services and Applications.  7 (2016)  1 - p. , 2016
Link: https://doi.org/10.1186/..
 
?
14

A Tool-Supported Methodology for Validation and Refinement ..:

Autili, Marco ; Bertolino, Antonia ; De Angelis, Guglielmo..
IEEE Transactions on Software Engineering.  42 (2016)  1 - p. 2-25 , 2016
Link: https://doi.org/10.1109/..
 
?
15

Automated Synthesis of Service Choreographies:

Autili, Marco ; Inverardi, Paola ; Tivoli, Massimo
IEEE Software.  32 (2015)  1 - p. 50-57 , 2015
Link: https://doi.org/10.1109/..
 
1-15