Marco Peressotti

91 papers A* 1A 3B 3C 9Misc 2Journal 55Unranked 16
YearRankTypeTitle / Venue / Authors
2026 A* conf
'It's Confusing, Insecure, and Messy' - Mapping the Gaps Between Stakeholders' Cybersecurity Mental Models in the Danish Defence Sector.
CHI
Judith Kankam-Boateng, Marco Peressotti, Jan Stentoft, Kent Adsbøll Wickstrøm, Vincent Charles Keating, Louise Alison Tumchewics, Olivier Schmitt, Amelie Theussen, Peter Mayer
2026 J jnl
Accompanist: A Runtime for Resilient Choreographic Programming.
CoRR
Viktor Strate Kløvedal, Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2026 J jnl
Hennessy-Milner Logic in CSLib, the Lean Computer Science Library.
CoRR
Fabrizio Montesi, Marco Peressotti, Alexandre Rademaker
2026 J jnl
Towards a Higher-Order Bialgebraic Denotational Semantics.
CoRR
Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe
2026 J jnl
Type-Based Enforcement of Non-Interference for Choreographic Programming.
CoRR
Marco Bertoni, Saverio Giallorenzo, Marco Peressotti
2026 — conf
What We Talk About When We Talk About DAOs: An Integrated Socio-Technical Framework.
HICSS
Giorgia Sampò, Oliver Baumann, Marco Peressotti
2025 — conf
A Conceptual Framework for API Refactoring in Service-Oriented Architectures.
ESOCC
Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
2025 J jnl
Infinite Traces by Finality: a Sheaf-Theoretic Approach.
CoRR
Marco Peressotti
2025 J jnl
JoT: A Jolie framework for testing microservices.
Sci. Comput. Program.
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
2025 — conf
Omission Failures in Choreographic Programming.
ICTCS
Eva Graversen, Fabrizio Montesi, Marco Peressotti
2025 J jnl
Role, cost, and complexity of software in the real-world: a case for formal methods.
CoRR
Giovanni Tito Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
2025 J jnl
The Blind Men and the Elephant: Mapping Interdisciplinarity in Research on Decentralized Autonomous Organizations.
CoRR
Giorgia Sampò, Oliver Baumann, Marco Peressotti
2024 J jnl
A Conceptual Framework for API Refactoring in Enterprise Application Architectures.
CoRR
Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
2024 — conf
A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices.
ICSOC (2)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh, Philip Wizenty
2024 J jnl
Choral: Object-oriented Choreographic Programming.
ACM Trans. Program. Lang. Syst.
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
2024 — conf
Choreography-Defined Networks: A Case Study on DoS Mitigation.
ICSOC (2)
Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
2024 J jnl
On Propositional Dynamic Logic and Concurrency.
CoRR
Matteo Acclavio, Fabrizio Montesi, Marco Peressotti
2024 J jnl
Ozone: Fully Out-of-Order Choreographies (Artifact).
Dagstuhl Artifacts Ser.
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2024 A conf
Ozone: Fully Out-of-Order Choreographies.
ECOOP
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2024 J jnl
Ozone: Fully Out-of-Order Choreographies.
CoRR
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2023 J jnl
A Formal Theory of Choreographic Programming.
J. Autom. Reason.
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2023 C conf
JoT: A Jolie Framework for Testing Microservices.
COORDINATION
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
2023 J jnl
LEMMA2Jolie: A tool to generate microservice APIs from domain models.
Sci. Comput. Program.
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2023 A conf
Modular Compilation for Higher-Order Functional Choreographies.
ECOOP
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2023 C conf
Reasoning About Choreographic Programs.
COORDINATION
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
2023 J jnl
Reasoning about Choreographic Programs.
CoRR
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
2022 J jnl
A Formal Theory of Choreographic Programming.
CoRR
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2022 J jnl
Computing (optimal) embeddings of directed bigraphs.
Sci. Comput. Program.
Alessio Chiapperini, Marino Miculan, Marco Peressotti
2022 C conf
Functional Choreographic Programming.
ICTAC
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2022 — conf
Model-Driven Code Generation for Microservices: Service Models.
Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022 C conf
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.
COORDINATION
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022 J jnl
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.
CoRR
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022 — conf
Modular Choreographies: Bridging Alice and Bob Notation to Java.
Microservices
Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti
2021 C conf
Certifying Choreography Compilation.
ICTAC
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021 J jnl
Certifying Choreography Compilation.
CoRR
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021 J jnl
Choreographies as Functions.
CoRR
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2021 B conf
Formalising a Turing-Complete Choreographic Language in Coq.
ITP
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021 J jnl
Formalising a Turing-Complete Choreographic Language in Coq.
CoRR
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021 J jnl
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.
CoRR
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2021 C conf
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.
COORDINATION
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2021 J jnl
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes.
CoRR
Fabrizio Montesi, Marco Peressotti
2021 A conf
Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
ECOOP
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
2021 — conf
Sliceable Monolith: Monolith First, Microservices Later.
SCC
Fabrizio Montesi, Marco Peressotti, Valentino Picotti
2021 J jnl
Sliceable Monolith: Monolith First, Microservices Later.
CoRR
Fabrizio Montesi, Marco Peressotti, Valentino Picotti
2020 J jnl
A CSP implementation of the directed bigraph embedding problem.
CoRR
Alessio Chiapperini, Marino Miculan, Marco Peressotti
2020 — conf
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework.
SOFSEM (Doctoral Student Research Forum)
Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Nøjgaard, Marco Peressotti
2020 J jnl
Choreographies as Objects.
CoRR
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
2020 B conf
Computing Embeddings of Directed Bigraphs.
ICGT
Alessio Chiapperini, Marino Miculan, Marco Peressotti
2020 — ed.
Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, Odense, Denmark, October 23-27, 2017 / Dortmund, Germany, February 19-21, 2019
Microservices
Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2020 — conf
Software Transactional Memory with Interactions.
ICTCS
Marino Miculan, Marco Peressotti
2020 J jnl
Software Transactional Memory with Interactions.
CoRR
Marino Miculan, Marco Peressotti
2020 Misc conf
Towards a formal model for composable container systems.
SAC
Fabio Burco, Marino Miculan, Marco Peressotti
2019 J jnl
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework.
CoRR
Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Nøjgaard, Marco Peressotti
2019 J jnl
Behavioural equivalences for timed systems.
Log. Methods Comput. Sci.
Tomasz Brengos, Marco Peressotti
2019 J jnl
Better late than never: a fully-abstract semantics for classical processes.
Proc. ACM Program. Lang.
Wen Kokke, Fabrizio Montesi, Marco Peressotti
2019 C conf
No More, No Less - A Formal Model for Serverless Computing.
COORDINATION
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019 J jnl
No more, no less - A formal model for serverless computing.
CoRR
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019 J jnl
Towards a Formal Model for Composable Container Systems.
CoRR
Fabio Burco, Marino Miculan, Marco Peressotti
2019 J jnl
Two modes of recognition: algebra, coalgebra, and languages.
CoRR
Tomasz Brengos, Marco Peressotti
2018 J jnl
Better Late Than Never: A Fully Abstract Semantics for Classical Processes.
CoRR
Wen Kokke, Fabrizio Montesi, Marco Peressotti
2018 J jnl
Classical Transitions.
CoRR
Fabrizio Montesi, Marco Peressotti
2018 Misc conf
Communications in choreographies, revisited.
SAC
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2018 — conf
Taking Linear Logic Apart.
Linearity-TLLA@FLoC
Wen Kokke, Fabrizio Montesi, Marco Peressotti
2017 J jnl
A Uniform Framework for Timed Automata and Beyond.
CoRR
Tomasz Brengos, Marco Peressotti
2017 J jnl
Choreographies meet Communication Failures.
CoRR
Fabrizio Montesi, Marco Peressotti
2017 — —
Coalgebraic semantics of self-referential behaviours.
Marco Peressotti
2017 J jnl
Communications in Choreographies, Revisited.
CoRR
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2017 — conf
Deciding Weak Weighted Bisimulation.
ICTCS/CILC
Marino Miculan, Marco Peressotti
2017 — conf
Loose Graph Simulations.
STAF Workshops
Alessio Mansutti, Marino Miculan, Marco Peressotti
2017 J jnl
Loose Graph Simulations.
CoRR
Alessio Mansutti, Marino Miculan, Marco Peressotti
2017 J jnl
On the trade-off between labels and weights in quantitative bisimulation.
CoRR
Marco Peressotti
2017 J jnl
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation.
CoRR
Marino Miculan, Marco Peressotti
2016 J jnl
A Specification of Open Transactional Memory for Haskell.
CoRR
Marino Miculan, Marco Peressotti
2016 B conf
A Uniform Framework for Timed Automata.
CONCUR
Tomasz Brengos, Marco Peressotti
2016 J jnl
Endofunctors modelling higher-order behaviours.
CoRR
Marco Peressotti
2016 — conf
On the Bisimulation Hierarchy of State-to-Function Transition Systems.
ICTCS
Marino Miculan, Marco Peressotti
2016 — conf
Stratifying Semantic Data for Citation and Trust: An Introduction to RDFDF.
IRCDL
Dario De Nart, Dante Degl'Innocenti, Marco Peressotti, Carlo Tasso
2016 J jnl
Structural operational semantics for non-deterministic processes with quantitative aspects.
Theor. Comput. Sci.
Marino Miculan, Marco Peressotti
2016 J jnl
Well-Stratified Linked Data for Well-Behaved Data Citation.
Bull. IEEE Tech. Comm. Digit. Libr.
Dario De Nart, Dante Degl'Innocenti, Marco Peressotti
2015 J jnl
Behavioural equivalences for coalgebras with unobservable moves.
J. Log. Algebraic Methods Program.
Tomasz Brengos, Marino Miculan, Marco Peressotti
2015 J jnl
Distributed execution of bigraphical reactive systems.
CoRR
Alessio Mansutti, Marino Miculan, Marco Peressotti
2015 C conf
Open Transactions on Shared Memory.
COORDINATION
Marino Miculan, Marco Peressotti, Andrea Toneguzzo
2015 J jnl
Open Transactions on Shared Memory.
CoRR
Marino Miculan, Marco Peressotti, Andrea Toneguzzo
2015 J jnl
Well-Stratified Linked Data for Well-Behaved Data Citation.
CoRR
Dario De Nart, Dante Degl'Innocenti, Marco Peressotti
2014 J jnl
A CSP implementation of the bigraph embedding problem.
CoRR
Marino Miculan, Marco Peressotti
2014 J jnl
Behavioural equivalences for coalgebras with unobservable moves.
CoRR
Tomasz Brengos, Marino Miculan, Marco Peressotti
2014 J jnl
Distributed execution of bigraphical reactive systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Alessio Mansutti, Marino Miculan, Marco Peressotti
2014 — conf
GSOS for non-deterministic processes with quantitative aspects.
QAPL
Marino Miculan, Marco Peressotti
2014 C conf
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems.
DAIS
Alessio Mansutti, Marino Miculan, Marco Peressotti
2014 J jnl
Structural operational semantics for non-deterministic processes with quantitative aspects.
CoRR
Marino Miculan, Marco Peressotti
2013 J jnl
Weak bisimulations for labelled transition systems weighted over semirings.
CoRR
Marino Miculan, Marco Peressotti