Jacopo Mauro public CV

Jacopo Mauro

Associate Professor, Department of Mathematics and Computer Science (IMADA)
Associate Professor, Computer Science

Emailmauro@imada.sdu.dk
Websitehttps://imada.sdu.dk/~mauro/

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Jacopo Mauro is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.

39 Article in proceedings
12 Journal article
4 Book chapter
2 Conference article

Lazy product discovery in huge configuration spaces
Lienhardt, M., Damiani, F., Johnsen, E. B. & Mauro, J., 27. Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. Association for Computing Machinery, p. 1509-1521 3380372
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
SMT-based variability analyses in FeatureIDE
Sprey, J., Sunderman, C., Krieter, S., Nieke, M., Mauro, J., Thum, T. & Schaefer, I., Feb 2020, VAMOS '20: Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Association for Computing Machinery, 9 p. 6
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer VS, p. 118-138 (Lecture Notes in Computer Science, Vol. 11760).
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
On the modeling of optimal and automatized cloud application deployment
de Gouw, S., Mauro, J. & Zavattaro, G., Oct 2019, In : Journal of Logical and Algebraic Methods in Programming. 107, p. 108-135
Research output: Contribution to journal › Journal article › Research › peer-review
Optimal and automated deployment for microservices
Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2019, Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering. Hähnle, R. & van der Aalst, W. (eds.). Springer VS, p. 351-368 (Lecture Notes in Computer Science, Vol. 11424).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
133 Downloads (Pure)

1 Not started
2 Finished

Uddannelses- og Forskningsministeriet - International Network Programme - Digital Choreographies for Oil & Gas in the Arctic
Mauro, J.
01/01/2021 → 30/06/2021
Project: Research Councils
Center for Cybersikkerhed - Cybersikkerheds sommerskole
Mauro, J.
01/06/2019 → 31/12/2019
Project: Research
Forsvarsministeriet - Forsvarets Efterretningstjeneste - Center for Cybersikkerhed - CyberSecurity Days 2019
Mauro, J.
16/09/2019 → 31/12/2019
Project: Other Government Institutions