Personlig profil
Profil informationstekst
N/A
Emneord
- Semantics
- Web services
- Session types
- Concurrency theory
- Concurrent software Verification
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Publikation
-
A Sound and Complete Projection for Global Types.
Tirore, D. L., Bengtson, J. & Carbone, M., 2025, I: J. Autom. Reason.. 69, 2, s. 14 1 s., 2.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction.
Tirore, D. L., Bengtson, J. & Carbone, M., 25 jun. 2025, ECOP. s. 31:1-31:30 30 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
A Probabilistic Choreography Language for PRISM
Carbone, M. & Veschetti, A., 2024, LNCS. Springer, Bind 14676. s. 20-37 18 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
The Concurrent Calculi Formalisation Benchmark
Carbone, M., Castro-Perez, D., Ferreira, F., Gheri, L., Jacobsen, F. K., Momigliano, A., Padovani, L., Scalas, A., Tirore, D., Vassor, M., Yoshida, N. & Zackon, D., 11 jun. 2024, Coordination Models and Languages. Springer Nature Switzerland, s. 149-158 9 s. (Lecture Notes in Computer Science, Bind 14676).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
A Logical Interpretation of Asynchronous Multiparty Compatibility
Carbone, M., Marin, S. & Schürmann, C., 16 okt. 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Bind 14330. (Lecture Notes in Computer Science, Bind 14330).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang
-
Chords: Choreography-driven Programming and Security
Carbone, M. (PI) & Montesi, F. (CoI)
01/01/2011 → 31/12/2013
Projekter: Projekt › Forskning
-
PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
01/04/2025 → 30/10/2028
Projekter: Projekt › Forskning
-
Foundations of Declarative Model-driven Software Engineering for Distributed Process Aware
Hildebrandt, T. (PI), Slaats, T. (PI) & Carbone, M. (CoI)
Danish Council for Strategic Research
01/01/2012 → 31/12/2014
Projekter: Projekt › Forskning
-
BeHApi: Behavioral Application Program Interfaces
Carbone, M. (PI), Schürmann, C. (CoI) & Rafnsson, W. (CoI)
01/03/2018 → 31/12/2023
Projekter: Projekt › Forskning
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
01/09/2021 → 30/10/2025
Projekter: Projekt › Forskning
Presse/medier
-
-
Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software
21/05/2021
1 Mediebidrag
Presse/medie
-
Forskningsdatasæt
-
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
Tirore, D. (Ophavsmand), Bengtson, J. (Ophavsmand) & Carbone, M. (Ophavsmand), ZENODO, 27 apr. 2025
DOI: 10.5281/zenodo.15291182, https://zenodo.org/records/15291182
Datasæt: Software
Aktiviteter
-
Asynchronous Session Types – Exceptions and Multiparty Interactions
Carbone, M. (Oplægsholder)
31 aug. 2009Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
Fil -
ICE 2011 – 4th Interaction and Concurrency Experience
Carbone, M. (Member of Programme Committee)
9 jun. 2011Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus