maurizio (dot) murgia (at) unica (dot) it
Maurizio Murgia is a second year PhD student
at the Department of
Mathematics and Informatics of the University of Cagliari, supervised
by Massimo Bartoletti
His research interest includes formal methods, contract oriented computing, session types, rewriting logic and timed systems.
- M. Bartoletti, M. Murgia, A. Scalas, R. Zunino. Modelling and verifying contract-oriented systems in Maude. In WRLA'14, 5-6 April 2014, Grenoble, France.
- M. Bartoletti, T. Cimoli, M. Murgia, L. Pompianu, A.S. Podda. Compliance and subtyping in timed session types. In Proc. FORTE, 2015.
- M. Bartoletti, M. Murgia, A. Scalas, R. Zunino. Verifiable abstractions for contract-oriented systems. Accepted for publication in JLAMP.
- M. Bartoletti, T. Cimoli, M. Murgia, L. Pompianu, A.S. Podda. A contract-oriented middleware. To be presented at FACS 2015.