Maurizio Murgia

Papers

Total Citations

H-Index

About

Maurizio Murgia is a leading researcher in formal methods and quantitative modelling for collective adaptive systems (CAS). His work focuses on developing rigorous abstractions to analyze the non-functional properties—such as performance, reliability, and resource usage—of large-scale, adaptive, and distributed systems. A key contribution is his comparative analysis of two novel quantitative modelling approaches based on generalized stochastic Petri nets and other formalisms, which provides critical insights into the trade-offs between expressiveness and computational tractability for CAS. His research has garnered attention in the formal verification and software engineering communities, with his most cited paper accumulating 4 citations since 2023. Murgia’s work is notable for bridging theoretical foundations with practical tool support, enabling engineers to predict system behavior under uncertainty. He has also contributed to the development of scalable analysis techniques for adaptive systems, making his research highly relevant for applications in cyber-physical systems, smart environments, and autonomous coordination. His ongoing efforts continue to shape how complex, adaptive systems are modeled and verified.