Modelling and Verifying Contract-Oriented Systems in Maude. - Massimo Bartoletti; Maurizio Murgia 001; Alceste Scalas; Roberto Zunino (WRLA, 2014)

A Contract-Oriented Middleware. - Massimo Bartoletti; Tiziana Cimoli; Maurizio Murgia 001; Alessandro Sebastian Podda; Livio Pompianu (FACS, 2015)

Compliance and Subtyping in Timed Session Types. - Massimo Bartoletti; Tiziana Cimoli; Maurizio Murgia 001; Alessandro Sebastian Podda; Livio Pompianu (FORTE, 2015)

Verifiable abstractions for contract-oriented systems. - Massimo Bartoletti; Maurizio Murgia 001; Alceste Scalas; Roberto Zunino (J. Log. Algebraic Methods Program., 2017)

Timed Session Types. - Massimo Bartoletti; Tiziana Cimoli; Maurizio Murgia 001 (Log. Methods Comput. Sci., 2017)

Progress-Preserving Refinements of CTA. - Massimo Bartoletti; Laura Bocchi; Maurizio Murgia 001 (CONCUR, 2018)

On Urgency in Asynchronous Timed Session Types. - Maurizio Murgia 001 (ICE, 2018)

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. - Laura Bocchi; Maurizio Murgia 001; Vasco Thudichum Vasconcelos; Nobuko Yoshida (ESOP, 2019)

A Minimal Core Calculus for Solidity Contracts. - Massimo Bartoletti; Letterio Galletta; Maurizio Murgia 001 (DPM/CBT@ESORICS, 2019)

A Note On Compliance Relations And Fixed Points. - Maurizio Murgia 001 (ICE, 2019)

Input urgent semantics for asynchronous timed session types. - Maurizio Murgia 001 (J. Log. Algebraic Methods Program., 2019)

A True Concurrent Model of Smart Contracts Executions. - Massimo Bartoletti; Letterio Galletta; Maurizio Murgia 001 (COORDINATION, 2020)

Renegotiation and Recursion in Bitcoin Contracts. - Massimo Bartoletti; Maurizio Murgia 001; Roberto Zunino (COORDINATION, 2020)

Verification of recursive Bitcoin contracts. - Massimo Bartoletti; Stefano Lande; Maurizio Murgia 001; Roberto Zunino (CoRR, 2020)

A fixed-points based framework for compliance of behavioural contracts. - Maurizio Murgia 001 (J. Log. Algebraic Methods Program., 2021)

A theory of transaction parallelism in blockchains. - Massimo Bartoletti; Letterio Galletta; Maurizio Murgia 001 (Log. Methods Comput. Sci., 2021)

A Sound Up-to-n, δ Bisimilarity for PCTL. - Massimo Bartoletti; Maurizio Murgia 001; Roberto Zunino (COORDINATION, 2022)

On Model-Based Performance Analysis of Collective Adaptive Systems. - Maurizio Murgia 001; Riccardo Pinciroli; Catia Trubiani; Emilio Tuosto (ISoLA (3), 2022)

Verifying liquidity of recursive Bitcoin contracts. - Massimo Bartoletti; Stefano Lande; Maurizio Murgia 001; Roberto Zunino (Log. Methods Comput. Sci., 2022)

Contextual Behavioural Metrics. - Ugo Dal Lago; Maurizio Murgia 001 (CONCUR, 2023)

Contextual Behavioural Metrics (Extended Version). - Ugo Dal Lago; Maurizio Murgia 001 (CoRR, 2023)

Sound approximate and asymptotic probabilistic bisimulations for PCTL. - Massimo Bartoletti; Maurizio Murgia 001; Roberto Zunino (Log. Methods Comput. Sci., 2023)

Comparing perfomance abstractions for collective adaptive systems. - Maurizio Murgia 001; Riccardo Pinciroli; Catia Trubiani; Emilio Tuosto (Int. J. Softw. Tools Technol. Transf., 2023)

TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). - João Afonso; Elvis Konjoh Selabi; Maurizio Murgia 001; António Ravara; Emilio Tuosto (COORDINATION, 2024)

Asynchronous Subtyping by Trace Relaxation. - Laura Bocchi; Andy King; Maurizio Murgia 001 (TACAS (1), 2024)

Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions. - Jonah Pears; Laura Bocchi; Maurizio Murgia 001; Andy King (CoRR, 2024)

Abstract Subtyping for Asynchronous Multiparty Sessions. - Laura Bocchi; Andy King; Maurizio Murgia 001; Simon Thompson 001 (CONCUR, 2025)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions. - Jonah Pears; Laura Bocchi; Maurizio Murgia 001; Andy King (Log. Methods Comput. Sci., 2025)