Research output per year
Research output per year
Personal profile
Curriculum
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
Dive into the research topics where Marco Carbone is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
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
-
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
-
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
-
BeHApi: Behavioral Application Program Interfaces
Carbone, M. (PI), Schürmann, C. (CoI) & Rafnsson, W. (CoI)
01/03/2018 → 31/12/2023
Project: Research
-
Chords: Choreography-driven Programming and Security
Carbone, M. (PI) & Montesi, F. (CoI)
Independent Research Fund Denmark
01/01/2011 → 31/12/2013
Project: Research
-
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
Project: Research
-
PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
Independent Research Fund Denmark
01/04/2025 → 30/10/2028
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