Personal profile
Profil Information text
Interests in Theoretical and Practical aspects of Web Services, Concurrency, Static Analyses, Security and Trust Based Systems. In particular, contributions on Session Types and Chore- ography for Web Services, Security and Expressivity of languages for concurrency resulting into several peer-reviewed publications in international journals and conferences.
Keywords
- Semantics
- Web services
- Session types
- Concurrency theory
- Concurrent software Verification
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Research output
-
A Sound and Complete Projection for Global Types.
Tirore, D. L., Bengtson, J. & Carbone, M., 2025, In: J. Autom. Reason.. 69, 2, p. 14 1 p., 2.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction.
Tirore, D. L., Bengtson, J. & Carbone, M., 25 Jun 2025, ECOP. p. 31:1-31:30 30 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
A Probabilistic Choreography Language for PRISM
Carbone, M. & Veschetti, A., 2024, LNCS. Springer, Vol. 14676. p. 20-37 18 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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, p. 149-158 9 p. (Lecture Notes in Computer Science, Vol. 14676).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
-
A Logical Interpretation of Asynchronous Multiparty Compatibility
Carbone, M., Marin, S. & Schürmann, C., 16 Oct 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Vol. 14330. (Lecture Notes in Computer Science, Vol. 14330).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access
-
PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
Independent Research Fund Denmark
01/04/2025 → 30/10/2028
Project: Research
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
Independent Research Fund Denmark
01/09/2021 → 30/10/2025
Project: Research
-
SAPienT: Safer AI with Probabilistic Session Types
Carbone, M. (PI)
01/02/2024 → 30/06/2024
Project: Research
-
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
02/01/2023 → 31/05/2024
Project: Other
-
Computer Supported Mobile Adaptive Business Processes
Hildebrandt, T. (PI), Bundgaard, M. (CoI), Glenstrup, A. J. (CoI), Carbone, M. (CoI), Højsgaard, E. (CoI) & Nilsson, M. (CoI)
Danish Council for Technology and Innovation
01/01/2007 → 01/10/2012
Project: Research
Press/Media
-
ITU-forskere vil højne sikkerheden i Whatsapp
02/12/2022
1 Media contribution
Press/Media: Press / Media
-
Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software
21/05/2021
1 Media contribution
Press/Media: Press / Media
-
Datasets
-
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
Tirore, D. (Creator), Bengtson, J. (Creator) & Carbone, M. (Creator), ZENODO, 27 Apr 2025
DOI: 10.5281/zenodo.15291182, https://zenodo.org/records/15291182
Dataset: Software
Activities
-
Asynchronous Session Types – Exceptions and Multiparty Interactions
Carbone, M. (Speaker)
31 Aug 2009Activity: Talk or presentation types › Lecture and oral contribution
File -
ICE 2011 – 4th Interaction and Concurrency Experience
Carbone, M. (Member of Programme Committee)
9 Jun 2011Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course