Maurizio Murgia

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 32

Top Topics

Adaptive Systems

Approximate Value Iteration

Top Venues

Log. Methods Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions. CoRR (2024)
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). COORDINATION (2024)
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
TRAC: a tool for data-aware coordination (with an application to smart contracts). CoRR (2024)
Laura Bocchi, Andy King, Maurizio Murgia
Asynchronous Subtyping by Trace Relaxation. TACAS (1) (2024)
Ugo Dal Lago, Maurizio Murgia
Contextual Behavioural Metrics. CONCUR (2023)
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
Comparing perfomance abstractions for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Sound approximate and asymptotic probabilistic bisimulations for PCTL. Log. Methods Comput. Sci. 19 (1) (2023)
Ugo Dal Lago, Maurizio Murgia
Contextual behavioural Metrics (Extended Version). CoRR (2023)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
A Sound Up-to-n, δ Bisimilarity for PCTL. COORDINATION (2022)
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Verifying liquidity of recursive Bitcoin contracts. Log. Methods Comput. Sci. 18 (1) (2022)
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
On Model-Based Performance Analysis of Collective Adaptive Systems. ISoLA (3) (2022)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A theory of transaction parallelism in blockchains. Log. Methods Comput. Sci. 17 (4) (2021)
Maurizio Murgia
A fixed-points based framework for compliance of behavioural contracts. J. Log. Algebraic Methods Program. 120 (2021)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL. CoRR (2021)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A theory of transaction parallelism in blockchains. CoRR (2020)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A True Concurrent Model of Smart Contracts Executions. COORDINATION (2020)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Renegotiation and recursion in Bitcoin contracts. CoRR (2020)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Renegotiation and Recursion in Bitcoin Contracts. COORDINATION (2020)
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Verification of recursive Bitcoin contracts. CoRR (2020)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A minimal core calculus for Solidity contracts. CoRR (2019)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A true concurrent model of smart contracts executions. CoRR (2019)
Maurizio Murgia
A Note On Compliance Relations And Fixed Points. ICE (2019)
Maurizio Murgia
Input urgent semantics for asynchronous timed session types. J. Log. Algebraic Methods Program. 107 (2019)
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP (2019)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A Minimal Core Calculus for Solidity Contracts. DPM/CBT@ESORICS (2019)
Massimo Bartoletti, Laura Bocchi, Maurizio Murgia
Progress-Preserving Refinements of CTA. CONCUR (2018)
Maurizio Murgia
On Urgency in Asynchronous Timed Session Types. ICE (2018)
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
Verifiable abstractions for contract-oriented systems. J. Log. Algebraic Methods Program. 86 (1) (2017)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Timed Session Types. Log. Methods Comput. Sci. 13 (4) (2017)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Timed Session Types. CoRR (2017)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
A Contract-Oriented Middleware. FACS (2015)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
Compliance and Subtyping in Timed Session Types. FORTE (2015)
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
Modelling and Verifying Contract-Oriented Systems in Maude. WRLA (2014)