Rocco De Nicola

Papers

Total Citations

203

H-Index

About

Rocco De Nicola is a leading figure in formal methods for distributed, adaptive, and autonomic systems. His research centers on developing rigorous programming abstractions and linguistic primitives to manage the complexity, scale, and dynamism of modern software-intensive systems. A cornerstone of his work is the formalization of autonomic computing, where he has proposed foundational models for self-adaptation and collective behavior in large-scale ensembles. His most-cited paper, "A Formal Approach to Autonomic Systems Programming" (2014, 144 citations), provides a seminal framework for designing systems that can autonomously reconfigure and respond to changing environments. De Nicola has also advanced the use of rewriting logic to reason about service component ensembles, and his more recent work extends into social computing, notably identifying credulous users and social bots on Twitter (2019, 17 citations). Beyond his technical contributions, he is recognized for shaping the field of software engineering for adaptive systems, influencing both theoretical foundations and practical design patterns. His work continues to inspire researchers tackling the challenges of trust, adaptation, and scale in distributed computing.