MAURO, JACOPO
MAURO, JACOPO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
Leveraging static analysis for cost-aware serverless scheduling policies
2025 De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G.
On the Potential Cosmogenic Origin of the Ultra-high-energy Event KM3-230213A
2025 Adriani, O.; Aiello, S.; Albert, A.; Alhebsi, A. R.; Alshamsi, M.; Alves Garre, S.; Ambrosone, A.; Ameli, F.; Andre, M.; Aphecetche, L.; Ardid, M.; Ardid, S.; Argüelles, C.; Aublin, J.; Badaracco, F.; Bailly-Salins, L.; Bardačová, Z.; Baret, B.; Bariego-Quintana, A.; Becherini, Y.; Bendahman, M.; Benfenati Gualandi, F.; Benhassi, M.; Bennani, M.; Benoit, D. M.; Berbee, E.; Berti, E.; Bertin, V.; Betti, P.; Biagi, S.; Boettcher, M.; Bonanno, D.; Bottai, S.; Bouasla, A. B.; Boumaaza, J.; Bouta, M.; Bouwhuis, M.; Bozza, C.; Bozza, R. M.; Brânzaş, H.; Bretaudeau, F.; Breuhaus, M.; Bruijn, R.; Brunner, J.; Bruno, R.; Buis, E.; Buompane, R.; Busto, J.; Caiffi, B.; Calvo, D.; Capone, A.; Carenini, F.; Carretero, V.; Cartraud, T.; Castaldi, P.; Cecchini, V.; Celli, S.; Cerisy, L.; Chabab, M.; Chen, A.; Cherubini, S.; Chiarusi, T.; Circella, M.; Clark, R.; Cocimano, R.; Coelho, J. A. B.; Coleiro, A.; Condorelli, A.; Coniglione, R.; Coyle, P.; Creusot, A.; Cuttone, G.; Dallier, R.; De Benedittis, A.; De Wasseige, G.; Decoene, V.; Deguire, P.; Del Rosso, I.; Di Mauro, L. S.; Di Palma, I.; Díaz, A. F.; Diego-Tortosa, D.; Distefano, C.; Domi, A.; Donzaud, C.; Dornic, D.; Drakopoulou, E.; Drouhin, D.; Ducoin, J. -G.; Duverne, P.; Dvornický, R.; Eberl, T.; Eckerová, E.; Eddymaoui, A.; van Eeden, T.; Eff, M.; van Eijk, D.; El Bojaddaini, I.; El Hedri, S.; El Mentawi, S.; Ellajosyula, V.; Enzenhöfer, A.; Ferrara, G.; Filipović, M. D.; Filippini, F.; Franciotti, D.; Fusco, L. A.; Gal, T.; Méndez, J. García; Garcia Soto, A.; Oliver, C. Gatius; Geisselbrecht, N.; Genton, E.; Ghaddari, H.; Gialanella, L.; Gibson, B. K.; Giorgio, E.; Goos, I.; Goswami, P.; Gozzini, S. R.; Gracia, R.; Guidi, C.; Guillon, B.; Gutiérrez, M.; Haack, C.; van Haren, H.; Heijboer, A.; Hennig, L.; Hernández-Rey, J. J.; Idrissi, A.; Ibnsalih, W. Idrissi; Illuminati, G.; Janik, O.; Joly, D.; de Jong, M.; de Jong, P.; Jung, B. J.; Kalaczyński, P.; Kamp, N.; Keegans, J.; Kikvadze, V.; Kistauri, G.; Kopper, C.; Kouchner, A.; Kovalev, Y. Y.; Krupa, L.; Kueviakoe, V.; Kulikovskiy, V.; Kvatadze, R.; Labalme, M.; Lahmann, R.; Lamoureux, M.; Larosa, G.; Lastoria, C.; Lazar, J.; Lazo, A.; Le Stum, S.; Lehaut, G.; Lemaître, V.; Leonora, E.; Lessing, N.; Levi, G.; Clark, M. Lindsey; Longhitano, F.; Magnani, F.; Majumdar, J.; Malerba, L.; Mamedov, F.; Manfreda, A.; Manousakis, A.; Marconi, M.; Margiotta, A.; Marinelli, A.; Markou, C.; Martin, L.; Mastrodicasa, M.; Mastroianni, S.; Mauro, J.; Mehta, K. C. K.; Meskar, A.; Miele, G.; Migliozzi, P.; Migneco, E.; Mitsou, M. L.; Mollo, C. M.; Morales-Gallegos, L.; Mori, N.; Moussa, A.; Mateo, I. Mozun; Muller, R.; Musone, M. R.; Musumeci, M.; Navas, S.; Nayerhoda, A.; Nicolau, C. A.; Nkosi, B.; Fearraigh, B. Ó; Oliviero, V.; Orlando, A.; Oukacha, E.; Pacini, L.; Paesani, D.; González, J. Palacios; Papalashvili, G.; Papini, P.; Parisi, V.; Parmar, A.; Gomez, E. J. Pastor; Pastore, C.; Păun, A. M.; Păvălaş, G. E.; Martínez, S. Peña; Perrin-Terrin, M.; Pestel, V.; Pestes, R.; Petropavlova, M.; Piattelli, P.; Plavin, A.; Poirè, C.; Popa, V.; Pradier, T.; Prado, J.; Pulvirenti, S.; Quiroz-Rangel, C. A.; Randazzo, N.; Ratnani, A.; Razzaque, S.; Rea, I. C.; Real, D.; Riccobene, G.; Robinson, J.; Romanov, A.; Ros, E.; Šaina, A.; Salesa Greus, F.; Samtleben, D. F. E.; Losa, A. Sánchez; Sanfilippo, S.; Sanguineti, M.; Santonocito, D.; Sapienza, P.; Scaringella, M.; Scarnera, M.; Schnabel, J.; Schumann, J.; Schutte, H. M.; Seneca, J.; Sennan, N.; Myhr, P. A. Sevle; Sgura, I.; Shanidze, R.; Sharma, A.; Shitov, Y.; Šimkovic, F.; Simonelli, A.; Sinopoulou, A.; Spisso, B.; Spurio, M.; Starodubtsev, O.; Stavropoulos, D.; Štekl, I.; Stocco, D.; Taiuti, M.; Takadze, G.; Tayalati, Y.; Thiersen, H.; Thoudam, S.; e Melo, I. Tosta; Trocmé, B.; Tsourapis, V.; Tzamariudaki, E.; Ukleja, A.; Vacheret, A.; Valsecchi, V.; Van Elewyck, V.; Vannoye, G.; Vannuccini, E.; Vasileiadis, G.; de Sola, F. Vazquez; Veutro, A.; Viola, S.; Vivolo, D.; van Vliet, A.; Wen, A. Y.; de Wolf, E.; Lhenry-Yvon, I.; Zavatarelli, S.; Zegarelli, A.; Zito, D.; Zornoza, J. D.; Zúniga, J.; Zywucka, N.; Null, Null
Formally Verifying Function Scheduling Properties in Serverless Applications
2023 Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
On the Evaluation of (Meta-)solver Approaches
2023 Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling
2022 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract)
2022 Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
sunny-as2: Enhancing SUNNY for Algorithm Selection
2021 Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
2019 Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J.
On the modeling of optimal and automatized cloud application deployment
2019 de Gouw, Stijn; Mauro, Jacopo; Zavattaro, Gianluigi
Programming adaptive microservice applications: An AIOCJ tutorial
2017 Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M.
Declarative elasticity in ABS
2016 de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi
On the expressiveness of synchronization in component deployment
2016 Mauro, Jacopo; Zavattaro, Gianluigi
Automatic application deployment in the cloud: From practice to theory and back
2015 Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Automatic deployment of component-based applications
2015 Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi
Automatic Deployment of Services in the Cloud with Aeolus Blender
2015 Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Developing correct, distributed, adaptive software
2015 Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
On the complexity of reconfiguration in systems with legacy components
2015 Mauro, Jacopo; Zavattaro, Gianluigi
On the integration of automatic deployment into the ABS modeling language
2015 De Gouw, Stijn; Lienhardt, Michael; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi
SUNNY for algorithm selection: A preliminary study
2015 Amadini R.; Biselli F.; Gabbrielli M.; Liu T.; Mauro J.
Aeolus: A component model for the cloud
2014 Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Leveraging static analysis for cost-aware serverless scheduling policies | De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G. | 2025-01-01 | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | - | 1.01 Articolo in rivista | main.pdf |
On the Potential Cosmogenic Origin of the Ultra-high-energy Event KM3-230213A | Adriani, O.; Aiello, S.; Albert, A.; Alhebsi, A. R.; Alshamsi, M.; Alves Garre, S.; Ambrosone, A....; Ameli, F.; Andre, M.; Aphecetche, L.; Ardid, M.; Ardid, S.; Argüelles, C.; Aublin, J.; Badaracco, F.; Bailly-Salins, L.; Bardačová, Z.; Baret, B.; Bariego-Quintana, A.; Becherini, Y.; Bendahman, M.; Benfenati Gualandi, F.; Benhassi, M.; Bennani, M.; Benoit, D. M.; Berbee, E.; Berti, E.; Bertin, V.; Betti, P.; Biagi, S.; Boettcher, M.; Bonanno, D.; Bottai, S.; Bouasla, A. B.; Boumaaza, J.; Bouta, M.; Bouwhuis, M.; Bozza, C.; Bozza, R. M.; Brânzaş, H.; Bretaudeau, F.; Breuhaus, M.; Bruijn, R.; Brunner, J.; Bruno, R.; Buis, E.; Buompane, R.; Busto, J.; Caiffi, B.; Calvo, D.; Capone, A.; Carenini, F.; Carretero, V.; Cartraud, T.; Castaldi, P.; Cecchini, V.; Celli, S.; Cerisy, L.; Chabab, M.; Chen, A.; Cherubini, S.; Chiarusi, T.; Circella, M.; Clark, R.; Cocimano, R.; Coelho, J. A. B.; Coleiro, A.; Condorelli, A.; Coniglione, R.; Coyle, P.; Creusot, A.; Cuttone, G.; Dallier, R.; De Benedittis, A.; De Wasseige, G.; Decoene, V.; Deguire, P.; Del Rosso, I.; Di Mauro, L. S.; Di Palma, I.; Díaz, A. F.; Diego-Tortosa, D.; Distefano, C.; Domi, A.; Donzaud, C.; Dornic, D.; Drakopoulou, E.; Drouhin, D.; Ducoin, J. -G.; Duverne, P.; Dvornický, R.; Eberl, T.; Eckerová, E.; Eddymaoui, A.; van Eeden, T.; Eff, M.; van Eijk, D.; El Bojaddaini, I.; El Hedri, S.; El Mentawi, S.; Ellajosyula, V.; Enzenhöfer, A.; Ferrara, G.; Filipović, M. D.; Filippini, F.; Franciotti, D.; Fusco, L. A.; Gal, T.; Méndez, J. García; Garcia Soto, A.; Oliver, C. Gatius; Geisselbrecht, N.; Genton, E.; Ghaddari, H.; Gialanella, L.; Gibson, B. K.; Giorgio, E.; Goos, I.; Goswami, P.; Gozzini, S. R.; Gracia, R.; Guidi, C.; Guillon, B.; Gutiérrez, M.; Haack, C.; van Haren, H.; Heijboer, A.; Hennig, L.; Hernández-Rey, J. J.; Idrissi, A.; Ibnsalih, W. Idrissi; Illuminati, G.; Janik, O.; Joly, D.; de Jong, M.; de Jong, P.; Jung, B. J.; Kalaczyński, P.; Kamp, N.; Keegans, J.; Kikvadze, V.; Kistauri, G.; Kopper, C.; Kouchner, A.; Kovalev, Y. Y.; Krupa, L.; Kueviakoe, V.; Kulikovskiy, V.; Kvatadze, R.; Labalme, M.; Lahmann, R.; Lamoureux, M.; Larosa, G.; Lastoria, C.; Lazar, J.; Lazo, A.; Le Stum, S.; Lehaut, G.; Lemaître, V.; Leonora, E.; Lessing, N.; Levi, G.; Clark, M. Lindsey; Longhitano, F.; Magnani, F.; Majumdar, J.; Malerba, L.; Mamedov, F.; Manfreda, A.; Manousakis, A.; Marconi, M.; Margiotta, A.; Marinelli, A.; Markou, C.; Martin, L.; Mastrodicasa, M.; Mastroianni, S.; Mauro, J.; Mehta, K. C. K.; Meskar, A.; Miele, G.; Migliozzi, P.; Migneco, E.; Mitsou, M. L.; Mollo, C. M.; Morales-Gallegos, L.; Mori, N.; Moussa, A.; Mateo, I. Mozun; Muller, R.; Musone, M. R.; Musumeci, M.; Navas, S.; Nayerhoda, A.; Nicolau, C. A.; Nkosi, B.; Fearraigh, B. Ó; Oliviero, V.; Orlando, A.; Oukacha, E.; Pacini, L.; Paesani, D.; González, J. Palacios; Papalashvili, G.; Papini, P.; Parisi, V.; Parmar, A.; Gomez, E. J. Pastor; Pastore, C.; Păun, A. M.; Păvălaş, G. E.; Martínez, S. Peña; Perrin-Terrin, M.; Pestel, V.; Pestes, R.; Petropavlova, M.; Piattelli, P.; Plavin, A.; Poirè, C.; Popa, V.; Pradier, T.; Prado, J.; Pulvirenti, S.; Quiroz-Rangel, C. A.; Randazzo, N.; Ratnani, A.; Razzaque, S.; Rea, I. C.; Real, D.; Riccobene, G.; Robinson, J.; Romanov, A.; Ros, E.; Šaina, A.; Salesa Greus, F.; Samtleben, D. F. E.; Losa, A. Sánchez; Sanfilippo, S.; Sanguineti, M.; Santonocito, D.; Sapienza, P.; Scaringella, M.; Scarnera, M.; Schnabel, J.; Schumann, J.; Schutte, H. M.; Seneca, J.; Sennan, N.; Myhr, P. A. Sevle; Sgura, I.; Shanidze, R.; Sharma, A.; Shitov, Y.; Šimkovic, F.; Simonelli, A.; Sinopoulou, A.; Spisso, B.; Spurio, M.; Starodubtsev, O.; Stavropoulos, D.; Štekl, I.; Stocco, D.; Taiuti, M.; Takadze, G.; Tayalati, Y.; Thiersen, H.; Thoudam, S.; e Melo, I. Tosta; Trocmé, B.; Tsourapis, V.; Tzamariudaki, E.; Ukleja, A.; Vacheret, A.; Valsecchi, V.; Van Elewyck, V.; Vannoye, G.; Vannuccini, E.; Vasileiadis, G.; de Sola, F. Vazquez; Veutro, A.; Viola, S.; Vivolo, D.; van Vliet, A.; Wen, A. Y.; de Wolf, E.; Lhenry-Yvon, I.; Zavatarelli, S.; Zegarelli, A.; Zito, D.; Zornoza, J. D.; Zúniga, J.; Zywucka, N.; Null, Null | 2025-01-01 | THE ASTROPHYSICAL JOURNAL LETTERS | - | 1.01 Articolo in rivista | - |
Formally Verifying Function Scheduling Properties in Serverless Applications | Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2023-01-01 | IT PROFESSIONAL | - | 1.01 Articolo in rivista | 10411728.pdf |
On the Evaluation of (Meta-)solver Approaches | Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro | 2023-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | 14102wPg#s.pdf |
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | icws2022.pdf |
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) | Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2022-01-01 | - | - | 4.02 Riassunto (Abstract) | 0804.pdf |
sunny-as2: Enhancing SUNNY for Algorithm Selection | Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2021-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | sminton,+13116-Article+(PDF)-28464-1-11-20211006+(1).pdf |
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies | Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J. | 2019-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | postPrintWithPreface.pdf |
On the modeling of optimal and automatized cloud application deployment | de Gouw, Stijn; Mauro, Jacopo; Zavattaro, Gianluigi | 2019-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
Programming adaptive microservice applications: An AIOCJ tutorial | Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M. | 2017-01-01 | - | River Publishers | 2.01 Capitolo / saggio in libro | main.pdf; bookBETTY-AIOCJ.pdf |
Declarative elasticity in ABS | de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi | 2016-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
On the expressiveness of synchronization in component deployment | Mauro, Jacopo; Zavattaro, Gianluigi | 2016-01-01 | - | Springer Verlag | 2.01 Capitolo / saggio in libro | - |
Automatic application deployment in the cloud: From practice to theory and back | Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; ...Zwolakowski, Jakub | 2015-01-01 | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
Automatic deployment of component-based applications | Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi | 2015-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642315001409-main.pdf |
Automatic Deployment of Services in the Cloud with Aeolus Blender | Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwol...akowski, Jakub | 2015-01-01 | - | Lecture Notes in Computer Science - Springer | 4.01 Contributo in Atti di convegno | - |
Developing correct, distributed, adaptive software | Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo | 2015-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
On the complexity of reconfiguration in systems with legacy components | Mauro, Jacopo; Zavattaro, Gianluigi | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
On the integration of automatic deployment into the ABS modeling language | De Gouw, Stijn; Lienhardt, Michael; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi | 2015-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
SUNNY for algorithm selection: A preliminary study | Amadini R.; Biselli F.; Gabbrielli M.; Liu T.; Mauro J. | 2015-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | - |
Aeolus: A component model for the cloud | Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G. | 2014-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |