Elvinia Riccobene

University of Milan, University of Bergamo

Papers

Total Citations

H-Index

About

Elvinia Riccobene is a leading researcher in formal methods and software engineering, with a focus on the rigorous design and validation of complex, distributed systems. Her key research areas include abstract state machines (ASMs), service-oriented architectures, and coordinated simulation of heterogeneous components. Riccobene’s major contributions center on developing formal frameworks to address the inherent challenges of engineering dynamic, distributed, and heterogeneous service-oriented applications. Her most cited work, "Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines" (2012, 9 citations), introduces a foundational approach for modeling and simulating the coordinated behavior of diverse services, enabling early fault detection. This is complemented by her earlier paper, "A formal framework for coordinated simulation of heterogeneous service-oriented applications" (2011, 3 citations), which provides a theoretical basis for validating such systems before deployment. Riccobene’s research bridges the gap between formal theory and practical engineering, offering tools and notations that allow developers to discover design flaws early. Her work is highly regarded for its impact on the reliability of service-oriented systems, making her a key figure in advancing formal methods for modern software engineering.