Rosario Pugliese

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 17

Top Venues

J. Log. Algebraic Methods Program.

CoRR

ISoLA (1)

WWV

Publications

Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Coordinating and programming multiple ROS-based robots with X-KLAIM. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. DLT (2023)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Programming Multi-robot Systems with X-KLAIM. ISoLA (3) (2022)
Rosario Pugliese, Francesco Tiezzi
Replacement freeness: A criterion for separating process calculi. J. Log. Algebraic Methods Program. 116 (2020)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. 16 (2) (2020)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111 (2020)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Writing Robotics Applications with X-Klaim. ISoLA (2) (2020)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. CoRR (2019)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE Trans. Software Eng. 45 (1) (2019)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION (2019)
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR (2019)
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian Luigi Ferrari
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back (2019)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION (2018)
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
Blind-date conversation joining. Serv. Oriented Comput. Appl. 11 (3) (2017)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. CoRR (2016)
Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) (2016)
Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wirel. Commun. 23 (2) (2016)
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
On Properties of Policy-Based Specifications. WWV (2015)
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems (2015)
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
On Programming and Policing Autonomic Computing Systems. ISoLA (1) (2014)
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) (2014)
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9 (2) (2014)
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
Programming and Verifying Component Ensembles. FPS@ETAPS (2014)
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
Blind-date Conversation Joining. WWV (2013)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. WS-FM (2013)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. HEALTHINF (2013)
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebraic Methods Program. 82 (8) (2013)
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC (2013)
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli
Formalising Adaptation Patterns for Autonomic Ensembles. FACS (2013)
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops (2013)
Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops (2013)
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM (2012)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77 (3) (2012)
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS (2012)
Rosario Pugliese, Francesco Tiezzi
A calculus for orchestration of web services. J. Appl. Log. 10 (1) (2012)
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21 (3) (2012)
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. J. Medical Syst. 36 (6) (2012)
Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
Towards model-driven development of access control policies for web applications. MDsec@MoDELS (2012)
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
Modeling adaptation with a tuple-based coordination language. SAC (2012)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods Syst. Des. 38 (2) (2011)
Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese
A Language-Based Approach to Autonomic Computing. FMCO (2011)
Federico Banti, Rosario Pugliese, Francesco Tiezzi
An accessible verification environment for UML models of services. J. Symb. Comput. 46 (2) (2011)
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM (2011)
Federico Banti, Rosario Pugliese, Francesco Tiezzi
A criterion for separating process calculi EXPRESS (2010)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75 (6) (2010)
Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A tool for rapid development of WS-BPEL applications. SAC (2010)
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
A Symbolic Semantics for a Calculus for Service-Oriented Computing. Electron. Notes Theor. Comput. Sci. 241 (2009)
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
On Observing Dynamic Prioritised Actions in SOC. ICALP (2) (2009)
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
From Architectural to Behavioural Specification of Services. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Daniele Gorla, Rosario Pugliese
Dynamic management of capabilities in a network aware coordination language. J. Log. Algebraic Methods Program. 78 (8) (2009)
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electron. Notes Theor. Comput. Sci. 235 (2009)
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS (2009)
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
A Model Checking Approach for Verifying COWS Specifications. FASE (2008)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models (2008)
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA (2008)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A Formal Account of WS-BPEL. COORDINATION (2008)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION (2008)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Service Discovery and Negotiation With COWS. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64 (2) (2007)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A Calculus for Orchestration of Web Services. ESOP (2007)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
C-clock-WS: A Timed Service-Oriented Calculus. ICTAC (2007)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Regulating Data Exchange in Service Oriented Applications. FSEN (2007)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Basic observables for a calculus for global computing. Inf. Comput. 205 (10) (2007)
Pilu Crescenzi, Michele Loreti, Rosario Pugliese
Assessing CS1 java skills: a three-year experience. ITiCSE (2006)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Confining data and processes in global computing applications. Sci. Comput. Program. 63 (1) (2006)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A WSDL-Based Type System for WS-BPEL. COORDINATION (2006)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356 (3) (2006)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION (2005)
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
A Process Calculus for QoS-Aware Applications. COORDINATION (2005)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS (2005)
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles (2005)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Basic Observables for a Calculus for Global Computing. ICALP (2005)
Daniele Gorla, Rosario Pugliese
Controlling data movement in global computing applications. SAC (2004)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14 (3) (2004)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
Dynamic and Local Typing for Mobile Ambients. IFIP TCS (2004)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of Klaim-based Calculi. EXPRESS (2004)
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice (2003)
Daniele Gorla, Rosario Pugliese
Enforcing Security Policies via Types. SPC (2003)
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
The Klaim Project: Theory and Practice. Global Computing (2003)
Daniele Gorla, Rosario Pugliese
Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP (2003)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172 (2) (2002)
Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
AGILE: Software Architecture for Mobility. WADT (2002)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Guardians for Ambient-based Monitoring. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32 (14) (2002)
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
An infrastructure language for open nets. SAC (2002)
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Modelling Node Connectivity in Dynamically Evolving Networks. Electron. Notes Theor. Comput. Sci. 54 (2001)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31 (3) (2001)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Global Types and Network Services. Electron. Notes Theor. Comput. Sci. 54 (2001)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
MetaKlaim: Meta-programming for Global Computing. SAIG (2001)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Divergence in testing and readiness semantics. Theor. Comput. Sci. 266 (1-2) (2001)
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Higher-Order Types and Meta-Programming for Global Computing. Electron. Notes Theor. Comput. Sci. 62 (2001)
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
XKlaim and Klava: Programming Mobile Code. Electron. Notes Theor. Comput. Sci. 62 (2001)
Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto
Calculi for Network Aware Programming. WOA (2000)
Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. COORDINATION (2000)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Process Algebraic Analysis of Cryptographic Protocols. FORTE (2000)
Rocco De Nicola, Rosario Pugliese
Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238 (1-2) (2000)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri
Types for access control. Theor. Comput. Sci. 240 (1) (2000)
Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
Mobile Applications in X-KLAIM. WOA (2000)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
Programming Access Control: The KLAIM Experience. CONCUR (2000)
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Structured Nets in KLAIM. SAC (1) (2000)

Rosario Pugliese.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rosario Pugliese