Follow
Maurizio Murgia
Maurizio Murgia
Gran Sasso Science Institute
Verified email at gssi.it
Title
Cited by
Cited by
Year
A contract-oriented middleware
M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
Formal Aspects of Component Software, 86-104, 2015
282015
Compliance and subtyping in timed session types
M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
International Conference on Formal Techniques for Distributed Objects …, 2015
282015
A true concurrent model of smart contracts executions
M Bartoletti, L Galletta, M Murgia
International Conference on Coordination Languages and Models, 243-260, 2020
212020
A minimal core calculus for Solidity contracts
M Bartoletti, L Galletta, M Murgia
Data Privacy Management, Cryptocurrencies and Blockchain Technology, 233-243, 2019
172019
Asynchronous timed session types
L Bocchi, M Murgia, VT Vasconcelos, N Yoshida
Programming Languages and Systems, Luís Caires (Ed.). Springer International …, 2019
162019
Timed session types
M Bartoletti, T Cimoli, M Murgia
arXiv preprint arXiv:1710.05388, 2017
132017
Modelling and verifying contract-oriented systems in Maude
M Bartoletti, M Murgia, A Scalas, R Zunino
International Workshop on Rewriting Logic and its Applications, 130-146, 2014
112014
Verifiable abstractions for contract-oriented systems
M Bartoletti, M Murgia, A Scalas, R Zunino
Journal of Logical and Algebraic Methods in Programming 86 (1), 159-207, 2017
102017
Renegotiation and recursion in Bitcoin contracts
M Bartoletti, M Murgia, R Zunino
International Conference on Coordination Languages and Models, 261-278, 2020
62020
A note on compliance relations and fixed points
M Murgia
arXiv preprint arXiv:1909.05969, 2019
62019
Verifying liquidity of recursive Bitcoin contracts
M Bartoletti, S Lande, M Murgia, R Zunino
arXiv preprint arXiv:2011.14165, 2020
32020
Progress-preserving refinements of CTA
M Bartoletti, L Bocchi, M Murgia
Leibniz International Proceedings in Informatics, 1-19, 2018
32018
Contract-oriented programming with timed session types
N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu
Behavioural Types: from Theory to Tools, 27, 2017
32017
On urgency in asynchronous timed session types
M Murgia
arXiv preprint arXiv:1810.02472, 2018
22018
Contract-Oriented Design of Distributed Applications: A Tutorial
N Atzei, M Bartoletti, M Murgia, E Tuosto, R Zunino
Behavioural Types: from Theory to Tools, 1, 2016
22016
A fixed-points based framework for compliance of behavioural contracts
M Murgia
Journal of Logical and Algebraic Methods in Programming 120, 100641, 2021
12021
Verification of recursive Bitcoin contracts
M Bartoletti, S Lande, M Murgia, R Zunino
Submitted to LMCS, 2020
12020
Input urgent semantics for asynchronous timed session types
M Murgia
Journal of Logical and Algebraic Methods in Programming 107, 38-53, 2019
12019
Compositional Asynchronous Timed Refinement
M Bartoletti, L Bocchi, M Murgia
Technical Report. Available at https://www. cs. kent. ac. uk/people/staff …, 2017
12017
On model-based performance analysis of collective adaptive systems
M Murgia, R Pinciroli, C Trubiani, E Tuosto
International Symposium on Leveraging Applications of Formal Methods, 266-282, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20