Rosario Pugliese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
18
Active years
1996–2024
Best venue rank
A*
Where they publish
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | Klaim in the Making. | Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto |
| 2022 | ISoLA | Programming Multi-robot Systems with X-KLAIM. | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi |
| 2020 | ISoLA | Writing Robotics Applications with X-Klaim. | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi |
| 2019 | Coordination | Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. | Davide Basile, Maurice H. ter Beek, Rosario Pugliese |
| 2018 | Coordination | A Formal Approach to the Engineering of Domain-Specific Distributed Systems. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi |
| 2016 | ISoLA | Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. | Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese |
| 2014 | ISoLA | Self-expression and Dynamic Attribute-Based Ensembles in SCEL. | Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli |
| 2014 | ISoLA | On Programming and Policing Autonomic Computing Systems. | Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi |
| 2013 | UIC | Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. | Andrea Margheri, Rosario Pugliese, Francesco Tiezzi |
| 2012 | ICFEM | Towards a Formal Verification Methodology for Collective Robotic Systems. | Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo |
| 2012 | MODELS | Towards model-driven development of access control policies for web applications. | Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi |
| 2012 | SAC | Modeling adaptation with a tuple-based coordination language. | Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi |
| 2010 | SAC | A tool for rapid development of WS-BPEL applications. | Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2009 | ICALP | On Observing Dynamic Prioritised Actions in SOC. | Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida |
| 2009 | ICISS | On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. | Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi |
| 2008 | Coordination | A Formal Account of WS-BPEL. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2008 | Coordination | From Flow Logic to Static Type Systems for Coordination Languages. | Rocco De Nicola, Daniele Gorla, Ren Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
| 2008 | FASE | A Model Checking Approach for Verifying COWS Specifications. | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2007 | ESOP | A Calculus for Orchestration of Web Services. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2007 | ICTAC | C-clock-WS: A Timed Service-Oriented Calculus. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2006 | Coordination | A WSDL-Based Type System for WS-BPEL. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2006 | ITiCSE | Assessing CS1 java skills: a three-year experience. | Pilu Crescenzi, Michele Loreti, Rosario Pugliese |
| 2005 | Coordination | A Process Calculus for QoS-Aware Applications. | Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
| 2005 | Coordination | Global Computing in a Dynamic Network of Tuple Spaces. | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
| 2005 | ICALP | Basic Observables for a Calculus for Global Computing. | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
| 2004 | SAC | Controlling data movement in global computing applications. | Daniele Gorla, Rosario Pugliese |
| 2003 | ICALP | Resource Access and Mobility Control with Dynamic Privileges Acquisition. | Daniele Gorla, Rosario Pugliese |
| 2002 | SAC | An infrastructure language for open nets. | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
| 2000 | CONCUR | Programming Access Control: The KLAIM Experience. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese |
| 2000 | Coordination | Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. | Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron |
| 2000 | FORTE | Process Algebraic Analysis of Cryptographic Protocols. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 2000 | SAC | Structured Nets in KLAIM. | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
| 1999 | FOSSACS | A Theory of "May" Testing for Asynchronous Languages. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1999 | LICS | Proof Techniques for Cryptographic Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1998 | FM | A Symbolic Model Checker for ACTL. | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
| 1998 | FOSSACS | Asynchronous Observations of Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1998 | WETICE | Interactive Mobile Agents in X-Klaim. | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari |
| 1997 | Coordination | Coordinating Mobile Agents via Blackboards and Access Rights. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese |
| 1997 | ICALP | Basic Observables for Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1996 | Coordination | A Process Algebra Based on LINDA. | Rocco De Nicola, Rosario Pugliese |
| 1996 | FM | Automatic Verification of a Hydroelectric Power Plant. | Rosario Pugliese, Enrico Tronci |