Publikationer pr. år
Publikationer pr. år
Personlig profil
Forskningsområder
- Programmeringssprog og formelle modeller
- Metoder til softwareudvikling
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Marco Peressotti er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikationer
-
Better Late Than Never: A Fully-abstract Semantics for Classical Processes
Kokke, W., Montesi, F. & Peressotti, M., 1. jan. 2019, I: Proceedings of the ACM on Programming Languages. 3, POPL, s. 24:1-24:29 29 s., 24.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil302 Downloads (Pure) -
Behavioural equivalences for timed systems
Brengos, T. & Peressotti, M., 28. feb. 2019, I: Logical Methods in Computer Science. 15, 1, s. 17:1-17:41 41 s., 17.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil77 Downloads (Pure) -
JoT: A Jolie framework for testing microservices
Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Unwerawattana, N., feb. 2025, I: Science of Computer Programming. 240, 103215.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Choral: Object-oriented Choreographic Programming
Giallorenzo, S., Montesi, F. & Peressotti, M., 16. jan. 2024, I: ACM Transactions on Programming Languages and Systems. 46, 1, 59 s., 1.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Cybersikkerhed i forsyningskæderne: et område med manglende praksis
Stentoft, J., Peressotti, M. & Mayer, P., 18. okt. 2024, I: Magasinet kvalitet. 4, s. 26-30 5 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
12 Downloads (Pure)
Aktiviteter
-
Podcast - The SCM Agenda: Cybersecurity Awareness
Stentoft, J. (Underviser), Kjær, T. H. (Medforfatter), Peressotti, M. (Paneldeltager) & Mayer, P. (Paneldeltager)
11. jan. 2024Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
A logical reconstruction of the π-calculus and its behavioural theory
Peressotti, M. (Underviser)
17. sep. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
-
Choreographies as objects: programming multiparty protocols with Choral
Peressotti, M. (Underviser)
17. sep. 2020Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
-
Introduction to Formal Methods
Peressotti, M. (Underviser)
26. aug. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
-
A logical reconstruction of the π-calculus and its behavioural theory
Peressotti, M. (Underviser)
25. feb. 2020Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter
Projekter
- 3 Igangværende
-
PhD project: Mapping the Cybersecurity Landscape in Danish SMEs
Kankam-Boateng, J. (Ph.d.-studerende), Peressotti, M. (Vejleder) & Mayer, P. (Bivejleder)
15/03/2024 → 15/03/2027
Projekter: Projekt › Ph.d-projekt
-
Understanding DAOs challenges and opportunities for contrasting climate change
Sampó, G. (Ph.d.-studerende), Becker, M. (Vejleder), Baumann, O. (Projektdeltager) & Peressotti, M. (Bivejleder)
01/02/2024 → 31/01/2027
Projekter: Projekt › Ph.d-projekt
-
Cybersikkerhed og Forretningskontinuitet
Stentoft, J. (Projektleder), Schmitt, O. (Projektdeltager), Keating, V. (Projektdeltager), Theussen, A. (Projektdeltager), Peressotti, M. (Projektdeltager), Mayer, P. (Projektdeltager), Montesi, F. (Projektdeltager) & Unwerawattana, N. (Projektdeltager)
01/09/2023 → 28/02/2026
Projekter: Projekt › Forskning
Forskningsdatasæt
-
A Formal Theory of Choreographic Programming in Coq
Cruz-Filipe, L. (Ophavsmand), Montesi, F. (Ophavsmand) & Peressotti, M. (Ophavsmand), Zenodo, 5. sep. 2022
DOI: 10.5281/zenodo.7773479, https://zenodo.org/record/7773479
Datasæt
Presse/medie
Priser
-
Best Artefact Award
Giallorenzo, S. (Modtager), Montesi, F. (Modtager), Peressotti, M. (Modtager), Rademacher, F. (Modtager) & Unwerawattana, N. (Modtager), 22. jun. 2023
Pris: Priser, stipendier, udnævnelser
-
Distinguished Paper Award
Giallorenzo, S. (Modtager), Montesi, F. (Modtager), Peressotti, M. (Modtager), Salvaneschi, G. (Modtager), Weisenburger, P. (Modtager) & Richter, D. (Modtager), 2021
Pris: Priser, stipendier, udnævnelser