Maurizio Murgia

Orcid: 0000-0001-7613-621X

Affiliations:
  • University of Trento, Italy
  • Gran Sasso Science Institute, L'Aquila, Italy


According to our database1, Maurizio Murgia authored at least 26 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions.
CoRR, 2024

Asynchronous Subtyping by Trace Relaxation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts).
Proceedings of the Coordination Models and Languages, 2024

2023
Comparing perfomance abstractions for collective adaptive systems.
Int. J. Softw. Tools Technol. Transf., December, 2023

Sound approximate and asymptotic probabilistic bisimulations for PCTL.
Log. Methods Comput. Sci., 2023

Contextual Behavioural Metrics (Extended Version).
CoRR, 2023

Contextual Behavioural Metrics.
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
Verifying liquidity of recursive Bitcoin contracts.
Log. Methods Comput. Sci., 2022

On Model-Based Performance Analysis of Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

A Sound Up-to-n, δ Bisimilarity for PCTL.
Proceedings of the Coordination Models and Languages, 2022

2021
A theory of transaction parallelism in blockchains.
Log. Methods Comput. Sci., 2021

A fixed-points based framework for compliance of behavioural contracts.
J. Log. Algebraic Methods Program., 2021

2020
Verification of recursive Bitcoin contracts.
CoRR, 2020

Renegotiation and Recursion in Bitcoin Contracts.
Proceedings of the Coordination Models and Languages, 2020

A True Concurrent Model of Smart Contracts Executions.
Proceedings of the Coordination Models and Languages, 2020

2019
Input urgent semantics for asynchronous timed session types.
J. Log. Algebraic Methods Program., 2019

A Note On Compliance Relations And Fixed Points.
Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

A Minimal Core Calculus for Solidity Contracts.
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2019

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.
Proceedings of the Programming Languages and Systems, 2019

2018
On Urgency in Asynchronous Timed Session Types.
Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Progress-Preserving Refinements of CTA.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Timed Session Types.
Log. Methods Comput. Sci., 2017

Verifiable abstractions for contract-oriented systems.
J. Log. Algebraic Methods Program., 2017

2015
Compliance and Subtyping in Timed Session Types.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

A Contract-Oriented Middleware.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014
Modelling and Verifying Contract-Oriented Systems in Maude.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014


  Loading...