Publikationer pr. år
Publikationer pr. år
Personlig profil
CV
N/A
Emneord
- Semantics
- Web services
- Session types
- Concurrency theory
- Concurrent software Verification
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Marco Carbone er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
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
-
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 -
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 jul. 2023, I: Leibniz International Proceedings in Informatics. 268, s. 28:1 28 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, I: Logical Methods in Computer Science. 17, 1, s. 1 20 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Security Protocols as Choreographies
Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, s. 98 111 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang
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
Presse/medier
-
-
Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software
21/05/2021
1 Mediebidrag
Presse/medie
-
-
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
-
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
02/01/2023 → 31/05/2024
Projekter: Projekt › Andet
-
Chords: Choreography-driven Programming and Security
Carbone, M. (PI) & Montesi, F. (CoI)
01/01/2011 → 31/12/2013
Projekter: Projekt › Forskning
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
01/09/2021 → 28/02/2025
Projekter: Projekt › Forskning