Rosario PUGLIESE

Ruolo attuale:: Professore Ordinario
SSD:: INFO-01/A - Informatica
Afferenza organizzativa:: Dipartimento di Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)

Recapiti

	0552751512
	rosario.pugliese(AT)unifi.it

Ulteriori Recapiti

https://sites.google.com/unifi.it/rosariopugliese

Rosario PUGLIESE

Orario di ricevimento (aggiornato al 20/02/2025)

Di solito il mercoledì dalle 14.00 alle 16.00; prendere un appuntamento tramite e-mail.

Office Hours: usually on Wednesday from 2.00 am to 4.00 pm; make an appointment by e-mail.

Rosario PUGLIESE

Biografia

Rosario Pugliese è Professore Ordinario (luglio 2018 - oggi) di Informatica presso il Dipartimento di Statistica, Informatica, Applicazioni “Giuseppe Parenti” (DiSIA) dell’Università degli Studi di Firenze. In precedenza è stato Ricercatore Universitario (giugno 1999 - dicembre 2002) e Professore Associato (dicembre 2002 - dicembre 2012) presso il Dipartimento di Sistemi e Informatica, e successivamente Professore Associato (gennaio 2013 - giugno 2018) presso il DiSIA. Ha conseguito il Dottorato di Ricerca in Informatica presso Sapienza Università di Roma nel 1996 e la Laurea (con lode) in Scienze dell’Informazione presso l’Università di Pisa nel 1991. Nel 1992 e, poi, dal 1996 al 1999, ha usufruito di borse di studio ed assegni di ricerca finanziati dal Consiglio Nazionale delle Ricerche e dall’Università degli Studi di Firenze.

Rosario PUGLIESE

Curriculum

Pugliese è autore di oltre 120 pubblicazioni (con recensione) su riviste internazionali, libri o atti di convegni. È stato membro del comitato di programma o del comitato organizzatore di conferenze e workshop internazionali e attualmente è membro dello Steering Committee di “International Conference on Coordination Models and Languages (COORDINATION)” e dell'Editorial Board of the open access journal Computers (ISSN 2073-431X). Ha contribuito a diversi progetti di ricerca finanziati dall'UE (progetti AGILE, MIKADO, SENSORIA, ASCENS), dal Ministero dell'Istruzione e della Ricerca (MIUR) (progetti NAPOLI, SALADIN, TOSCA, DISCO, CINA), dal Consiglio Nazionale delle Ricerche (CNR, progetto SP4) e da Microsoft Research (progetto NAPI). Pugliese è stato a capo dell'unità di ricerca di Firenze coinvolta nel progetto ASCENS (Autonomic Service-Component Ensembles), finanziato dall'UE, e recentemente ha coordinato il progetto “Assessment cybersecurity readiness”, finanziato da Regione Toscana. Pugliese è stato Coordinatore del Dottorato di Ricerca in Informatica e Applicazioni per i cicli XXIV-XXV e attualmente è membro del Collegio Docenti del Corso di Dottorato in Informatica amministrato dall'Università di Pisa, in collaborazione con l'Università degli Studi di Firenze e l'Università di Siena, e del Collegio Docenti del Dottorato di Interesse Nazionale in ``Cybersicurezza'', con sede amministrativa presso Scuola IMT Alti Studi - Lucca.
Pugliese ha ricoperto il ruolo di presidente del Consiglio unico dei Corsi di Studio in Informatica dell'Università degli Studi di Firenze, da novembre 2020 a ottobre 2024. Negli anni che vanno dal 2002 al 2005, Pugliese ha coordinato 2 progetti formativi per Moduli Professionalizzanti nelle nuove Lauree Universitarie dal titolo `Operatore Informatico Per l’Azienda’ (OIPA) finanziati dalla Regione Toscana con fondi del Fondo Sociale Europeo. Presso l’Università degli Studi di Firenze, per i Corsi di Laurea triennale, quinquennale (vecchio ordinamento), specialistica e magistrale in Informatica, Pugliese è stato o è titolare dei seguenti insegnamenti: Security Engineering (in lingua inglese), Sistemi Operativi, Sistemi Distribuiti e Reti di Calcolatori, Sistemi Concorrenti e Distribuiti, Programmazione di Reti, Linguaggi e Modelli per Sistemi Mobili, Modelli di Sistemi Sequenziali e Concorrenti, Metodi Formali dell’Informatica: Semantica della Concorrenza, Laboratorio di Informatica: Programmazione, Laboratorio di Sistemi Operativi e Laboratorio di Informatica: Programmazione di Sistema. Per i dottorati di ricerca in Informatica dell'Università degli Studi di Firenze, Pugliese ha tenuto i seguenti corsi: Introduzione ai calcoli di processo e relativi sistemi di tipo, Linguaggi e modelli per sistemi mobili, e Semantica della concorrenza, gli ultimi due in svariati anni accademici.

Rosario PUGLIESE

Interessi

L’attività di ricerca di Pugliese è finalizzata alla comprensione dei problemi fondazionali ed applicativi sollevati dai moderni sistemi concorrenti, distribuiti e con mobilità, quali ad esempio le architetture orientate ai servizi, i sistemi di calcolo autonomici e i sistemi cyber-fisici, operanti in ambienti non completamente determinati e mutevoli. Lo scopo è individuare modelli, linguaggi e strumenti formali capaci di catturare aspetti differenti e specifici di tali sistemi complessi, permettendo così lo studio di problemi riguardanti, per esempio, interazione, connetività, adattività e sicurezza. Calcoli di processo, semantiche osservazionali, sistemi di tipo, logiche modali e temporali sono alcuni dei metodi formali e delle tecniche di analisi utilizzati in tali studi. Nel lavoro di ricerca di Pugliese, gli studi teorici e metodologici volti alla definizione di strumenti descrittivi appropriati e di tecniche di dimostrazione trattabili sono integrati sia con il progetto e la realizzazione sia di linguaggi sperimentali per la programmazione distribuita, che con strumenti (semi-)automatici di supporto alla verifica di proprietà.

Rosario PUGLIESE

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Bettini, Lorenzo; Ferrari, Gian-Luigi; Loreti, Michele; Pugliese, Rosario; Tiezzi, Francesco; Tuosto, Emilio (2024). Klaim in the Making. In: T. Margaria. B. Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Proc. of the track Rigorous Engineering of Collective Adaptive Systems (ReoCAS) --- REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium (ISoLA 2024) - Part I, pp. 27-49 Springer Verlag Germany, ISBN:9783031737084., vol. 15219: DOI

Bruno, Tania; Etenzi, Ettore; Gualandi, Luca; Katra, Eraldo; Pugliese, Rosario; Taranto, Alessio; Tiezzi, Francesco (2024). A blockchain-based platform for incentivizing customer reviews in the grocery industry. BLOCKCHAIN: RESEARCH AND APPLICATIONS, pp. 0-0, ISSN:2096-7209 DOI Accesso ONLINE all'editore

Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi (2023). Coordinating and programming multiple ROS-based robots with X-KLAIM. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, pp. 747-764, ISSN:1433-2787

Bruno T.; Etenzi E.; Gualandi L.; Katra E.; Pugliese R.; Taranto A.; Tiezzi F. (2023). Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. In: 5th Distributed Ledger Technology Workshop, DLT 2023, ita, 2023, CEUR-WS, vol. 3460, pp. 0-0.

Martina Neri, Federico Niccolini, Luigi Martino, Gianluca Dini, Rosario Pugliese (2022). Sviluppare la cyber resilienza nelle PMI attraverso consapevolezza e conoscenza. SISTEMI & IMPRESA, pp. 24-30, ISSN:0394-929X

Lorenzo Bettini,, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi (2022). Programming Multi-Robot Systems with X-KLAIM. In: T. Margaria. B. Steffen. Proc. of the 10th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning. (ISoLA 2022), pp. 283-300 Springer, ISBN:978-3-031-19758-1. DOI

Martina Neri, Federico Niccolini, Rosario Pugliese (2022). Assessing SMEs cybersecurity organizational readiness: Findings from an Italian survey. In: Knowledge Management Conference 2022 (KM2022), The International Institute for Applied Knowledge Management, pp. 0-0.

Martina Neri, Federico Niccolini, Rosario Pugliese (2022). Assessing SMEs cybersecurity organizational readiness: Findings from an Italian survey. THE ONLINE JOURNAL OF APPLIED KNOWLEDGE MANAGEMENT, vol. 10, pp. 1-22, ISSN:2325-4688 DOI Accesso ONLINE all'editore

Pugliese, Rosario; Tiezzi, Francesco (2020). Replacement freeness: A criterion for separating process calculi. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 116, pp. 1-33, ISSN:2352-2208 DOI

Basile D.; Ter Beek M.H.; Pugliese R. (2020). Synthesis of orchestrations and choreographies: Bridging the gap between supervisory control and coordination of services. LOGICAL METHODS IN COMPUTER SCIENCE, vol. 16, pp. 1-29, ISSN:1860-5974 DOI

De Nicola R.; Ferrari G.; Pugliese R.; Tiezzi F. (2020). A formal approach to the engineering of domain-specific distributed systems. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 111, pp. 1-37, ISSN:2352-2216 DOI Accesso ONLINE all'editore

Bettini, Lorenzo; Bourr, Khalid; Pugliese, Rosario; Tiezzi, Francesco (2020). Writing Robotics Applications with X-Klaim. In: Tiziana Margaria, Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II, pp. 361-379 Margaria, Tiziana and Steffen, Bernhard, ISBN:978-3-030-61469-0. DOI Accesso ONLINE all'editore

D. Basile, M. H. ter Beek, R. Pugliese (2019). Bridging the Gap between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. In: International Conference on Coordination Models and Languages, Springer, pp. 129-147, ISBN:978-3-030-22396-0 DOI Accesso ONLINE all'editore

Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco (2019). A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 45, pp. 2-33, ISSN:0098-5589 DOI Accesso ONLINE all'editore

Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari (2019). Automata-based Behavioural Contracts with Action Correlation. In: Maurice H. ter Beek, Alessandro Fantechi, Laura Semini. From Software Engineering to Formal Methods and Tools, and Back -- Essays dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 131-151 Springer, ISBN:978-3-030-30984-8. DOI

M. Boreale, F. Corradini, M. Loreti, R. Pugliese (2019). Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday.. di Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese, Springer, 978-3-030-21484-5.

Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi (2018). A Formal Approach to the Engineering of Domain-Specific Distributed Systems. In: International Conference on Coordination Models and Languages, Springer, pp. 110-141. DOI

Cesari, Luca; Pugliese, Rosario; Tiezzi, Francesco (2017). Blind-date Conversation Joining. SERVICE ORIENTED COMPUTING AND APPLICATIONS, vol. 11, pp. 265-283, ISSN:1863-2386 DOI Accesso ONLINE all'editore

Abraham, EriKa; Kuehn, Eva; Palamidessi, Catuscia; Pugliese, Rosario; Sassone, Vladimiro (2017). Selected Papers of the Conferences FORTE and COORDINATION 2014. In: Lars Birkedal (Editor-in-Chief). Logical Methods in Computer Science, volume 279, pp. 0-0 Logical Methods in Computer Science e.V. ISSN: 1860-5974. Accesso ONLINE all'editore

Chiti, Francesco; Fantacci, Romano; Loreti, Michele; Pugliese, Rosario (2016). Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications. IEEE WIRELESS COMMUNICATIONS, vol. 23, pp. 86-92, ISSN:1536-1284 DOI

Margheri, A.; Riis Nielson, H.; Nielson, F.; Pugliese, R. (2016). Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. In: Tiziana Margaria, Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, pp. 554-569 Springer, ISBN:978-3-319-47165-5. DOI Accesso ONLINE all'editore

Montanari, U.; Pugliese, R.; Tiezzi, F. (2015). Programming Autonomic Systems with Multiple Constraint Stores. In: R. De Nicola, R. Hennicker. Software, Services, and Systems, pp. 641-661 Springer-Verlag, ISBN:978-3-319-15544-9. DOI

De Nicola, R.; Latella, D.; Lafuente, A. Lluch; Loreti, M.; Margheri, A.; Massink, M.; Morichetta, A.; Pugliese, R.; Tiezzi, F.; Vandin, A. (2015). The SCEL Language: Design, Implementation, Verification. In: M. Wirsing, M. Hoelzl, N. Koch, P. Mayer. Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 3-71 SPRINGER VERLAG, ISBN:978-3-319-16309-3. DOI

Mayer, P.; Velasco, J.; Klarl, A.; Hennicker, R.; Puviani, M.; Tiezzi, F.; Pugliese, R.; Keznikl, J.; Bures, T. (2015). The Autonomic Cloud. In: M. Wirsing, M. Hölzl, N. Koch, P. Mayer. Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 495-512 Springer, ISBN:978-3-319-16309-3. DOI

Combaz, J.; Bensalem, S.; Tiezzi, F.; Margheri, A.; Pugliese, R.; Kofron, J. (2015). Correctness of Service Components and Service Component Ensembles. In: M. Wirsing, M. Hoelzl, N. Koch, P. Mayer. Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 107-159 Springer, ISBN:978-3-319-16309-3. DOI

Margheri, A.; Pugliese, R.; Tiezzi, F. (2015). On Properties of Policy-Based Specifications. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 188, pp. 33-50, ISSN:2075-2180 DOI

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 (2014). A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase. In: SASOW'13: IEEE Seventh International Conference on Self-Adaptive and Self-Organizing Systems Workshops, IEEE Computer Society Press, pp. 71-76. DOI

A. Margheri; M. Masi; R. Pugliese; F. Tiezzi (2014). Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A Practical Approach. In: E. Tuosto, C. Ouyang. Proc. of the 10th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM'13), pp. 85-105 Springer, ISBN:9783319082592. DOI

Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi (2014). A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, vol. 9, pp. 1-29, ISSN:1556-4665 DOI Accesso ONLINE all'editore

Rocco De Nicola;Alberto Lluch Lafuente;Michele Loreti;Andrea Morichetta;Rosario Pugliese;Valerio Senni;Francesco Tiezzi (2014). Programming and Verifying Component Ensembles. In: Saddek Bensalem, Yassine Lakhneck and Axel Legay (Editors). From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science. Vol. 8415., pp. 69-83 Springer, ISBN:9783642548475. DOI Accesso ONLINE all'editore

Khun, Eva; Pugliese, Rosario (2014). Coordination Models and Languages - Preface. In: E. Kuehn, R. Pugliese. Lecture Notes in Computer Science 8459, Coordination Models and Languages, pp. VII-VII Springer-Verlag, ISBN:9783662433751. DOI

L. Cesari; R. De Nicola; R. Pugliese; M. Puviani; F. Tiezzi; F. Zambonelli (2014). Formalising Adaptation Patterns for Autonomic Ensembles. In: J.L. Fiadeiro, Z. Liu, J. Xue. Formal Aspects of Component Software, 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 100-118 Springer, ISBN:9783319076010. DOI

G. Cabri; N. Capodieci; L. Cesari; R. De Nicola; R. Pugliese; F. Tiezzi; F. Zambonelli (2014). Self-expression and Dynamic Attribute-based Ensembles in SCEL. In: T. Margaria, B. Steffen. Proc. of the 6th International Symposium On Leveraging Applica- tions of Formal Methods, Verification and Validation. Technologies for Maste- ring Change (ISoLA 2014), Rigorous Engineering of Autonomic Ensembles track, pp. 147-163 Springer-Verlag, ISBN:9783662452332. DOI

P. Mayer; A. Klarl; R. Hennicker; M. Puviani; F. Tiezzi; R. Pugliese; J. Keznikl; T. Bures (2014). The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: SASOW'13: IEEE Seventh International Conference on Self-Adaptive and Self-Organizing Systems Workshops, IEEE Computer Society Press, pp. 89-94. DOI

M. Loreti; A. Margheri; R. Pugliese; F. Tiezzi (2014). On Programming and Policing Autonomic Computing Systems. In: T. Margaria, B. Steffen. Proc. of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation} (ISoLA 2014), Rigorous Engineering of Autonomic Ensembles track, pp. 164-183 Springer-Verlag, ISBN:9783662452332. DOI

L. Kovacs; R. Pugliese; J. Silva; F. Tiezzi (2013). Special issue on Automated Specification and Verification of Web Systems. In: L. Kovacs, R. Pugliese, J. Silva, F. Tiezzi. The Journal of Logic and Algebraic Programming. Special issue: Automated Specification and Verification of Web Systems, pp. 241-242 Elsevier Science B.V., Amsterdam. DOI

M. Busch; N. Koch; M. Masi; R. Pugliese; F. Tiezzi (2013). Towards model-driven development of access control policies for web applications. In: Model-Driven Security Workshop (MDSec 2012), Innsbruck, Austria, October 1, 2012, ACM New York, pp. 1-6. DOI

A. Margheri; R. Pugliese; F. Tiezzi (2013). Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. In: ATC'13: 10th IEEE International Conference on. Autonomic and Trusted Computing, Vietri sul Mare, December 18-20, 2013, IEEE Computer Society, pp. 404-409. DOI Accesso ONLINE all'editore

L. Cesari; R. Pugliese; F. Tiezzi (2013). Blind-date Conversation Joining. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 123, pp. 3-18, ISSN:2075-2180 DOI

A. Margheri; M. Masi; R. Pugliese; F. Tiezzi (2013). On a Formal and User-Friendly Linguistic Approach to Access Control of Electronic Health Data. In: HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics, Barcelona, Spain, 11-14 February, SciTePress, pp. 263-268, ISBN:9789898565372 DOI

R. De Nicola; G. Ferrari; M. Loreti; R. Pugliese (2013). A Language-Based Approach to Autonomic Computing. In: Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. Formal Methods for Components and Objects, 10th International Symposium (FMCO2011), pp. 25-48, Berlino: Springer, ISBN:9783642358869. DOI

A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi (2012). A Logical Verification Methodology for Service-Oriented Computing. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 21(3), pp. 1-46, ISSN:1049-331X DOI Accesso ONLINE all'editore

E. Gjondrekaj; M. Loreti; R. Pugliese; F. Tiezzi (2012). Modeling Adaptation with Klaim. APPLIED COMPUTING REVIEW, vol. 12(4), pp. 21-35, ISSN:1931-0161 DOI

M. Masi; R. Pugliese; F. Tiezzi (2012). Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. JOURNAL OF MEDICAL SYSTEMS, vol. 36(6), pp. 3695-3711, ISSN:0148-5598 DOI Accesso ONLINE all'editore

A. Lapadula; R. Pugliese; F. Tiezzi (2012). Using formal methods to develop WS-BPEL applications. SCIENCE OF COMPUTER PROGRAMMING, vol. 77(3), pp. 189-213, ISSN:0167-6423 DOI

M. Masi; R. Pugliese; F. Tiezzi (2012). e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. In: Radu Popescu-Zeletin and Karl Jonas and Idris A. Rai and Roch H. Glitho and Adolfo Villafiorita. e-Infrastructure and e-Services for Developing Countries, Third International ICST Conference, AFRICOMM 2011, Zanzibar, Tanzania, November 23-24, 2011, Revised Selected Papers, pp. 187-196, Berlino: Springer, ISBN:9783642290923. DOI

E. Gjondrekaj; M. Loreti; R. Pugliese; F. Tiezzi (2012). Modeling adaptation with a tuple-based coordination language. In: ACM Symposium on Applied Computing (SAC'12), Special Track on Coordination Models, Languages and Applications, Riva del Garda, Italy, March 25-29, 2012, ACM Press, pp. 1522-1527, ISBN:9781450308571 DOI

Pugliese, Rosario; Tiezzi, Francesco (2012). A Calculus for Orchestration of Web Services. JOURNAL OF APPLIED LOGIC, vol. 10, pp. 2-31, ISSN:1570-8683 DOI

M. Masi; R. Pugliese; F. Tiezzi (2012). Formalisation and Implementation of the XACML Access Control Mechanism. In: G. Barthe, B. Livshits, R. Scandariato. Engineering Secure Software and Systems, 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings, pp. 60-74, Berlino: Springer. DOI

E. Gjondrekaj; M. Loreti; R. Pugliese; F. Tiezzi; C. Pinciroli; M. Brambilla; M. Birattari; M. Dorigo (2012). Towards a Formal Verification Methodology for Collective Robotic Systems. In: Toshiaki Aoki, Kenji Taguchi. Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, pp. 54-70, Berlino: Springer-Verlag, ISBN:9783642342806. DOI Accesso ONLINE all'editore

L. Caires; R. De Nicola; R. Pugliese; V.T. Vasconcelos; G. Zavattaro (2011). Core Calculi for Service-Oriented Computing. In: M. Wirsing, M. Hoelzl, Eds.. Lectures Notes in Computer Science 6582, pp. 153-188, Berlino: M. Wirsing, M. Holzl. DOI

S.Gnesi; R.Pugliese; F.Tiezzi (2011). The Sensoria Approach Applied to the Finance Case Study. In: M. Wirsing, M. Hoelzl, Eds.. Rigorous Software Engineering for Service-Oriented Systems, Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, pp. 698-718, Berlin Heidelberg: Springer, ISBN:9783642204005. DOI

F.Banti; R.Pugliese; F.Tiezzi (2011). An Accessible Verification Environment for UML Models of Services. JOURNAL OF SYMBOLIC COMPUTATION, vol. 46(2), pp. 119-149, ISSN:0747-7171 DOI

L.Kovács; R.Pugliese; F.Tiezzi (2011). Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). In: L.Kovács, R.Pugliese, F.Tiezzi. Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011), pp. 1-1, Sydney: Electronic Proceedings in Theoretical Computer Science 61 (EPTCS). DOI

M.Masi; R.Pugliese; F.Tiezzi (2011). A standard-driven communication protocol for disconnected clinics in rural areas. In: 13th IEEE International Conference on e-Health Networking, Application Services (Healthcom'11), Columbia (MO), USA, 13-15 Giugno 2011, IEEE, pp. 304-311, ISBN:9781612846958 DOI

A.Lapadula; R.Pugliese; F.Tiezzi (2011). A WSDL-based type system for asynchronous WS-BPEL processes. FORMAL METHODS IN SYSTEM DESIGN, vol. 38(2), pp. 119-157, ISSN:1572-8102 DOI

L.Cesari; R.Pugliese; F.Tiezzi (2010). A tool for rapid development of WS-BPEL applications. APPLIED COMPUTING REVIEW, vol. 11, pp. 27-40, ISSN:1931-0161 DOI

R. De Nicola; D. Gorla; R.R. Hansen; F. Nielson; H. Riis Nielson; Christian W. Probst; R. Pugliese (2010). From Flow Logic to static type systems for coordination languages. SCIENCE OF COMPUTER PROGRAMMING, vol. 75(6), pp. 376-397, ISSN:0167-6423 DOI

L. Cesari; A. Lapadula; R. Pugliese; F. Tiezzi (2010). A tool for rapid development of WS-BPEL applications. In: ACM Symposium On Applied Computing (SAC'10), technical track on Service Oriented Architecture and Programming (SOAP), Sierre, Switzerland, March 22-26, 2010, ACM Press, pp. 2438-2442, ISBN:9781605586397 DOI

F. Banti; R. Pugliese; F. Tiezzi (2010). A criterion for separating process calculi. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 41, pp. 16-30, ISSN:2075-2180 DOI

Gorla, Daniele; Pugliese, Rosario (2009). Dynamic management of capabilities in a network aware coordination language. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, vol. 78(8), pp. 665-689, ISSN:1567-8326 DOI

R. Pugliese; F. Tiezzi; N. Yoshida (2009). A Symbolic Semantics for a Calculus for Service-Oriented Computing. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 241, pp. 135-164, ISSN:1571-0661 DOI

M. Masi; R. Pugliese; F. Tiezzi (2009). On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals. In: Atul Prakash, Indranil Gupta (Eds.). Information Systems Security, 5th International Conference, ICISS 2009 Kolkata, India, December 14-18, 2009 Proceedings, pp. 55-70, Berlin: Springer, ISBN:9783642107719. DOI

L. Bocchi; J.L. Fiadeiro; A. Lapadula; R. Pugliese; F. Tiezzi (2009). From Architectural to Behavioural Specification of Services. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 253(1), pp. 3-21, ISSN:1571-0661 DOI

F. Banti; A. Lapadula; R. Pugliese; F. Tiezzi (2009). Specification and analysis of SOC systems using COWS: A finance case study. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 235, pp. 71-105, ISSN:1571-0661 DOI

R. Pugliese; F. Tiezzi; N. Yoshida (2009). On observing dynamic prioritised actions in SOC. In: Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.).. Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 558-570, Berlin: Springer, ISBN:9783642029295. DOI

M. Wirsing; L. Acciai; A. Clark; F. Banti; A. Fantechi; S. Gilmore; S. Gnesi; L. Gonczy; M. Holz; N. Koch; A. Lapadula; P. Mayer; F. Mazzanti; R. Pugliese; A. Schroeder; F. Tiezzi; M. Tribastone; D. Varro (2008). SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Tiziana Margaria, Bernhard Steffen (Eds.).. Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 170-190, Berlin: Springer, ISBN:9783540884781. DOI

A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi (2008). A model checking approach for verifying COWS specifications. In: José Luiz Fiadeiro, Paola Inverardi (Eds.).. Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 230-245, Berlin: Springer, ISBN:9783540787426. DOI

A. Lapadula; R. PUGLIESE; F. Tiezzi (2008). Service discovery and negotiation with COWS. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 200(3), pp. 133-154, ISSN:1571-0661 DOI

A. Lapadula; R. Pugliese; F. Tiezzi (2008). Specifying and Analysing SOC Applications with COWS. In: P. Degano, R. De Nicola, J. Meseguer (Eds.). Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 701-720, Berlin: Springer. DOI

M. Wirsing; L. Bocchi; A. Clark; J.L. Fiadeiro; S. Gilmore; M. Holzl; N. Koch; P. Mayer; R. Pugliese; A. Schroeder (2008). SENSORIA: Engineering for Service-Oriented Overlay Computers. In: A.M. Sassen, E Di Nitto, P. Traverso, A. Zwegers. At your service: Service Engineering in the Information Society Technologies Program, pp. 159-182, Cambridge MA: MIT Press, ISBN:9780262042536.

A. Lapadula; R. Pugliese; F. Tiezzi (2008). A formal account of WS-BPEL. In: Doug Lea, Gianluigi Zavattaro (Eds.).. Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 199-215, Berlin: Springer, ISBN:9783540682646. DOI

R. De Nicola; D. Gorla; R.R. Hansen; F. Nielson; H.R. Nielson; C.W. Probst; R. Pugliese (2008). From Flow Logic to Static Type Systems for Coordination Languages. In: Doug Lea, Gianluigi Zavattaro (Eds.).. Lecture Notes in Computer Science 5052, pp. 100-116, Berlin: Springer, ISBN:9783540682646. DOI

A. LAPADULA; R. PUGLIESE; F. TIEZZI (2007). COWS: A timed service-oriented calculus. In: Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.).. Theoretical Aspects of Computing – ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings, pp. 275-290, Berlin: Springer, ISBN:9783540752905. DOI

R. DE NICOLA; D. GORLA; R. PUGLIESE (2007). Basic Observables for a Calculus for Global Computing. INFORMATION AND COMPUTATION, vol. 205(10), pp. 1491-1525, ISSN:0890-5401 DOI

A. LAPADULA; R. PUGLIESE; F. TIEZZI (2007). Regulating data exchange in service oriented applications. In: Farhad Arbab, Marjan Sirjani (Eds.).. International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings, pp. 223-239, Berlin: Springer, ISBN:9783540756972. DOI

A. LAPADULA; R. PUGLIESE; F. TIEZZI (2007). A Calculus for Orchestration of Web Services. In: Rocco De Nicola (Ed.).. Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings, pp. 33-47, Berlin: Springer, ISBN:9783540713142. DOI

R. DE NICOLA; D. GORLA; R. PUGLIESE (2007). Global computing in a dynamic network of tuple spaces. SCIENCE OF COMPUTER PROGRAMMING, vol. 64, pp. 187-204, ISSN:0167-6423 DOI

R. DE NICOLA; D. GORLA; R. PUGLIESE (2006). Confining data and processes in global computing applications. SCIENCE OF COMPUTER PROGRAMMING, vol. 63(1), pp. 57-87, ISSN:0167-6423 DOI

R. DE NICOLA; D. GORLA; R. PUGLIESE (2006). On the Expressive Power of Klaim-based Calculi. THEORETICAL COMPUTER SCIENCE, vol. 356(3), pp. 387-421, ISSN:0304-3975 DOI

P. CRESCENZI; M. LORETI; R. PUGLIESE (2006). Assessing CS1 Java Skills: A Three-Year Experience. In: Innovation and Technology in Computer Science Education (ITiCSE'06), Bologna, June 26--28, ACM Press, pp. 348-348. DOI

A. LAPADULA; R. PUGLIESE; F. TIEZZI (2006). A WSDL-based type system for WS-BPEL. In: Paolo Ciancarini, Herbert Wiklicky (Eds.).. Lecture Notes in Computer Science 4038, pp. 145-163, Berlin: Springer, ISBN:9783540346944. DOI

M. COPPO; F.COZZI; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE (2005). A Mobility Calculus with Local and Dependent Types. In: Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (Eds.).. Lecture Notes in Computer Science 3838, pp. 404-444, Berlin: Springer, ISBN:9783540309116. DOI

R. DE NICOLA; D. GORLA; R. PUGLIESE (2005). Pattern Matching over a Dynamic Network of Tuple Spaces. In: Martin Steffen, Gianluigi Zavattaro (Eds.).. Lecture Notes in Computer Science 3535, pp. 1-14, Berlin: Springer, ISBN:9783540261810. DOI

R. DE NICOLA; G.-L. FERRARI; U. MONTANARI; R. PUGLIESE; E. TUOSTO (2005). A Process Calculus for QoS-Aware Applications. In: Jean-Marie Jacquet, Gian Pietro Picco (Eds.).. Lecture Notes in Computer Science 3454, pp. 33-48, Berlin: Springer, ISBN:9783540256304. DOI

R. DE NICOLA; D. GORLA; R. PUGLIESE (2005). Basic Observables for a Calculus for Global Computing. In: Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (Eds.).. Lecture Notes in Computer Science 3580, pp. 1226-1238, Berlin: Springer, ISBN:9783540275800. DOI

R. DE NICOLA; D. GORLA; R. PUGLIESE (2005). Global Computing in a Dynamic Network of Tuple Spaces. In: Jean-Marie Jacquet, Gian Pietro Picco (Eds.).. Lecture Notes in Computer Science 3454, pp. 157-172, Berlin: Springer, ISBN:9783540256304. DOI

R. De Nicola; D. Gorla; R. Pugliese (2005). On the Expressive Power of Klaim-based Calculi. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 128(2), pp. 117-130, ISSN:1571-0661 DOI

R. PUGLIESE; G. FERRARI; E. MOGGI (2004). MetaKlaim: a type safe multi-stage language for global computing. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 14(3), pp. 367-395, ISSN:0960-1295 DOI

M. COPPO; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE (2004). Dynamic and Local Typing for Mobile Ambients. In: Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell (Eds.).. Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, pp. 577-590, Berlin: Kluwer, ISBN:1402081405. DOI

Gorla, Daniele; Pugliese, Rosario (2004). Controlling Data Movement in Global Computing Applications. In: ACM Symposium on Applied Computing (SAC'04), ACM Press, pp. 1462-1467. DOI

Gorla, Daniele; Pugliese, Rosario (2003). Resource Access and Mobility Control with Dynamic Privileges Acquisition. In: Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger (Eds.).. Lecture Notes in Computer Science 2719, pp. 119-132, Berlin: Springer, ISBN:9783540404934. DOI

Bettini, Lorenzo; Bono, V.; DE NICOLA, R.; Ferrari, G.; Gorla, D.; Loreti, Michele; Moggi, E.; Pugliese, Rosario; Tuosto, E.; Venneri, Battistina (2003). The Klaim Project: Theory and Practice. In: PRIAMI C. (ed.). Lecture Notes in Computer Science, Vol. 2874, pp. 88-150, Berlin: Springer, ISBN:3540205837. DOI

GORLA D.; R. PUGLIESE (2003). Enforcing Security Policies via Types. In: Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (Eds.).. Lecture Notes in Computer Science 2802, pp. 86-100, Berlin: Springer, ISBN:9783540208877. DOI

R. De Nicola; R. Pugliese; G. Ferrari; U. Montanari; E. Tuosto (2003). A Formal Basis for Reasoning on Programmable QoS. In: Nachum Dershowitz (Ed.). Lecture Notes in Computer Science 2772, pp. 436-479, Berlin: Springer, ISBN:3540210024. DOI

Bettini, Lorenzo; DE NICOLA, R.; Pugliese, Rosario (2002). Klava: a Java Package for Distributed and Mobile Applications. SOFTWARE-PRACTICE & EXPERIENCE, vol. 32(14), pp. 1365-1394, ISSN:0038-0644 DOI

ANDRADE L.; BALDAN P.; BAUMEISTER H.; BRUNI R.; CORRADINI A.; DE NICOLA R.; FIADERO J.; GADDUCCI F.; GNESI S.; HOFFMAN P.; KOCH N.; KOSIUCZENKO P.; LAPADULA A.; LATELLA D.; LOPES A.; LORETI M.; MASSINK M.; MAZZANTI F.; MONTANARI M.; OLIVEIRA C.; R. PUGLIESE; TARLECKI A.; WERMELINGER M.; WIRSING M. (2002). AGILE: Software Architecture for Mobility. In: Martin Wirsing, Dirk Pattinson and Rolf Hennicker editors. Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002., pp. 1-33 Springer, ISBN:9783540205371. DOI

BOREALE M; DE NICOLA R; R. PUGLIESE (2002). Proof Techniques for Cryptographic Processes. SIAM JOURNAL ON COMPUTING, vol. 31(3), pp. 947-986, ISSN:0097-5397 DOI

L. BETTINI; R. DE NICOLA; R. PUGLIESE (2002). X-Klaim and Klava: Programming Mobile Code. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 62, pp. 24-37, ISSN:1571-0661 DOI Accesso ONLINE all'editore

G. FERRARI; E. MOGGI; R. PUGLIESE (2002). Guardians for Ambient-based Monitoring. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 66(3), pp. 52-75, ISSN:1571-0661 DOI

M. BOREALE; R.DE NICOLA; R.PUGLIESE (2002). Trace and Testing Equivalence on Asynchronous Processes. INFORMATION AND COMPUTATION, vol. 172(2), pp. 139-164, ISSN:0890-5401 DOI

L. BETTINI; M. LORETI; R. PUGLIESE (2002). An Infrastructure Language for Open Nets. In: ACM Symposium on Applied Computing (SAC'02), Madrid, Spain, March 10-14, ACM Press, pp. 373-377. DOI

G. FERRARI; E. MOGGI; R. PUGLIESE (2001). Global Types and Network Services. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 54, pp. 35-48, ISSN:1571-0661 DOI

FERRARI G.; MOGGI E.; R. PUGLIESE (2001). METAKLAIM: Meta-Programming for Global Computing (position paper). In: Walid Taha (Ed.).. Lecture Notes in Computer Science 2196, pp. 183-198, Berlin: Springer, ISBN:9783540425588. DOI

L. BETTINI; M. LORETI; R. PUGLIESE (2001). Modelling Node Connectivity in Dynamically Evolving Networks. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 54, pp. 81-91, ISSN:1571-0661 DOI

M. BOREALE; R. DE NICOLA; R. PUGLIESE (2001). Divergence in testing and readiness semantics. THEORETICAL COMPUTER SCIENCE, vol. 266(1-2), pp. 237-248, ISSN:0304-3975 DOI

G. FERRARI; E. MOGGI; R. PUGLIESE (2001). Higher-Order Types and Meta-Programming for Global Computing. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 62, pp. 52-68, ISSN:1571-0661 DOI

R. PUGLIESE; R. DE NICOLA; G. FERRARI; B. VENNERI (2000). Types for Access Control. THEORETICAL COMPUTER SCIENCE, vol. 240(1), pp. 215-254, ISSN:0304-3975 DOI

R. De Nicola; R. Pugliese; A. Rowstrom (2000). Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: António Porto, Gruia-Catalin Roman (Eds.). Lecture Notes in Computer Science, vol. 1906, pp. 66-80, Berlin: Springer, ISBN:3540410201. DOI

BETTINI L.; LORETI M.; R. PUGLIESE (2000). Structured Nets in Klaim. In: ACM Symposium on Applied Computing (SAC'00), ACM Press, vol. 1, pp. 174-180, ISBN:1581132395

BOREALE M.; DE NICOLA R.; R. PUGLIESE (2000). Process Algebraic Analysis of Cryptographic Protocols. In: Tommaso Bolognesi, Diego Latella (Eds.).. Formal Techniques for Distributed System Development, FORTE/PSTV 2000., pp. 375-392, Berlin: Kluwer, ISBN:9780792379683. DOI

DE NICOLA R.; FERRARI G.; R. PUGLIESE (2000). Programming Access Control: The Klaim Experience. In: Catuscia Palamidessi (Ed.).. Lecture Notes in Computer Science 1877, pp. 48-65, Berlin: Springer, ISBN:9783540678977. DOI

De Nicola, Rocco; Pugliese, Rosario (2000). Linda based Applicative and Imperative Process Algebras. THEORETICAL COMPUTER SCIENCE, vol. 238(1-2), pp. 389-437, ISSN:0304-3975 DOI

R. De Nicola; R. Pugliese; G. Ferrari (1999). Types as Specifications of Access Policies. In: J. Vitek, C. D. Jensen (Eds.). Lecture Notes in Computer Science 1603, pp. 118-146, Berlin: Springer, ISBN:3540661301. DOI

Ingolfsdottir, Anna; Pugliese, Rosario (1999). Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 27, pp. 18-24, ISSN:1571-0661 DOI

M. Boreale; R. De Nicola; R. Pugliese (1999). Proof Techniques for Cryptographic Processes. In: Vari. 14th Annual IEEE Symposium on Logic in Computer Science, pp. 157-166, Washington: IEEE Computer Society, ISBN:0769501583. DOI

M. Boreale; R. De Nicola; R. Pugliese (1999). A Theory of ''May'' Testing for Asynchronous Languages. In: W. Thomas. Lecture Notes in Computer Science 1578, pp. 165-179, Berlino: Springer, ISBN:9783540490197. DOI

M. BOREALE; R. DE NICOLA; R. PUGLIESE (1999). Basic Observables for Processes. INFORMATION AND COMPUTATION, vol. 149(1), pp. 77-98, ISSN:0890-5401 DOI

M. Boreale; R. De Nicola; R. Pugliese (1998). Asynchronous Observations of Processes. In: M. Nivat. Lecture Notes in Computer Science 1378, pp. 95-109, Berlino: Springer, ISBN:9783540643005. DOI

A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci (1998). A Symbolic Model Checker for ACTL. In: Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (Eds.).. Lecture Notes in Computer Science 1641, pp. 228-242, Berlin: Springer, ISBN:9783540664628. DOI

R. DE NICOLA; G.L.FERRARI; R. PUGLIESE (1998). Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 24(5), pp. 315-330, ISSN:0098-5589 DOI

L. BETTINI; R. DE NICOLA; G.-L. FERRARI; R. PUGLIESE (1998). Interactive Mobile Agents in X-Klaim. In: Seventh IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98), IEEE Computer Society, pp. 110-115, ISBN:9780818687518 DOI

R. DE NICOLA; G. FERRARI; R. PUGLIESE (1997). Locality based Linda: programming with explicit localities. In: Michel Bidoit, Max Dauchet (Eds.).. Lecture Notes in Computer Science 1214, pp. 712-726, Berlin: Springer, ISBN:9783540627814. DOI

M. BOREALE; R. DE NICOLA; R. PUGLIESE (1997). Basic Observables for Processes. In: Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (Eds.).. Lecture Notes in Computer Science 1256, pp. 482-492, Berlin: Springer, ISBN:9783540631651. DOI

R. DE NICOLA; G. FERRARI; R. PUGLIESE (1997). Coordinating Mobile Agents via Blackboards and Access Rights. In: David Garlan, Daniel Le Métayer (Eds.).. Lecture Notes in Computer Science 1282, pp. 220-237, Berlin: Springer, ISBN:9783540633839. DOI

De Nicola, Rocco; Pugliese, Rosario (1996). A Process Algebra based on Linda. In: Paolo Ciancarini, Chris Hankin (Eds.).. Lecture Notes in Computer Science 1061, pp. 160-178, Berlin: Springer, ISBN:9783540610526. DOI

De Nicola, Rocco; Pugliese, Rosario (1996). Testing Semantics of Asynchronous Distributed Programs. In: Mads Dam (Ed.).. Lecture Notes in Computer Science 1192, pp. 320-344, Berlin: Springer, ISBN:9783540625032. DOI

R. PUGLIESE; E. TRONCI (1996). Automatic Verification of a Hydroelectric Power Plant. In: Marie-Claude Gaudel, Jim Woodcock (Eds.).. Lecture Notes in Computer Science 1051, pp. 425-444, Berlin: Springer, ISBN:9783540609735. DOI

De Nicola, Rocco; Pugliese, Rosario (1995). An Observational Semantics for Linda. In: Int. Workshop on Structures in Concurrency Theory (STRICT'95), Berlino, Springer, pp. 129-143, ISBN:3540199829 DOI

R. PUGLIESE (1995). A Process Calculus with Asynchronous Communications. In: Fifth Italian Conference on Theoretical Computer Science (ICTCS'95) (A. De Santis, Ed.), World Scientific, Ravello (SA), WORLD SCIENTIFIC, pp. 295-310, ISBN:9789810226732

Rosario PUGLIESE

Biography

Rosario Pugliese is a full professor of Computer Science (Informatica) at Dipartimento di Statistica, Informatica, Applicazioni (DiSIA). Previously, he has been an associate professor and assistant professor (first appointment in June 1999) at Dipartimento di Sistemi e Informatica, University of Florence. Pugliese has received a Ph.D. degree in Computer Science (Informatica) from the Sapienza University of Rome in 1996, and a Laurea degree cum laude in Computer Science (Scienze dell'Informazione) from the University of Pisa in 1991. In 1992 and, then, from 1996 till 1999, Pugliese has benefited from research fellowships and grants funded by the National Research Council (CNR) and by the University of Florence.

Rosario PUGLIESE

Curriculum

Pugliese authored more than 120 peer-reviewed publications in international journals, books, or conference proceedings. He has been a member of the program committee or the organizing committee of international conferences and workshops. Currently, he is a member of the Steering Committee of the "International Conference on Coordination Models and Languages (COORDINATION)" and of the Editorial Board of the open-access journal Computers (ISSN 2073-431X). He has contributed to several research projects funded by the EU (projects AGILE, MIKADO, SENSORIA, ASCENS), the Italian Ministry of Education and Research (MIUR) (projects NAPOLI, SALADIN, TOSCA, DISCO, CINA), the National Research Council (CNR, project SP4), and Microsoft Research (project NAPI). Pugliese has been the leader of the Firenze research unit involved in the EU-funded project ASCENS (Autonomic Service-Component Ensembles). Recently, he has coordinated the project "Assessment cybersecurity readiness", funded by Regione Toscana. Pugliese has been the Coordinator of the Ph.D. program in Informatica e Applicazioni at the University of Florence. Currently, he is a member of the Board of Study of the Ph.D. program in Computer Science administered by the University of Pisa, in cooperation with the University of Firenze and the University of Siena, and of the Board of Study of the Ph.D. program of National Interest in "Cybersecurity", administered by IMT School of Advanced Studies - Lucca.
Pugliese served as President of the Board of Study courses in Computer Science at the University of Florence from November 2020 to October 2024. In the years from 2002 to 2005, Pugliese has been the Coordinator of two formative projects `Moduli Professionalizzanti nelle nuove Lauree Universitarie’, entitled 'Operatore Informatico per l'Azienda' (OIPA), funded by Regione Toscana through the Fondo Sociale Europeo. At the University of Florence, for the three-year, five-year (old system), specialist, and master's degree courses in Computer Science, Pugliese held or holds the following courses: Security Engineering (in English), Operating Systems, Distributed Systems and Computer Networks, Distributed and Concurrent Systems, Network Programming, Languages and Models for Mobile Systems, Models of Sequential and Concurrent Systems, Formal methods: concurrency semantics, Programming Lab, Operating Systems Lab, and System Programming Lab. For Ph.D. programs in Computer Science at the University of Florence, Pugliese held the following courses: Introduction to Process Calculi and related Type Systems, Languages and Models for Mobile Systems, and Concurrency Semantics, the last two ones in several academic years.

Rosario PUGLIESE

Interest

Pugliese's research activity aims at tackling those foundational and applicative problems raised by today's concurrent, distributed, and mobile systems, such as, e.g., service-oriented architectures, autonomic computing systems, and cyber-physical systems, working within open-ended and highly dynamic environments. The goal is to devise formal models, languages, and tools capable of capturing different and specific aspects of such complex systems, thus enabling the study of connectivity, interaction, adaptivity, and security issues. Process calculi, observational semantics, types, modal and temporal logics are some of the formal methods and analysis techniques exploited in his investigations. In Pugliese's research activity, theoretical and methodological investigations to define appropriate descriptive tools and tractable proof techniques are integrated with the project and the implementation of both experimental languages for distributed programming and (semi-)automatic supporting tools for property verification.