PUGLIESE, ROSARIO
PUGLIESE, ROSARIO
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
A Calculus for Orchestration of Web Services
2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
A Calculus for Orchestration of Web Services
2012 Pugliese, Rosario; Tiezzi, Francesco
A criterion for separating process calculi
2010 F. Banti; R. Pugliese; F. Tiezzi
A formal account of WS-BPEL
2008 A. Lapadula; R. Pugliese; F. Tiezzi
A Formal Approach to Autonomic Systems Programming: The SCEL Language
2014 Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
2018 Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A formal approach to the engineering of domain-specific distributed systems
2020 De Nicola R.; Ferrari G.; Pugliese R.; Tiezzi F.
A Formal Basis for Reasoning on Programmable QoS
2003 R. De Nicola; R. Pugliese; G. Ferrari; U. Montanari; E. Tuosto
A Language-Based Approach to Autonomic Computing
2013 R. De Nicola; G. Ferrari; M. Loreti; R. Pugliese
A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase
2014 T. Bures; R. De Nicola; I. Gerostathopoulos; N. Hoch; M. Kit; N. Koch; G.V. Monreale; U. Montanari; R. Pugliese; N. Serbedzija; M. Wirsing; F. Zambonelli
A Logical Verification Methodology for Service-Oriented Computing
2012 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A Mobility Calculus with Local and Dependent Types
2005 M. COPPO; F.COZZI; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE
A model checking approach for verifying COWS specifications
2008 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A Process Algebra based on Linda
1996 De Nicola, Rocco; Pugliese, Rosario
A Process Calculus for QoS-Aware Applications
2005 R. DE NICOLA; G.-L. FERRARI; U. MONTANARI; R. PUGLIESE; E. TUOSTO
A Process Calculus with Asynchronous Communications
1995 R. PUGLIESE
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
2019 Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco
A standard-driven communication protocol for disconnected clinics in rural areas
2011 M.Masi; R.Pugliese; F.Tiezzi
A Symbolic Model Checker for ACTL
1998 A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci
A Symbolic Semantics for a Calculus for Service-Oriented Computing
2009 R. Pugliese; F. Tiezzi; N. Yoshida
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Calculus for Orchestration of Web Services | 2007 | A. LAPADULA; R. PUGLIESE; F. TIEZZI | |
| A Calculus for Orchestration of Web Services | 2012 | Pugliese, Rosario; Tiezzi, Francesco | |
| A criterion for separating process calculi | 2010 | F. Banti; R. Pugliese; F. Tiezzi | |
| A formal account of WS-BPEL | 2008 | A. Lapadula; R. Pugliese; F. Tiezzi | |
| A Formal Approach to Autonomic Systems Programming: The SCEL Language | 2014 | Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi | |
| A Formal Approach to the Engineering of Domain-Specific Distributed Systems | 2018 | Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi | |
| A formal approach to the engineering of domain-specific distributed systems | 2020 | De Nicola R.; Ferrari G.; Pugliese R.; Tiezzi F. | |
| A Formal Basis for Reasoning on Programmable QoS | 2003 | R. De Nicola; R. Pugliese; G. Ferrari; U. Montanari; E. Tuosto | |
| A Language-Based Approach to Autonomic Computing | 2013 | R. De Nicola; G. Ferrari; M. Loreti; R. Pugliese | |
| A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase | 2014 | T. Bures; R. De Nicola; I. Gerostathopoulos; N. Hoch; M. Kit; N. Koch; G.V. Monreale; U. Montanari; R. Pugliese; N. Serbedzija; M. Wirsing; F. Zambonelli | |
| A Logical Verification Methodology for Service-Oriented Computing | 2012 | A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi | |
| A Mobility Calculus with Local and Dependent Types | 2005 | M. COPPO; F.COZZI; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE | |
| A model checking approach for verifying COWS specifications | 2008 | A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi | |
| A Process Algebra based on Linda | 1996 | De Nicola, Rocco; Pugliese, Rosario | |
| A Process Calculus for QoS-Aware Applications | 2005 | R. DE NICOLA; G.-L. FERRARI; U. MONTANARI; R. PUGLIESE; E. TUOSTO | |
| A Process Calculus with Asynchronous Communications | 1995 | R. PUGLIESE | |
| A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies | 2019 | Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco | |
| A standard-driven communication protocol for disconnected clinics in rural areas | 2011 | M.Masi; R.Pugliese; F.Tiezzi | |
| A Symbolic Model Checker for ACTL | 1998 | A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci | |
| A Symbolic Semantics for a Calculus for Service-Oriented Computing | 2009 | R. Pugliese; F. Tiezzi; N. Yoshida |