Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Autili, Marco
23
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
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
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/..
?
4
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/..
?
5
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/..
?
6
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/..
?
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
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/..
?
10
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/..
?
11
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/..
?
12
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/..
?
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
Aligning Qualitative, Real-Time, and Probabilistic Property..:
Autili, Marco
;
Grunske, Lars
;
Lumpe, Markus
..
IEEE Transactions on Software Engineering. 41 (2015) 7 - p. 620-638 , 2015
Link:
https://doi.org/10.1109/..
1-15