Marco Peressotti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
10
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CHI | 'It's Confusing, Insecure, and Messy' - Mapping the Gaps Between Stakeholders' Cybersecurity Mental Models in the Danish Defence Sector. | Judith Kankam-Boateng, Marco Peressotti, Jan Stentoft, Kent Adsbll Wickstrm, Vincent Charles Keating, Louise Alison Tumchewics, Olivier Schmitt, Amelie Theussen, Peter Mayer |
| 2024 | ECOOP | Ozone: Fully Out-of-Order Choreographies. | Dan Plyukhin, Marco Peressotti, Fabrizio Montesi |
| 2024 | ICSOC | Choreography-Defined Networks: A Case Study on DoS Mitigation. | Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini |
| 2024 | ICSOC | A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh, Philip Wizenty |
| 2023 | Coordination | Reasoning About Choreographic Programs. | Lus Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti |
| 2023 | Coordination | JoT: A Jolie Framework for Testing Microservices. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana |
| 2023 | ECOOP | Modular Compilation for Higher-Order Functional Choreographies. | Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2022 | Coordination | Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher |
| 2022 | ICTAC | Functional Choreographic Programming. | Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2021 | Coordination | Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh |
| 2021 | ECOOP | Multiparty Languages: The Choreographic and Multitier Cases (Pearl). | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger |
| 2021 | ICTAC | Certifying Choreography Compilation. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2021 | ITP | Formalising a Turing-Complete Choreographic Language in Coq. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2020 | SAC | Towards a formal model for composable container systems. | Fabio Burco, Marino Miculan, Marco Peressotti |
| 2020 | SOFSEM | A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework. | Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Njgaard, Marco Peressotti |
| 2019 | Coordination | No More, No Less - A Formal Model for Serverless Computing. | Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro |
| 2018 | SAC | Communications in choreographies, revisited. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2016 | CONCUR | A Uniform Framework for Timed Automata. | Tomasz Brengos, Marco Peressotti |
| 2015 | Coordination | Open Transactions on Shared Memory. | Marino Miculan, Marco Peressotti, Andrea Toneguzzo |
| 2014 | DAIS | Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. | Alessio Mansutti, Marino Miculan, Marco Peressotti |