Marco Carbone

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 26

Top Topics

Heterogeneous Systems

Top Venues

Publications

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
The Concurrent Calculi Formalisation Benchmark. COORDINATION (2024)
Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports 14 (1) (2024)
Marco Carbone, Adele Veschetti
A Probabilistic Choreography Language for PRISM. COORDINATION (2024)
Marco Carbone, Sonia Marin, Carsten Schürmann
A Logical Interpretation of Asynchronous Multiparty Compatibility. CoRR (2023)
Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone
A Sound and Complete Projection for Global Types. ITP (2023)
Marco Carbone, Sonia Marin, Carsten Schürmann
A Logical Interpretation of Asynchronous Multiparty Compatibility. LOPSTR (2023)
Marco Carbone, Sonia Marin, Carsten Schürmann
Forwarders as Process Compatibility, Logically. CoRR (2021)
Marco Carbone, Sonia Marin, Carsten Schürmann
Synchronous Forwarders. CoRR (2021)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17 (1) (2021)
Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
Security Protocols as Choreographies. Protocols, Strands, and Logic (2021)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR (2019)
Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
Declarative Choreographies and Liveness. FORTE (2019)
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
Choreographies for Reactive Programming. CoRR (2018)
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
Multiparty Classical Choreographies. CoRR (2018)
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
Multiparty Classical Choreographies. LOPSTR (2018)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann
Choreographies, logically. Distributed Comput. 31 (1) (2018)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. 722 (2018)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR (2017)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Undecidability of asynchronous session subtyping. Inf. Comput. 256 (2017)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
Multiparty session types as coherence proofs. Acta Informatica 54 (3) (2017)
Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich
Editorial. Formal Aspects Comput. 28 (4) (2016)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Undecidability of Asynchronous Session Subtyping. CoRR (2016)
Kohei Honda, Nobuko Yoshida, Marco Carbone
Multiparty Asynchronous Session Types. J. ACM 63 (1) (2016)
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR (2016)
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100 (2015)
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109 (2015)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
Multiparty Session Types as Coherence Proofs. CONCUR (2015)
Marco Carbone, Ornela Dardha, Fabrizio Montesi
Progress as Compositional Lock-Freedom. COORDINATION (2014)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann
Choreographies, Logically. CONCUR (2014)
Marco Carbone, Joshua D. Guttman
Sessions and Separability in Security Protocols. POST (2013)
Marco Carbone, Fabrizio Montesi
Deadlock-freedom-by-design: multiparty asynchronous global programming. POPL (2013)
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
Towards Global and Local Types for Adaptation. SEFM Workshops (2013)
Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær
ICT-powered Health Care Processes - (Position Paper). FHIES (2013)
Marco Carbone, Kohei Honda, Nobuko Yoshida
Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34 (2) (2012)
Marco Carbone, Fabrizio Montesi
Merging Multiparty Protocols in Multiparty Choreographies PLACES (2012)
Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva
Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. 22 (1) (2012)
Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski
Refinement for Transition Systems with Responses FIT (2012)
Fabrizio Montesi, Marco Carbone
Programming Services with Correlation Sets. ICSOC (2011)
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López
A Logic for Choreographies PLACES (2010)
David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM (2010)
Marco Carbone, Søren Debois
A Graphical Approach to Progress for Structured Communication in Web Services ICE (2010)
Marco Carbone, Pawel Sobocinski, Frank D. Valencia
Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410 (41) (2009)
Marco Carbone
Session-based Choreography with Exceptions. Electron. Notes Theor. Comput. Sci. 241 (2009)
Marco Carbone, Nobuko Yoshida, Kohei Honda
Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM (2009)
Marco Carbone, Joshua D. Guttman
Execution Models for Choreographies and Cryptoprotocols PLACES (2009)
Marco Carbone, Joshua D. Guttman
Choreographies with Secure Boxes and Compromised Principals ICE (2009)
Marco Carbone, Kohei Honda, Nobuko Yoshida
Theoretical Aspects of Communication-Centred Programming. Electron. Notes Theor. Comput. Sci. 209 (2008)
Marco Carbone, Kohei Honda, Nobuko Yoshida
Structured Interactional Exceptions in Session Types. CONCUR (2008)
Kohei Honda, Nobuko Yoshida, Marco Carbone
Multiparty asynchronous session types. POPL (2008)
Marco Carbone, Kohei Honda, Nobuko Yoshida
A Calculus of Global Interaction based on Session Types. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)
Marco Carbone, Kohei Honda, Nobuko Yoshida
Structured Communication-Centred Programming for Web Services. ESOP (2007)
Kohei Honda, Nobuko Yoshida, Marco Carbone
Web Services, Mobile Processes and Types. Bull. EATCS 91 (2007)
Francesco Amato, Marco Ariola, Marco Carbone, Carlo Cosentino
Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions. CDC (2006)
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
A Calculus for Trust Management. FSTTCS (2004)
Francesco Amato, Marco Ariola, Marco Carbone, Carlo Cosentino
Control of linear discrete-time systems over a finite-time interval. CDC (2004)
Marco Carbone, Ya'akov Gal, Stuart M. Shieber, Barbara J. Grosz
Unifying Annotated Discourse Hierarchies to Create a Gold Standard. SIGDIAL Workshop (2004)
Francesco Amato, Marco Carbone, Marco Ariola, Carlo Cosentino
Finite-time stability of discrete-time systems. ACC (2004)
Vinny Cahill, Elizabeth Gray, Jean-Marc Seigneur, Christian Damsgaard Jensen, Yong Chen, Brian Shand, Nathan Dimmock, Andrew Twigg, Jean Bacon, Colin English, Waleed Wagealla, Sotirios Terzis, Paddy Nixon, Giovanna Di Marzo Serugendo, Ciarán Bryce, Marco Carbone, Karl Krukow, Mogens Nielsen
Using Trust for Secure Collaboration in Uncertain Environments. IEEE Pervasive Comput. 2 (3) (2003)
Marco Carbone, Sergio Maffeis
On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10 (2) (2003)
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
A Formal Model for Trust in Dynamic Networks. SEFM (2003)
Marco Carbone, Sergio Maffeis
On the Expressive Power of Polyadic Synchronisation in pi-calculus. EXPRESS (2002)