Rosario Pugliese

About

Rosario Pugliese is a computer scientist whose research sits at the intersection of formal methods, autonomic computing, and multi-robot systems programming. His work focuses on developing rigorous theoretical foundations and practical linguistic tools for engineering complex, adaptive software systems. Pugliese's most influential contribution, "A Formal Approach to Autonomic Systems Programming" (2014, 144 citations), established foundational abstractions and linguistic primitives for autonomic computing — a paradigm designed to tame the scale, complexity, and dynamism of modern software-intensive systems. This work has become a cornerstone reference in the field. He has also advanced formal verification methodologies for collective robotic systems, contributing to the theoretical underpinnings of safe, coordinated robot behavior. More recently, Pugliese has championed X-KLAIM, a domain-specific language that enables structured programming of multi-robot systems, including direct integration with the widely-used ROS (Robot Operating System) framework. His ongoing series of publications on X-KLAIM reflects a sustained commitment to bridging formal language theory with real-world robotics engineering challenges. Through his combined contributions in autonomic computing and robot coordination languages, Pugliese has shaped how researchers approach the design and verification of distributed, adaptive computational systems.

Research Focus

Key Achievements

Top Papers

1. 1
   A Formal Approach to Autonomic Systems Programming

   144 citations · 2014
2. 2
   Towards a Formal Verification Methodology for Collective Robotic Systems

   30 citations · 2012
3. 3
   Formalising Adaptation Patterns for Autonomic Ensembles

   12 citations · 2014
4. 4
   On Programming and Policing Autonomic Computing Systems

   7 citations · 2014
5. 5
   Coordinating and programming multiple ROS-based robots with X-KLAIM

   5 citations · 2023
6. 6
   Programming Multi-robot Systems with X-KLAIM

   4 citations · 2022
7. 7
   Writing Robotics Applications with X-Klaim

   3 citations · 2020

Key Collaborators

Contact & Links