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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, In: Logical Methods in Computer Science. 17, 1, p. 1 20 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
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, p. 98 111 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
A Sound Algorithm for Asynchronous Session Subtyping
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, In: Leibniz International Proceedings in Informatics. 140, p. 34:1–34:16Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
Declarative Choreographies and Liveness
Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., Jun 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, p. 129-147 19 p. (Lecture Notes in Computer Science, Vol. 11535).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
Choreographies, logically
Carbone, M., Montesi, F. & Schürmann, C., 2018, In: Distributed Computing. 31, 1, p. 51-67 17 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile
Activities
-
Asynchronous Session Types – Exceptions and Multiparty Interactions
Marco Carbone (Speaker)
31 Aug 2009Activity: Talk or presentation types › Lecture and oral contribution
File -
ICE 2011 – 4th Interaction and Concurrency Experience
Marco Carbone (Member of Programme Committee)
9 Jun 2011Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Press/Media
-
ITU-forskere vil højne sikkerheden i Whatsapp
Marco Carbone & Alessandro Bruni
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
-