E-LIB Suche - Ergebnisse für: Autili, Marco

1

Handling uncertainty in the specification of autonomous mul..:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Filippone, Gianluca ; Piñera García, Juan Antonio ; Autili, Marco. - p. 25-36 , 2024

Link: https://dl.acm.org/doi/1..

2

Handling Uncertainty in the Specification of Autonomous Mul..:

, In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Filippone, Gianluca ; Garcia, Juan Antonio Pinera ; Autili, Marco. - p. 25-36 , 2024

Link: https://doi.org/10.1145/..

3

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

4

Migrating from Monoliths to Microservices: Enforcing Correc..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW),

Autili, Marco ; Filippone, Gianluca ; Tivoli, Massimo - p. 113-118 , 2023

Link: https://doi.org/10.1109/..

5

Automated Negotiation - Preliminary Results of a Systematic..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW),

Memon, Mashal Afzal ; Scoccia, Gian Luca ; Autili, Marco - p. 94-99 , 2023

Link: https://doi.org/10.1109/..

6

5th International Workshop on Automated and Verifiable Soft..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW),

Autili, Marco ; Bucaioni, Alessio ; Filippone, Gianluca... - p. 9-10 , 2023

Link: https://doi.org/10.1109/..

7

From monolithic to microservice architecture: an automated ..:

, In: 2023 IEEE 20th International Conference on Software Architecture (ICSA),

Filippone, Gianluca ; Qaisar Mehmood, Nadeem ; Autili, Marco.. - p. 47-57 , 2023

Link: https://doi.org/10.1109/..

8

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

9

Software Engineering and Formal Methods. SEFM 2021 Collocat..

Lecture Notes in Computer Science, 13230

Cerone, Antonio ; Autili, Marco ; Bucaioni, Alessio... - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

10

An empirical study of privacy labels on the Apple iOS mobil..:

, In: Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems,

Scoccia, Gian Luca ; Autili, Marco ; Stilo, Giovanni. - p. 114-124 , 2022

Link: https://dl.acm.org/doi/1..

11

An empirical study of privacy labels on the Apple iOS mobil..:

, In: 2022 IEEE/ACM 9th International Conference on Mobile Software Engineering and Systems (MobileSoft),

Scoccia, Gian Luca ; Autili, Marco ; Stilo, Giovanni. - p. 114-124 , 2022

Link: https://doi.org/10.1145/..

12

Migration of Monoliths through the Synthesis of Microservic..:

, In: 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Filippone, Gianluca ; Autili, Marco ; Rossi, Fabrizio. - p. 144-147 , 2021

Link: https://doi.org/10.1109/..

13

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

14

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

15

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