Research output per year
Research output per year
Personal profile
Keywords
- Programming Languages And formal Models
- Software Methodology
Fingerprint
Dive into the research topics where Marco Peressotti is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Researchers
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Better Late Than Never: A Fully-abstract Semantics for Classical Processes
Kokke, W., Montesi, F. & Peressotti, M., 1. Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, p. 24:1-24:29 29 p., 24.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile289 Downloads (Pure) -
Behavioural equivalences for timed systems
Brengos, T. & Peressotti, M., 28. Feb 2019, In: Logical Methods in Computer Science. 15, 1, p. 17:1-17:41 41 p., 17.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile67 Downloads (Pure) -
A Conceptual Framework for API Refactoring in Service-Oriented Architectures
Montesi, F., Peressotti, M., Picotti, V. & Zimmermann, O., 2025, Service-Oriented and Cloud Computing - 11th IFIP WG 6.12 European Conference, ESOCC 2025, Proceedings. Pahl, C., Janes, A., Cerny, T., Lenarduzzi, V. & Esposito, M. (eds.). Springer Science+Business Media, p. 181-196 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15547 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Europas digitale afhængighed truer vores sikkerhed. Men vi kan stadig genvinde suveræniteten
Peressotti, M., Keating, V. C. & Stentoft, J., 17. Mar 2025, In: Altinget.Research output: Contribution to journal › Contribution to newspaper - Feature article
-
Hvordan sikrer vi, at cybersikkerhed bliver taget alvorligt?
Stentoft, J., Keating, V. C., Peressotti, M. & Mayer, P., 6. Feb 2025, In: Jysk Fynske Medier, Erhverv +. p. 16 1 p.Research output: Contribution to journal › Contribution to newspaper - Feature article
Open Access18 Downloads (Pure)
Activities
-
Podcast - The SCM Agenda: Cybersecurity Awareness
Stentoft, J. (Guest lecturer), Kjær, T. H. (Co-author), Peressotti, M. (Panel member) & Mayer, P. (Panel member)
11. Jan 2024Activity: Talks and presentations › Talks and presentations in private or public companies
-
A logical reconstruction of the π-calculus and its behavioural theory
Peressotti, M. (Guest lecturer)
17. Sept 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
Choreographies as objects: programming multiparty protocols with Choral
Peressotti, M. (Guest lecturer)
17. Sept 2020Activity: Talks and presentations › Conference presentations
-
Introduction to Formal Methods
Peressotti, M. (Guest lecturer)
26. Aug 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
A logical reconstruction of the π-calculus and its behavioural theory
Peressotti, M. (Guest lecturer)
25. Feb 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
Mapping the Cybersecurity Landscape in Danish SMEs
Kankam-Boateng, J. (PhD student), Peressotti, M. (Supervisor) & Mayer, P. (Co-supervisor)
15/03/2024 → 15/03/2027
Project: PhD Project
-
Understanding DAOs challenges and opportunities for contrasting climate change
Sampó, G. (PhD student), Becker, M. (Supervisor), Baumann, O. (Project participant) & Peressotti, M. (Co-supervisor)
01/02/2024 → 31/01/2027
Project: PhD Project
-
Cybersikkerhed og Forretningskontinuitet
Stentoft, J. (Project manager), Schmitt, O. (Project participant), Keating, V. (Project participant), Theussen, A. (Project participant), Peressotti, M. (Project participant), Mayer, P. (Project participant), Montesi, F. (Project participant) & Unwerawattana, N. (Project participant)
01/09/2023 → 28/02/2026
Project: Research
-
Language Support for Microservices Development
Picotti, V. (PhD student), Montesi, F. (Principal supervisor) & Peressotti, M. (Co-supervisor)
29/10/2020 → 25/11/2024
Project: PhD Project
Datasets
-
A Formal Theory of Choreographic Programming in Coq
Cruz-Filipe, L. (Creator), Montesi, F. (Creator) & Peressotti, M. (Creator), Zenodo, 5. Sept 2022
DOI: 10.5281/zenodo.7773479, https://zenodo.org/record/7773479
Dataset
Press/Media
-
Hvordan sikrer vi, at cybersikkerhed bliver taget alvorligt?
06/02/2025
1 Media contribution
Press/Media: Press / Media
-
Hvordan sikrer vi, at cybersikkerhed bliver taget alvorligt?
06/02/2025
1 Media contribution
Press/Media: Press / Media
-
Hvordan sikrer vi, at cybersikkerhed bliver taget alvorligt?
06/02/2025
1 Media contribution
Press/Media: Press / Media
-
Hvordan sikrer vi, at cybersikkerhed bliver taget alvorligt?
06/02/2025
1 Media contribution
Press/Media: Press / Media
-
Hvordan sikrer vi, at cybersikkerhed bliver taget alvorligt?
06/02/2025
1 Media contribution
Press/Media: Press / Media
Prizes
-
Best Artefact Award
Giallorenzo, S. (Recipient), Montesi, F. (Recipient), Peressotti, M. (Recipient), Rademacher, F. (Recipient) & Unwerawattana, N. (Recipient), 22. Jun 2023
Prize: Prizes, scholarships, distinctions
-
Distinguished Paper Award
Giallorenzo, S. (Recipient), Montesi, F. (Recipient), Peressotti, M. (Recipient), Salvaneschi, G. (Recipient), Weisenburger, P. (Recipient) & Richter, D. (Recipient), 2021
Prize: Prizes, scholarships, distinctions