Logo eprints

Items where Author is "De Nicola, Rocco"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Ab | Ac | Al | An | Ba | Be | Bo | Br | Bu | Ca | Ce | Ch | Co | De | Di | Du | Fa | Fe | Fi | Ga | Ge | Gh | Gi | Gn | Go | Ha | He | Hi | Ho | | Ia | Im | In | Ju | Ka | Ki | Ko | La | Ll | Lo | Lu | Ma | Me | Mo | Ne | Ni | Nu | Ol | Pa | Pe | Pr | Pu | Ra | Ri | Ro | Sa | Se | Sh | Sm | Sp | Ta | Ti | To | Tr | Tu | Ur | Va | Ve | Vi | We | Wi | Za
Number of items: 616.

Ab

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele A Behavioural Theory for Interactions in Collective-Adaptive Systems. Working Paper arXiv (Submitted)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. Working Paper arXiv (Submitted)

Abd Alrahman, Yehia and De Nicola, Rocco and Loreti, Michele On the Power of Attribute-Based Communication. In: Formal Techniques for Distributed Objects, Components, and Systems. 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr. Lecture Notes in Computer Science (9688). Springer, pp. 1-18. ISBN 978-3-319-39570-8 (2016)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming of CAS Systems by Relying on Attribute-Based Communication. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, pp. 539-553. ISBN 978-3-319-47166-2 (2016)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele On Expressiveness and Behavioural Theory of Attribute-based Communication. CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted)

Ac

Acciai, Lucia and Boreale, Michele and De Nicola, Rocco Linear-Time and May-Testing in a Probabilistic Reactive Setting. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2011). Lecture Notes in Computer Science, 6722 . Springer, pp. 29-43. (2011)

Aceto, Luca and Fantechi, Alessandro and De Nicola, Rocco Testing Equivalences for Event Structures. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 1-20. ISBN 3-540-18419-8 (1986)

Al

Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015)

An

Andrić, Marina and De Nicola, Rocco and Lafuente, Alberto Lluch Replica-Based High-Performance Tuple Space Computing. In: Coordination Models and Languages.17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science (9037). Springer, pp. 3-18. ISBN 978-3-319-19282-6 (2015)

Andrić, Marina and De Nicola, Rocco and Lluch Lafuente, Alberto Replicating Data for Better Performances in X10. In: Semantics, Logics, and Calculi. Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science (9560). Springer, pp. 236-251. ISBN 978-3-319-27810-0 (2015)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Ba

Baldoni, Roberto and De Nicola, Rocco Il Futuro della Cyber Security in Italia. Un libro bianco per raccontare le principali sfide che il nostro Paese dovrà affrontare nei prossimi cinque anni. Consorzio Interuniversitario Nazionale per l'Informatica. ISBN 9788894137309 (2015)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Be

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10 (1). pp. 1-42. ISSN 1860-5974 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8358). Springer, pp. 315-330. ISBN 978-3-319-05118-5 (2014)

Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin Reasoning (on) service component ensembles in rewriting logic. In: Specification, Algebra, and Software. Lecture Notes in Computer Science (8373). Springer Berlin Heidelberg, pp. 188-211. ISBN 978-3-642-54623-5 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. In: Trustworthly Global Computing (TGC 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 35-56. ISBN 978-3-642-15639-7 (2010)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Implementing Session Centered Calculi. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 17-32. ISBN 978-3-540-68264-6 (2008)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele Implementing a distributed mobile calculus using the IMC framework. Electronic Notes in Theoretical Computer Science, 181. pp. 63-79. ISSN 1571-0661 (2007)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Distributed Applications and Interoperable Systems (DAIS 2005). Lecture Notes in Computer Science, 3543 . Springer, pp. 181-193. ISBN 3-540-26262-8 (2005)

Bettini, Lorenzo and De Nicola, Rocco Mobile Distributed Programming in X-Klaim. In: Formal Methods for Mobile Computing. Lecture Notes in Computer Science, 3465 . Springer, pp. 29-68. ISBN 3-540-25697-0 (2005)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Automated Software Engineering, 11 (3). pp. 245-288. ISSN 0928-8910 (2004)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario XKlaim and Klava: Programming Mobile Code. Electronic Notes in Theoretical Computer Science, 62. pp. 24-37. ISSN 1571-0661 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formalizing Properties of Mobile Agent Systems. In: Coordination Models and Languages (COORDINATION 2002). Lecture Notes in Computer Science, 2315 . Springer, pp. 72-87. ISBN 3-540-43410-0 (2002)

Bettini, Lorenzo and De Nicola, Rocco A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. In: Scientific Engineering for Distributed Java Applications (FIDJI 2002). Lecture Notes in Computer Science, 2604 . Springer, pp. 175-184. ISBN 3-540-00679-6 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario Klava: a Java package for distributed and mobile applications. Software: Practice and Experience, 32 (14). pp. 1365-1394. ISSN 1097-024X (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Software update via mobile agent based programming. In: Proceedings of the 2002 ACM symposium on Applied computing (SAC '02). ACM, pp. 32-36. (2002)

Bettini, Lorenzo and De Nicola, Rocco Translating Strong Mobility into Weak Mobility. In: Mobile Agents. Lecture Notes in Computer Science, 2240 . Springer, pp. 182-197. ISBN 3-540-42952-2 (2001)

Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Mobile Applications in X-KLAIM. In: WOA 2000 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. Atti di Congressi, 1195 . Pitagora Editrice Bologna, Parma, pp. 1-6. ISBN 88-371-1195-9 (2000)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario and Ferrari, GianLuigi Interactive Mobile Agents in X-Klaim. In: Enabling Technologies: Infrastructure for Collaborative Enterprises, 1998. (WET ICE '98) Proceedings., Seventh IEEE International Workshops on. IEEE Computer Society, pp. 110-117. ISBN 0-8186-8751-7 (1998)

Bo

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science, 25 (3). pp. 666-709. ISSN 0960-1295 (2015)

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: A Calculus of Sessions, Pipelines and Services. CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca

Acciai, Lucia and Boreale, Michele and De Nicola, Rocco Linear-Time and May-Testing in a Probabilistic Reactive Setting. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2011). Lecture Notes in Computer Science, 6722 . Springer, pp. 29-43. (2011)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele Sessions and Pipelines for Structured Service Programming. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008). Lecture Notes in Computer Science, 5051 . Springer, pp. 19-38. ISBN 978-3-540-68862-4 (2008)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Trace and Testing Equivalence on Asynchronous Processes. Information and Computation, 172 (2). pp. 139-164. ISSN 0890-5401 (2002)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Divergence in testing and readiness semantics. Theoretical Computer Science, 266 (1-2). pp. 237-248. ISSN 0304-3975 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. SIAM Journal on Computing., 31 (3). pp. 947-986. ISSN 0097-5397 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Process Algebraic Analysis of Cryptographic Protocols. In: Formal Techniques for Distributed System Development (FORTE 2000). IFIP Conference Proceedings, 183 . Kluwer, pp. 375-392. ISBN 0-7923-7968-3 (2000)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. In: Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). IEEE Computer Society, pp. 157-166. (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario A Theory of "May" Testing for Asynchronous Languages. In: Foundations of Software Science and Computation Structures (FoSSaCS 1999). Lecture Notes in Computer Science, 1578 . Springer, pp. 165-179. ISBN 3-540-65719-3 (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Asynchronous Observations of Processes. In: Foundations of Software Science and Computation Structures (FoSSaCS 1998). Lecture Notes in Computer Science, 1378 . Springer, pp. 95-109. ISBN 3-540-64300-1 (1998)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Basic Observables for Processes. In: Automata, Languages and Programming (ICALP 1997). Lecture Notes in Computer Science, 1256 . Springer, pp. 482-492. ISBN 3-540-63165-8 (1997)

Boreale, Michele and De Nicola, Rocco A Symbolic Semantics for the pi-Calculus. Information and Computation, 126 (1). pp. 34-52. ISSN 0890-5401 (1996)

Boreale, Michele and De Nicola, Rocco Testing Equivalence for Mobile Processes. Information and Computation, 120 (2). pp. 279-303. ISSN 0890-5401 (1995)

Br

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science, 25 (3). pp. 666-709. ISSN 0960-1295 (2015)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: A Calculus of Sessions, Pipelines and Services. CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca

Bruni, Roberto and De Nicola, Rocco and Loreti, Michele and Mezzina, Leonardo Gaetano Provably Correct Implementations of Services. In: Trustworthy Global Computing (TGC 2008). Lecture Notes in Computer Science (5474). Springer, pp. 69-86. ISBN 978-3-642-00944-0 (2009)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele Sessions and Pipelines for Structured Service Programming. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008). Lecture Notes in Computer Science, 5051 . Springer, pp. 19-38. ISBN 978-3-540-68862-4 (2008)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Bu

Buravlev, Vitaly and De Nicola, Rocco and Mezzina, Claudio Antares Tuple Spaces Implementations and Their Efficiency. In: Tuple Spaces Implementations and Their Efficiency : Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2. Lecture Notes in Computer Science (9686). Springer, pp. 51-66. ISBN 978-3-319-39518-0 (2016)

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C. Contractual Testing. Working Paper # /2012 (Unpublished)

Ca

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic subtyping for the pi-calculus. Theoretical Computer Science, 398 (1-3). pp. 217-242. ISSN 0304-3975 (2008)

Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic Subtyping for the p-Calculus. In: Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. IEEE Computer Society, pp. 92-101. ISBN 0-7695-2266-1 (2005)

Ce

Shams, Farshad and Cerone, Antonio and De Nicola, Rocco On Integrating Social and Sensor Networks for Emergency Management. In: Software Engineering and Formal Methods. SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Lecture Notes in Computer Science (9509). Springer, pp. 145-160. ISBN 978-3-662-49224-6 (2015)

Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014)

Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014)

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013)

Ch

Chen, Xiao Jun and De Nicola, Rocco Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science, 254 (1-2). pp. 337-361. ISSN 0304-3975 (2001)

Chen, Xiao Jun and De Nicola, Rocco Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. In: Automata, Languages and Programming (ICALP 1996). Lecture Notes in Computer Science, 1099 . Springer, pp. 63-74. ISBN 3-540-61440-0 (1996)

Co

Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna An Equational Axiomatization of Bisimulation over Regular Expressions. Journal of Logic and Computation, 12 (2). pp. 301-320. ISSN 0955-792X (2002)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Graded Modalities and Resource Bisimulation. In: FSTTCS. Lecture Notes in Computer Science, 1738 . Springer, pp. 381-393. ISBN 3-540-66836-5 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Models of Nondeterministic Regular Expressions. Journal of Computer and System Sciences, 59 (3). pp. 412-449. ISSN 0022-0000 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna A finite axiomatization of nondeterministic regular expressions. RAIRO - Theoretical Informatics and Applications, 33 (4/5). pp. 447-466. (1999)

Corradini, Flavio and De Nicola, Rocco Locality Based Semantics for Process Algebras. Acta Informatica, 34 (4). pp. 291-324. ISSN 0001-5903 (1997)

Corradini, Flavio and De Nicola, Rocco On Four Partial Ordering Semantics for a Process Calculus. Fundamenta Informaticae, 27 (4). pp. 349-383. ISSN 1875-8681 (1996)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Fully Abstract Models for Nondeterministic Regular Expressions. In: CONCUR '95: Concurrency Theory. Lecture Notes in Computer Science, 962 . Springer, pp. 130-144. ISBN 3-540-60218-6 (1995)

Corradini, Flavio and De Nicola, Rocco Distribution and Locality of Concurrent Systems. In: Automata, Languages and Programming (ICALP 1994). Lecture Notes in Computer Science, 820 . Springer, pp. 154-165. ISBN 3-540-58201-0 (1994)

De

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele A Behavioural Theory for Interactions in Collective-Adaptive Systems. Working Paper arXiv (Submitted)

Labella, Anna and De Nicola, Rocco Initial Algebra for a System of Right-Linear Functors. Acta Cybernetica, 23 (1). pp. 191-201. ISSN 0324-721X (2017)

Di Stefano, R. and Shams, Farshad and Ghiadoni, L. and Imbalzano, E. and Nuti, M. and Taddei, S. and De Nicola, Rocco P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging. European Heart Journal, 38 (suppl_). ehx504.P3445. ISSN 0195-668X (2017)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. Working Paper arXiv (Submitted)

Vincenzo, Scoca and Uriarte, Rafael Brundo and De Nicola, Rocco Smart Contract Negotiation in Cloud Computing. In: 10th International Conference on Cloud Computing (CLOUD), September 11, 2017, Honolulu, CA, USA pp. 592-599. ISBN 978-1-5386-1993-3. (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

Uriarte, Rafael Brundo and Tiezzi, Francesco and De Nicola, Rocco Dynamic SLAs for Clouds. In: Service-Oriented and Cloud Computing.5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science (9846). Springer, pp. 34-49. ISBN 978-3-319-44482-6 (2016)

De Nicola, Rocco and Melgratti, Hernán Multiparty Testing Preorders. In: Trustworthy Global Computing. 0th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science (9533). Springer International Publishing, Cham, pp. 16-31. ISBN 978-3-319-28766-9 (2016)

Abd Alrahman, Yehia and De Nicola, Rocco and Loreti, Michele On the Power of Attribute-Based Communication. In: Formal Techniques for Distributed Objects, Components, and Systems. 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr. Lecture Notes in Computer Science (9688). Springer, pp. 1-18. ISBN 978-3-319-39570-8 (2016)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming of CAS Systems by Relying on Attribute-Based Communication. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, pp. 539-553. ISBN 978-3-319-47166-2 (2016)

Buravlev, Vitaly and De Nicola, Rocco and Mezzina, Claudio Antares Tuple Spaces Implementations and Their Efficiency. In: Tuple Spaces Implementations and Their Efficiency : Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2. Lecture Notes in Computer Science (9686). Springer, pp. 51-66. ISBN 978-3-319-39518-0 (2016)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele On Expressiveness and Behavioural Theory of Attribute-based Communication. CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science, 25 (3). pp. 666-709. ISSN 0960-1295 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015)

De Nicola, Rocco A formal approach to autonomic systems programming: the SCEL language. In: Formal Aspects of Component Software. Lecture Notes in Computer Science . Springer, pp. 24-28. ISBN 978-3-319-15317-9 (2015)

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015)

Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted)

De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo Global Protocol Implementations via Attribute-Based Communication. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (9465). Springer International Publishing, pp. 219-237. ISBN 978-3-319-25527-9 (2015)

Baldoni, Roberto and De Nicola, Rocco Il Futuro della Cyber Security in Italia. Un libro bianco per raccontare le principali sfide che il nostro Paese dovrà affrontare nei prossimi cinque anni. Consorzio Interuniversitario Nazionale per l'Informatica. ISBN 9788894137309 (2015)

Shams, Farshad and Cerone, Antonio and De Nicola, Rocco On Integrating Social and Sensor Networks for Emergency Management. In: Software Engineering and Formal Methods. SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Lecture Notes in Computer Science (9509). Springer, pp. 145-160. ISBN 978-3-662-49224-6 (2015)

Andrić, Marina and De Nicola, Rocco and Lafuente, Alberto Lluch Replica-Based High-Performance Tuple Space Computing. In: Coordination Models and Languages.17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science (9037). Springer, pp. 3-18. ISBN 978-3-319-19282-6 (2015)

Andrić, Marina and De Nicola, Rocco and Lluch Lafuente, Alberto Replicating Data for Better Performances in X10. In: Semantics, Logics, and Calculi. Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science (9560). Springer, pp. 236-251. ISBN 978-3-319-27810-0 (2015)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015)

De Nicola, Rocco and Hennicker, Rolf A homage to Martin Wirsing. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 1-12. ISBN 978-3-319-15545-6 (2015)

Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014)

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)

De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco A formal approach to autonomic systems programming: the SCEL Language. ACM Transactions on Autonomous and Adaptive Systems, 9 (2). pp. 1-29. ISSN 1556-4665 (2014)

Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014)

De Nicola, Rocco Editor's Note. Journal of Logical and Algebraic Methods in Programming, 83 (2). p. 83. ISSN 2352-2216 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10 (1). pp. 1-42. ISSN 1860-5974 (2014)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming relations for the efficient analysis of concurrent systems via action abstraction. In: Formal techniques for distributed objects, components, and systems. Lecture Notes in Computer Science (8461). Springer , pp. 216-231. ISBN 978-3-662-43612-7 (2014)

Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8358). Springer, pp. 315-330. ISBN 978-3-319-05118-5 (2014)

Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 96-98. ISBN 978-3-662-45233-2 (2014)

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin Reasoning (on) service component ensembles in rewriting logic. In: Specification, Algebra, and Software. Lecture Notes in Computer Science (8373). Springer Berlin Heidelberg, pp. 188-211. ISBN 978-3-642-54623-5 (2014)

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: A Calculus of Sessions, Pipelines and Services. CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science (7542). Springer , pp. 25-48. ISBN 978-3-642-35887-6 (2013)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013)

De Nicola, Rocco and Julien, Christine (edited by) Coordination Models and Languages. Lecture Notes in Computer Science, 7890 . Springer. ISBN 978-3-642-38493-6 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca

Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C. Contractual Testing. Working Paper # /2012 (Unpublished)

De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012)

De Nicola, Rocco Behavioral Equivalences. In: Encyclopedia of Parallel Computing. Springer, pp. 120-127. ISBN 978-0-387-09765-7 (2011)

Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)

Acciai, Lucia and Boreale, Michele and De Nicola, Rocco Linear-Time and May-Testing in a Probabilistic Reactive Setting. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2011). Lecture Notes in Computer Science, 6722 . Springer, pp. 29-43. (2011)

De Nicola, Rocco Process Algebras. In: Encyclopedia of Parallel Computing. Springer, pp. 1624-1636. ISBN 978-0-387-09765-7 (2011)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke SoSL: a service-oriented stochastic logic. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 447-466. ISBN 978-3-642-20400-5 (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

De Nicola, Rocco and Gorla, Daniele and Labella, Anna Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science, 20 (3). pp. 319-358. ISSN 0960-1295 (2010)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. In: Trustworthly Global Computing (TGC 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 35-56. ISBN 978-3-642-15639-7 (2010)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke MarCaSPiS: a Markovian Extension of a Calculus for Services. Electronic Notes in Theoretical Computer Science, 229 (4). pp. 11-26. ISSN 1571-0661 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke On a Uniform Framework for the Definition of Stochastic Process Languages. In: Formal Methods for Industrial Critical Systems (FMICS 2009). Lecture Notes in Computer Science, 5825 . Springer, pp. 9-25. ISBN 978-3-642-04569-1 (2009)

Bruni, Roberto and De Nicola, Rocco and Loreti, Michele and Mezzina, Leonardo Gaetano Provably Correct Implementations of Services. In: Trustworthy Global Computing (TGC 2008). Lecture Notes in Computer Science (5474). Springer, pp. 69-86. ISBN 978-3-642-00944-0 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke Rate-Based Transition Systems for Stochastic Process Calculi. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 435-446. ISBN 978-3-642-02929-5 (2009)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Implementing Session Centered Calculi. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 17-32. ISBN 978-3-540-68264-6 (2008)

De Nicola, Rocco and Loreti, Michele Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science, 18 (1). pp. 107-143. ISSN 0960-1295 (2008)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic subtyping for the pi-calculus. Theoretical Computer Science, 398 (1-3). pp. 217-242. ISSN 0304-3975 (2008)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele Sessions and Pipelines for Structured Service Programming. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008). Lecture Notes in Computer Science, 5051 . Springer, pp. 19-38. ISBN 978-3-540-68862-4 (2008)

Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008)

De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008)

De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008)

Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke Basic Observables for Probabilistic May Testing. In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE Computer Society, pp. 189-200. ISBN 0-7695-2883-X (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic observables for a calculus for global computing. Information and Computation, 205 (10). pp. 1491-1525. ISSN 0890-5401 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global computing in a dynamic network of tuple spaces. Science of Computer Programming, 64 (2). pp. 187-204. ISSN 0167-6423 (2007)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele Implementing a distributed mobile calculus using the IMC framework. Electronic Notes in Theoretical Computer Science, 181. pp. 63-79. ISSN 1571-0661 (2007)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)

De Nicola, Rocco and Loreti, Michele Multi labelled transition systems: a semantic framework for nominal calculi. Electronic Notes in Theoretical Computer Science, 169. pp. 133-146. ISSN 1571-0661 (2007)

De Nicola, Rocco Session Centered Calculi for Service Oriented Computing. In: THEORETICAL COMPUTER SCIENCE Proceedings of the 10th Italian Conference on (ICTCS '07I. World Scientific, pp. 6-10. ISBN 981-277-098-4 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Confining data and processes in global computing applications. Science of Computer Programming, 63 (1). pp. 57-87. ISSN 0167-6423 (2006)

De Nicola, Rocco From Process Calculi to Klaim and Back. Electronic Notes in Theoretical Computer Science, 162. pp. 159-162. ISSN 1571-0661 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the expressive power of KLAIM-based calculi. Theoretical Computer Science, 356 (3). pp. 387-421. ISSN 0304-3975 (2006)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic Observables for a Calculus for Global Computing. In: Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, 3580 . Springer, pp. 1226-1238. ISBN 3-540-27580-0 (2005)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Distributed Applications and Interoperable Systems (DAIS 2005). Lecture Notes in Computer Science, 3543 . Springer, pp. 181-193. ISBN 3-540-26262-8 (2005)

De Nicola, Rocco and Latella, Diego and Massink, Mieke Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Proceedings of the 2005 ACM symposium on Applied computing. SAC '05 . ACM, pp. 428-435. ISBN 1-58113-964-0 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global Computing in a Dynamic Network of Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 157-172. ISBN 3-540-25630-X (2005)

De Nicola, Rocco Languages and Process Calculi for Network Aware Programming - Short Summary -. In: Theoretical Aspects of Computing (ICTAC 2005). Lecture Notes in Computer Science, 3722 . Springer, pp. 49-52. ISBN 3-540-29107-5 (2005)

Bettini, Lorenzo and De Nicola, Rocco Mobile Distributed Programming in X-Klaim. In: Formal Methods for Mobile Computing. Lecture Notes in Computer Science, 3465 . Springer, pp. 29-68. ISBN 3-540-25697-0 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the Expressive Power of Klaim-based Calculi. Electronic Notes in Theoretical Computer Science, 128 (2). pp. 117-130. ISSN 1571-0661 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Pattern Matching over a Dynamic Network of Tuple Spaces. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005). Lecture Notes in Computer Science, 3535 . Springer, pp. 1-14. ISBN 3-540-26181-8 (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic Subtyping for the p-Calculus. In: Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. IEEE Computer Society, pp. 92-101. ISBN 0-7695-2266-1 (2005)

De Nicola, Rocco and Sangiorgi, Davide Types in concurrency. Acta Informatica, 42 (2-3). pp. 79-81. ISSN 0001-5903 (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Automated Software Engineering, 11 (3). pp. 245-288. ISSN 0928-8910 (2004)

De Nicola, Rocco and Loreti, Michele MoMo: A Modal Logic for Reasoning About Mobility. In: Formal Methods for Components and Objects (FMCO 2004). Lecture Notes in Computer Science, 3657 . Springer, pp. 95-119. ISBN 3-540-29131-8 (2004)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Loreti, Michele and De Nicola, Rocco A modal logic for mobile agents. ACM Transactions on Computational Logic , 5 (1). pp. 79-128. ISSN 1557-945X (2004)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

De Nicola, Rocco and Labella, Anna Nondeterministic regular expressions as solutions of equational systems. Theoretical Computer Science, 302 (1-3). pp. 179-189. ISSN 0304-3975 (2003)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario XKlaim and Klava: Programming Mobile Code. Electronic Notes in Theoretical Computer Science, 62. pp. 24-37. ISSN 1571-0661 (2002)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna An Equational Axiomatization of Bisimulation over Regular Expressions. Journal of Logic and Computation, 12 (2). pp. 301-320. ISSN 0955-792X (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formalizing Properties of Mobile Agent Systems. In: Coordination Models and Languages (COORDINATION 2002). Lecture Notes in Computer Science, 2315 . Springer, pp. 72-87. ISBN 3-540-43410-0 (2002)

Bettini, Lorenzo and De Nicola, Rocco A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. In: Scientific Engineering for Distributed Java Applications (FIDJI 2002). Lecture Notes in Computer Science, 2604 . Springer, pp. 175-184. ISBN 3-540-00679-6 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario Klava: a Java package for distributed and mobile applications. Software: Practice and Experience, 32 (14). pp. 1365-1394. ISSN 1097-024X (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Software update via mobile agent based programming. In: Proceedings of the 2002 ACM symposium on Applied computing (SAC '02). ACM, pp. 32-36. (2002)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Trace and Testing Equivalence on Asynchronous Processes. Information and Computation, 172 (2). pp. 139-164. ISSN 0890-5401 (2002)

Chen, Xiao Jun and De Nicola, Rocco Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science, 254 (1-2). pp. 337-361. ISSN 0304-3975 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Divergence in testing and readiness semantics. Theoretical Computer Science, 266 (1-2). pp. 237-248. ISSN 0304-3975 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. SIAM Journal on Computing., 31 (3). pp. 947-986. ISSN 0097-5397 (2001)

Bettini, Lorenzo and De Nicola, Rocco Translating Strong Mobility into Weak Mobility. In: Mobile Agents. Lecture Notes in Computer Science, 2240 . Springer, pp. 182-197. ISBN 3-540-42952-2 (2001)

De Nicola, Rocco and Pugliese, Rosario Linda-based applicative and imperative process algebras. Theoretical Computer Science, 238 (1-2). pp. 389-437. ISSN 0304-3975 (2000)

Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Mobile Applications in X-KLAIM. In: WOA 2000 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. Atti di Congressi, 1195 . Pitagora Editrice Bologna, Parma, pp. 1-6. ISBN 88-371-1195-9 (2000)

De Nicola, Rocco and Loreti, Michele A Modal Logic for KLAIM. In: Algebraic Methodology and Software Technology (AMAST 2000). Lecture Notes in Computer Science, 1816 . Springer, pp. 339-354. ISBN 3-540-67530-2 (2000)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Process Algebraic Analysis of Cryptographic Protocols. In: Formal Techniques for Distributed System Development (FORTE 2000). IFIP Conference Proceedings, 183 . Kluwer, pp. 375-392. ISBN 0-7923-7968-3 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Programming Access Control: The KLAIM Experience. In: CONCUR 2000 — Concurrency Theory. Lecture Notes in Computer Science, 1877 . Springer, pp. 48-65. ISBN 3-540-67897-2 (2000)

De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2000). Lecture Notes in Computer Science, 1906 . Springer, pp. 66-80. ISBN 3-540-41020-1 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000)

De Nicola, Rocco Coordination and Access Control of Mobile Agents. In: Coordination Languages and Models (COORDINATION 1999). Lecture Notes in Computer Science, 1594 . Springer, pp. 1-2. ISBN 3-540-65836-X (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Graded Modalities and Resource Bisimulation. In: FSTTCS. Lecture Notes in Computer Science, 1738 . Springer, pp. 381-393. ISBN 3-540-66836-5 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Models of Nondeterministic Regular Expressions. Journal of Computer and System Sciences, 59 (3). pp. 412-449. ISSN 0022-0000 (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. In: Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). IEEE Computer Society, pp. 157-166. (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario A Theory of "May" Testing for Asynchronous Languages. In: Foundations of Software Science and Computation Structures (FoSSaCS 1999). Lecture Notes in Computer Science, 1578 . Springer, pp. 165-179. ISBN 3-540-65719-3 (1999)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Types as Specifications of Access Policies. In: Secure Internet Programming. Lecture Notes in Computer Science, 1603 . Springer, pp. 118-146. ISBN 3-540-66130-1 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna A finite axiomatization of nondeterministic regular expressions. RAIRO - Theoretical Informatics and Applications, 33 (4/5). pp. 447-466. (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Asynchronous Observations of Processes. In: Foundations of Software Science and Computation Structures (FoSSaCS 1998). Lecture Notes in Computer Science, 1378 . Springer, pp. 95-109. ISBN 3-540-64300-1 (1998)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario and Ferrari, GianLuigi Interactive Mobile Agents in X-Klaim. In: Enabling Technologies: Infrastructure for Collaborative Enterprises, 1998. (WET ICE '98) Proceedings., Seventh IEEE International Workshops on. IEEE Computer Society, pp. 110-117. ISBN 0-8186-8751-7 (1998)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5). pp. 315-330. ISSN 0098-5589 (1998)

De Nicola, Rocco and Veglioni, Simone Possible Worlds for Process Algebras. In: CONCUR '98 Concurrency Theory. Lecture Notes in Computer Science, 1466 . Springer, pp. 179-193. ISBN 3-540-64896-8 (1998)

De Nicola, Rocco and Labella, Anna Tree morphisms and bisimulations. Electronic Notes in Theoretical Computer Science, 18. pp. 46-64. ISSN 1571-0661 (1998)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Basic Observables for Processes. In: Automata, Languages and Programming (ICALP 1997). Lecture Notes in Computer Science, 1256 . Springer, pp. 482-492. ISBN 3-540-63165-8 (1997)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Coordinating Mobile Agents via Blackboards and Access Rights. In: Coordination Languages and Models (COORDINATION 1997). Lecture Notes in Computer Science, 1282 . Springer, pp. 220-237. ISBN 3-540-63383-9 (1997)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Locality Based Linda: Programming with Explicit Localities. In: TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science, 1214 . Springer, pp. 712-726. ISBN 3-540-62781-2 (1997)

Corradini, Flavio and De Nicola, Rocco Locality Based Semantics for Process Algebras. Acta Informatica, 34 (4). pp. 291-324. ISSN 0001-5903 (1997)

De Nicola, Rocco and Pugliese, Rosario Testing Semantics of Asynchronous Distributed Programs. In: Analysis and Verification of Multiple-Agent Languages (LOMAPS 1996). Lecture Notes in Computer Science, 1192 . Springer, pp. 320-344. ISBN 3-540-62503-8 (1997)

Chen, Xiao Jun and De Nicola, Rocco Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. In: Automata, Languages and Programming (ICALP 1996). Lecture Notes in Computer Science, 1099 . Springer, pp. 63-74. ISBN 3-540-61440-0 (1996)

De Nicola, Rocco and Smolka, Scott A. Concurrency: Theory and Practice. ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, 28 (4es). p. 52. ISSN 0360-0300 (1996)

Corradini, Flavio and De Nicola, Rocco On Four Partial Ordering Semantics for a Process Calculus. Fundamenta Informaticae, 27 (4). pp. 349-383. ISSN 1875-8681 (1996)

De Nicola, Rocco and Pugliese, Rosario A Process Algebra Based on LINDA. In: Coordination Languages and Models (COORDINATION 1996). Lecture Notes in Computer Science, 1061 . Springer, pp. 160-178. ISBN 3-540-61052-9 (1996)

Boreale, Michele and De Nicola, Rocco A Symbolic Semantics for the pi-Calculus. Information and Computation, 126 (1). pp. 34-52. ISSN 0890-5401 (1996)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Fully Abstract Models for Nondeterministic Regular Expressions. In: CONCUR '95: Concurrency Theory. Lecture Notes in Computer Science, 962 . Springer, pp. 130-144. ISBN 3-540-60218-6 (1995)

De Nicola, Rocco and Segala, Roberto A Process Algebraic View of Input/Output Automata. Theoretical Computer Science, 138 (2). pp. 391-423. ISSN 0304-3975 (1995)

Boreale, Michele and De Nicola, Rocco Testing Equivalence for Mobile Processes. Information and Computation, 120 (2). pp. 279-303. ISSN 0890-5401 (1995)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation. J. ACM, 42 (2). pp. 458-487. ISSN 0004-5411 (1995)

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

De Nicola, Rocco and Labella, Anna A Completeness Theorem for Nondeterministic Kleene Algebras. In: Mathematical Foundations of Computer Science 1994. Lecture Notes in Computer Science, 841 . Springer, pp. 536-545. ISBN 3-540-58338-6 (1994)

Corradini, Flavio and De Nicola, Rocco Distribution and Locality of Concurrent Systems. In: Automata, Languages and Programming (ICALP 1994). Lecture Notes in Computer Science, 820 . Springer, pp. 154-165. ISBN 3-540-58201-0 (1994)

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems, 25 (7). pp. 761-778. ISSN 0169-7552 (1993)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993)

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An action based framework for verifying logical and behavioural properties of concurrent systems. In: Computer Aided Verification (CAV 1991). Lecture Notes in Computer Science, 575 . Springer, pp. 37-47. ISBN 3-540-55179-4 (1992)

De Nicola, Rocco Action and State-based Logics for Process Algebras. In: CONCUR 1991. Lecture Notes in Computer Science, 527 . Springer, pp. 20-22. ISBN 3-540-54430-5 (1991)

De Nicola, Rocco and Vaandrager, Frits W. Action versus State based Logics for Transition Systems. In: Semantics of Systems of Concurrent Processes. Lecture Notes in Computer Science, 469 . Springer, pp. 407-419. ISBN 3-540-53479-2 (1990)

De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W. Back and Forth Bisimulations. In: CONCUR '90 Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, 458 . Springer, pp. 152-165. ISBN 3-540-53048-7 (1990)

De Nicola, Rocco and Ferrari, GianLuigi Observational Logics and Concurrency Models. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990). Lecture Notes in Computer Science, 472 . Springer, pp. 301-315. ISBN 3-540-53487-3 (1990)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation (Extended Abstract). In: LICS. IEEE Computer Society, pp. 118-129. (1990)

De Nicola, Rocco and Inverardi, Paola and Nesi, Monica Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In: Automatic Verification Methods for Finite State Systems. Lecture Notes in Computer Science, 407 . Springer, pp. 54-67. ISBN 3-540-52148-8 (1990)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988)

De Nicola, Rocco and Hennessy, Matthew CCS without tau's. In: TAPSOFT '87, Vol.1. Lecture Notes in Computer Science, 249 . Springer, pp. 138-152. ISBN 3-540-17660-8 (1987)

De Nicola, Rocco Extensional Equivalences for Transition Systems. Acta Informatica, 24 (2). pp. 211-237. ISSN 0001-5903 (1987)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo CCS is an (Augmented) Contact Free C/E System. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 144-165. ISBN 3-540-18419-8 (1986)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo CCS is an (Augmented) Contact Free C/E System. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 144-165. ISBN 3-540-18419-8 (1986)

De Nicola, Rocco Net Theory and Application - Response. In: IFIP Congress. North-Holland/IFIP, pp. 833-836. ISBN 0-444-70077-3 (1986)

Aceto, Luca and Fantechi, Alessandro and De Nicola, Rocco Testing Equivalences for Event Structures. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 1-20. ISBN 3-540-18419-8 (1986)

De Nicola, Rocco Testing Equivalences and Fully Abstract Models for Communicating Processes. PhD Thesis thesis, University of Edinburgh. (1985)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial ordering derivations for CCS. In: Fundamentals of Computation Theory (FCT 1985). Lecture Notes in Computer Science, 199 . Springer, pp. 520-533. ISBN 3-540-15689-5 (1985)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial ordering derivations for CCS. In: Fundamentals of Computation Theory (FCT 1985). Lecture Notes in Computer Science, 199 . Springer, pp. 520-533. ISBN 3-540-15689-5 (1985)

De Nicola, Rocco Two Complete Axiom Systems for a Theory of Communicating Sequential Processes. Information and Control, 64 (1-3). pp. 136-172. ISSN 0019-9958 (1985)

De Nicola, Rocco Models and Operators for Nondeterministic Processes. In: Mathematical Foundations of Computer Science (MFCS 1984). Lecture Notes in Computer Science, 176 . Springer, pp. 433-442. ISBN 3-540-13372-0 (1984)

Hennessy, Matthew and De Nicola, Rocco Testing Equivalences for Processes. Theoretical Computer Science, 34. pp. 83-133. ISSN 0304-3975 (1984)

De Nicola, Rocco A Complete Set of Axioms for a Theory of Communicating Sequential Processes. In: Foundations of Computation Theory. Lecture Notes in Computer Science, 158 . Springer, pp. 115-126. ISBN 3-540-12689-9 (1983)

De Nicola, Rocco and Hennessy, Matthew Testing Equivalence for Processes. In: Automata, Languages and Programming (ICALP 1983). Lecture Notes in Computer Science, 154 . Springer, pp. 548-560. ISBN 3-540-12317-2 (1983)

De Nicola, Rocco and Matelli, Alberto and Montanari, Ugo Communication Through Message Passing or Shared Memory: A Formal Comparison. In: Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981). IEEE Computer Society, pp. 513-522. (1981)

Di

Di Stefano, R. and Shams, Farshad and Ghiadoni, L. and Imbalzano, E. and Nuti, M. and Taddei, S. and De Nicola, Rocco P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging. European Heart Journal, 38 (suppl_). ehx504.P3445. ISSN 0195-668X (2017)

Du

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

Fa

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele Implementing a distributed mobile calculus using the IMC framework. Electronic Notes in Theoretical Computer Science, 181. pp. 63-79. ISSN 1571-0661 (2007)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Distributed Applications and Interoperable Systems (DAIS 2005). Lecture Notes in Computer Science, 3543 . Springer, pp. 181-193. ISBN 3-540-26262-8 (2005)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems, 25 (7). pp. 761-778. ISSN 0169-7552 (1993)

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An action based framework for verifying logical and behavioural properties of concurrent systems. In: Computer Aided Verification (CAV 1991). Lecture Notes in Computer Science, 575 . Springer, pp. 37-47. ISBN 3-540-55179-4 (1992)

Aceto, Luca and Fantechi, Alessandro and De Nicola, Rocco Testing Equivalences for Event Structures. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 1-20. ISBN 3-540-18419-8 (1986)

Fe

De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science (7542). Springer , pp. 25-48. ISBN 978-3-642-35887-6 (2013)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Mobile Applications in X-KLAIM. In: WOA 2000 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. Atti di Congressi, 1195 . Pitagora Editrice Bologna, Parma, pp. 1-6. ISBN 88-371-1195-9 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Programming Access Control: The KLAIM Experience. In: CONCUR 2000 — Concurrency Theory. Lecture Notes in Computer Science, 1877 . Springer, pp. 48-65. ISBN 3-540-67897-2 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Types as Specifications of Access Policies. In: Secure Internet Programming. Lecture Notes in Computer Science, 1603 . Springer, pp. 118-146. ISBN 3-540-66130-1 (1999)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario and Ferrari, GianLuigi Interactive Mobile Agents in X-Klaim. In: Enabling Technologies: Infrastructure for Collaborative Enterprises, 1998. (WET ICE '98) Proceedings., Seventh IEEE International Workshops on. IEEE Computer Society, pp. 110-117. ISBN 0-8186-8751-7 (1998)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5). pp. 315-330. ISSN 0098-5589 (1998)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Coordinating Mobile Agents via Blackboards and Access Rights. In: Coordination Languages and Models (COORDINATION 1997). Lecture Notes in Computer Science, 1282 . Springer, pp. 220-237. ISBN 3-540-63383-9 (1997)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Locality Based Linda: Programming with Explicit Localities. In: TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science, 1214 . Springer, pp. 712-726. ISBN 3-540-62781-2 (1997)

De Nicola, Rocco and Ferrari, GianLuigi Observational Logics and Concurrency Models. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990). Lecture Notes in Computer Science, 472 . Springer, pp. 301-315. ISBN 3-540-53487-3 (1990)

Fi

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Ga

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Ge

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Gh

Di Stefano, R. and Shams, Farshad and Ghiadoni, L. and Imbalzano, E. and Nuti, M. and Taddei, S. and De Nicola, Rocco P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging. European Heart Journal, 38 (suppl_). ehx504.P3445. ISSN 0195-668X (2017)

Gi

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

Gn

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems, 25 (7). pp. 761-778. ISSN 0169-7552 (1993)

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An action based framework for verifying logical and behavioural properties of concurrent systems. In: Computer Aided Verification (CAV 1991). Lecture Notes in Computer Science, 575 . Springer, pp. 37-47. ISBN 3-540-55179-4 (1992)

Go

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

De Nicola, Rocco and Gorla, Daniele and Labella, Anna Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science, 20 (3). pp. 319-358. ISSN 0960-1295 (2010)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic observables for a calculus for global computing. Information and Computation, 205 (10). pp. 1491-1525. ISSN 0890-5401 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global computing in a dynamic network of tuple spaces. Science of Computer Programming, 64 (2). pp. 187-204. ISSN 0167-6423 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Confining data and processes in global computing applications. Science of Computer Programming, 63 (1). pp. 57-87. ISSN 0167-6423 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the expressive power of KLAIM-based calculi. Theoretical Computer Science, 356 (3). pp. 387-421. ISSN 0304-3975 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic Observables for a Calculus for Global Computing. In: Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, 3580 . Springer, pp. 1226-1238. ISBN 3-540-27580-0 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global Computing in a Dynamic Network of Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 157-172. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the Expressive Power of Klaim-based Calculi. Electronic Notes in Theoretical Computer Science, 128 (2). pp. 117-130. ISSN 1571-0661 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Pattern Matching over a Dynamic Network of Tuple Spaces. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005). Lecture Notes in Computer Science, 3535 . Springer, pp. 1-14. ISBN 3-540-26181-8 (2005)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Ha

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)

He

De Nicola, Rocco and Hennicker, Rolf A homage to Martin Wirsing. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 1-12. ISBN 978-3-319-15545-6 (2015)

De Nicola, Rocco and Hennessy, Matthew CCS without tau's. In: TAPSOFT '87, Vol.1. Lecture Notes in Computer Science, 249 . Springer, pp. 138-152. ISBN 3-540-17660-8 (1987)

Hennessy, Matthew and De Nicola, Rocco Testing Equivalences for Processes. Theoretical Computer Science, 34. pp. 83-133. ISSN 0304-3975 (1984)

De Nicola, Rocco and Hennessy, Matthew Testing Equivalence for Processes. In: Automata, Languages and Programming (ICALP 1983). Lecture Notes in Computer Science, 154 . Springer, pp. 548-560. ISBN 3-540-12317-2 (1983)

Hi

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Ho

Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted)

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 96-98. ISBN 978-3-662-45233-2 (2014)

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

Ia

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming relations for the efficient analysis of concurrent systems via action abstraction. In: Formal techniques for distributed objects, components, and systems. Lecture Notes in Computer Science (8461). Springer , pp. 216-231. ISBN 978-3-662-43612-7 (2014)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca

Im

Di Stefano, R. and Shams, Farshad and Ghiadoni, L. and Imbalzano, E. and Nuti, M. and Taddei, S. and De Nicola, Rocco P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging. European Heart Journal, 38 (suppl_). ehx504.P3445. ISSN 0195-668X (2017)

In

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

De Nicola, Rocco and Inverardi, Paola and Nesi, Monica Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In: Automatic Verification Methods for Finite State Systems. Lecture Notes in Computer Science, 407 . Springer, pp. 54-67. ISBN 3-540-52148-8 (1990)

Ju

De Nicola, Rocco and Julien, Christine (edited by) Coordination Models and Languages. Lecture Notes in Computer Science, 7890 . Springer. ISBN 978-3-642-38493-6 (2013)

Ka

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006)

Ki

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Ko

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

La

Labella, Anna and De Nicola, Rocco Initial Algebra for a System of Right-Linear Functors. Acta Cybernetica, 23 (1). pp. 191-201. ISSN 0324-721X (2017)

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Andrić, Marina and De Nicola, Rocco and Lafuente, Alberto Lluch Replica-Based High-Performance Tuple Space Computing. In: Coordination Models and Languages.17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science (9037). Springer, pp. 3-18. ISBN 978-3-319-19282-6 (2015)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke SoSL: a service-oriented stochastic logic. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 447-466. ISBN 978-3-642-20400-5 (2011)

De Nicola, Rocco and Gorla, Daniele and Labella, Anna Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science, 20 (3). pp. 319-358. ISSN 0960-1295 (2010)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke MarCaSPiS: a Markovian Extension of a Calculus for Services. Electronic Notes in Theoretical Computer Science, 229 (4). pp. 11-26. ISSN 1571-0661 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke On a Uniform Framework for the Definition of Stochastic Process Languages. In: Formal Methods for Industrial Critical Systems (FMICS 2009). Lecture Notes in Computer Science, 5825 . Springer, pp. 9-25. ISBN 978-3-642-04569-1 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke Rate-Based Transition Systems for Stochastic Process Calculi. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 435-446. ISBN 978-3-642-02929-5 (2009)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Distributed Applications and Interoperable Systems (DAIS 2005). Lecture Notes in Computer Science, 3543 . Springer, pp. 181-193. ISBN 3-540-26262-8 (2005)

De Nicola, Rocco and Latella, Diego and Massink, Mieke Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Proceedings of the 2005 ACM symposium on Applied computing. SAC '05 . ACM, pp. 428-435. ISBN 1-58113-964-0 (2005)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

De Nicola, Rocco and Labella, Anna Nondeterministic regular expressions as solutions of equational systems. Theoretical Computer Science, 302 (1-3). pp. 179-189. ISSN 0304-3975 (2003)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna An Equational Axiomatization of Bisimulation over Regular Expressions. Journal of Logic and Computation, 12 (2). pp. 301-320. ISSN 0955-792X (2002)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Graded Modalities and Resource Bisimulation. In: FSTTCS. Lecture Notes in Computer Science, 1738 . Springer, pp. 381-393. ISBN 3-540-66836-5 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Models of Nondeterministic Regular Expressions. Journal of Computer and System Sciences, 59 (3). pp. 412-449. ISSN 0022-0000 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna A finite axiomatization of nondeterministic regular expressions. RAIRO - Theoretical Informatics and Applications, 33 (4/5). pp. 447-466. (1999)

De Nicola, Rocco and Labella, Anna Tree morphisms and bisimulations. Electronic Notes in Theoretical Computer Science, 18. pp. 46-64. ISSN 1571-0661 (1998)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Fully Abstract Models for Nondeterministic Regular Expressions. In: CONCUR '95: Concurrency Theory. Lecture Notes in Computer Science, 962 . Springer, pp. 130-144. ISBN 3-540-60218-6 (1995)

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

De Nicola, Rocco and Labella, Anna A Completeness Theorem for Nondeterministic Kleene Algebras. In: Mathematical Foundations of Computer Science 1994. Lecture Notes in Computer Science, 841 . Springer, pp. 536-545. ISBN 3-540-58338-6 (1994)

Ll

Andrić, Marina and De Nicola, Rocco and Lluch Lafuente, Alberto Replicating Data for Better Performances in X10. In: Semantics, Logics, and Calculi. Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science (9560). Springer, pp. 236-251. ISBN 978-3-319-27810-0 (2015)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

Lo

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele A Behavioural Theory for Interactions in Collective-Adaptive Systems. Working Paper arXiv (Submitted)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. Working Paper arXiv (Submitted)

Abd Alrahman, Yehia and De Nicola, Rocco and Loreti, Michele On the Power of Attribute-Based Communication. In: Formal Techniques for Distributed Objects, Components, and Systems. 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr. Lecture Notes in Computer Science (9688). Springer, pp. 1-18. ISBN 978-3-319-39570-8 (2016)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming of CAS Systems by Relying on Attribute-Based Communication. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, pp. 539-553. ISBN 978-3-319-47166-2 (2016)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele On Expressiveness and Behavioural Theory of Attribute-based Communication. CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science, 25 (3). pp. 666-709. ISSN 0960-1295 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015)

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)

De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco A formal approach to autonomic systems programming: the SCEL Language. ACM Transactions on Autonomous and Adaptive Systems, 9 (2). pp. 1-29. ISSN 1556-4665 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10 (1). pp. 1-42. ISSN 1860-5974 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8358). Springer, pp. 315-330. ISBN 978-3-319-05118-5 (2014)

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: A Calculus of Sessions, Pipelines and Services. CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science (7542). Springer , pp. 25-48. ISBN 978-3-642-35887-6 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke SoSL: a service-oriented stochastic logic. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 447-466. ISBN 978-3-642-20400-5 (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. In: Trustworthly Global Computing (TGC 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 35-56. ISBN 978-3-642-15639-7 (2010)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke MarCaSPiS: a Markovian Extension of a Calculus for Services. Electronic Notes in Theoretical Computer Science, 229 (4). pp. 11-26. ISSN 1571-0661 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke On a Uniform Framework for the Definition of Stochastic Process Languages. In: Formal Methods for Industrial Critical Systems (FMICS 2009). Lecture Notes in Computer Science, 5825 . Springer, pp. 9-25. ISBN 978-3-642-04569-1 (2009)

Bruni, Roberto and De Nicola, Rocco and Loreti, Michele and Mezzina, Leonardo Gaetano Provably Correct Implementations of Services. In: Trustworthy Global Computing (TGC 2008). Lecture Notes in Computer Science (5474). Springer, pp. 69-86. ISBN 978-3-642-00944-0 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke Rate-Based Transition Systems for Stochastic Process Calculi. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 435-446. ISBN 978-3-642-02929-5 (2009)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Implementing Session Centered Calculi. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 17-32. ISBN 978-3-540-68264-6 (2008)

De Nicola, Rocco and Loreti, Michele Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science, 18 (1). pp. 107-143. ISSN 0960-1295 (2008)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele Sessions and Pipelines for Structured Service Programming. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008). Lecture Notes in Computer Science, 5051 . Springer, pp. 19-38. ISBN 978-3-540-68862-4 (2008)

Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele Implementing a distributed mobile calculus using the IMC framework. Electronic Notes in Theoretical Computer Science, 181. pp. 63-79. ISSN 1571-0661 (2007)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)

De Nicola, Rocco and Loreti, Michele Multi labelled transition systems: a semantic framework for nominal calculi. Electronic Notes in Theoretical Computer Science, 169. pp. 133-146. ISSN 1571-0661 (2007)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Distributed Applications and Interoperable Systems (DAIS 2005). Lecture Notes in Computer Science, 3543 . Springer, pp. 181-193. ISBN 3-540-26262-8 (2005)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Automated Software Engineering, 11 (3). pp. 245-288. ISSN 0928-8910 (2004)

De Nicola, Rocco and Loreti, Michele MoMo: A Modal Logic for Reasoning About Mobility. In: Formal Methods for Components and Objects (FMCO 2004). Lecture Notes in Computer Science, 3657 . Springer, pp. 95-119. ISBN 3-540-29131-8 (2004)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Loreti, Michele and De Nicola, Rocco A modal logic for mobile agents. ACM Transactions on Computational Logic , 5 (1). pp. 79-128. ISSN 1557-945X (2004)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formalizing Properties of Mobile Agent Systems. In: Coordination Models and Languages (COORDINATION 2002). Lecture Notes in Computer Science, 2315 . Springer, pp. 72-87. ISBN 3-540-43410-0 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Software update via mobile agent based programming. In: Proceedings of the 2002 ACM symposium on Applied computing (SAC '02). ACM, pp. 32-36. (2002)

De Nicola, Rocco and Loreti, Michele A Modal Logic for KLAIM. In: Algebraic Methodology and Software Technology (AMAST 2000). Lecture Notes in Computer Science, 1816 . Springer, pp. 339-354. ISBN 3-540-67530-2 (2000)

Lu

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

Ma

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015)

Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014)

Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke SoSL: a service-oriented stochastic logic. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 447-466. ISBN 978-3-642-20400-5 (2011)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke MarCaSPiS: a Markovian Extension of a Calculus for Services. Electronic Notes in Theoretical Computer Science, 229 (4). pp. 11-26. ISSN 1571-0661 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke On a Uniform Framework for the Definition of Stochastic Process Languages. In: Formal Methods for Industrial Critical Systems (FMICS 2009). Lecture Notes in Computer Science, 5825 . Springer, pp. 9-25. ISBN 978-3-642-04569-1 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke Rate-Based Transition Systems for Stochastic Process Calculi. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 435-446. ISBN 978-3-642-02929-5 (2009)

Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke Basic Observables for Probabilistic May Testing. In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE Computer Society, pp. 189-200. ISBN 0-7695-2883-X (2007)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006)

De Nicola, Rocco and Latella, Diego and Massink, Mieke Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Proceedings of the 2005 ACM symposium on Applied computing. SAC '05 . ACM, pp. 428-435. ISBN 1-58113-964-0 (2005)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

De Nicola, Rocco and Matelli, Alberto and Montanari, Ugo Communication Through Message Passing or Shared Memory: A Formal Comparison. In: Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981). IEEE Computer Society, pp. 513-522. (1981)

Me

De Nicola, Rocco and Melgratti, Hernán Multiparty Testing Preorders. In: Trustworthy Global Computing. 0th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science (9533). Springer International Publishing, Cham, pp. 16-31. ISBN 978-3-319-28766-9 (2016)

Buravlev, Vitaly and De Nicola, Rocco and Mezzina, Claudio Antares Tuple Spaces Implementations and Their Efficiency. In: Tuple Spaces Implementations and Their Efficiency : Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2. Lecture Notes in Computer Science (9686). Springer, pp. 51-66. ISBN 978-3-319-39518-0 (2016)

De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo Global Protocol Implementations via Attribute-Based Communication. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (9465). Springer International Publishing, pp. 219-237. ISBN 978-3-319-25527-9 (2015)

Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C. Contractual Testing. Working Paper # /2012 (Unpublished)

Bruni, Roberto and De Nicola, Rocco and Loreti, Michele and Mezzina, Leonardo Gaetano Provably Correct Implementations of Services. In: Trustworthy Global Computing (TGC 2008). Lecture Notes in Computer Science (5474). Springer, pp. 69-86. ISBN 978-3-642-00944-0 (2009)

De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008)

Mo

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993)

De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W. Back and Forth Bisimulations. In: CONCUR '90 Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, 458 . Springer, pp. 152-165. ISBN 3-540-53048-7 (1990)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo CCS is an (Augmented) Contact Free C/E System. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 144-165. ISBN 3-540-18419-8 (1986)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial ordering derivations for CCS. In: Fundamentals of Computation Theory (FCT 1985). Lecture Notes in Computer Science, 199 . Springer, pp. 520-533. ISBN 3-540-15689-5 (1985)

De Nicola, Rocco and Matelli, Alberto and Montanari, Ugo Communication Through Message Passing or Shared Memory: A Formal Comparison. In: Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981). IEEE Computer Society, pp. 513-522. (1981)

Ne

De Nicola, Rocco and Inverardi, Paola and Nesi, Monica Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In: Automatic Verification Methods for Finite State Systems. Lecture Notes in Computer Science, 407 . Springer, pp. 54-67. ISBN 3-540-52148-8 (1990)

Ni

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)

Nu

Di Stefano, R. and Shams, Farshad and Ghiadoni, L. and Imbalzano, E. and Nuti, M. and Taddei, S. and De Nicola, Rocco P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging. European Heart Journal, 38 (suppl_). ehx504.P3445. ISSN 0195-668X (2017)

Ol

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Pa

Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke Basic Observables for Probabilistic May Testing. In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE Computer Society, pp. 189-200. ISBN 0-7695-2883-X (2007)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Pe

Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted)

De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015)

Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014)

Pr

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)

Pu

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco A formal approach to autonomic systems programming: the SCEL Language. ACM Transactions on Autonomous and Adaptive Systems, 9 (2). pp. 1-29. ISSN 1556-4665 (2014)

Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014)

Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014)

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science (7542). Springer , pp. 25-48. ISBN 978-3-642-35887-6 (2013)

Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic observables for a calculus for global computing. Information and Computation, 205 (10). pp. 1491-1525. ISSN 0890-5401 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global computing in a dynamic network of tuple spaces. Science of Computer Programming, 64 (2). pp. 187-204. ISSN 0167-6423 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Confining data and processes in global computing applications. Science of Computer Programming, 63 (1). pp. 57-87. ISSN 0167-6423 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the expressive power of KLAIM-based calculi. Theoretical Computer Science, 356 (3). pp. 387-421. ISSN 0304-3975 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic Observables for a Calculus for Global Computing. In: Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, 3580 . Springer, pp. 1226-1238. ISBN 3-540-27580-0 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global Computing in a Dynamic Network of Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 157-172. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the Expressive Power of Klaim-based Calculi. Electronic Notes in Theoretical Computer Science, 128 (2). pp. 117-130. ISSN 1571-0661 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Pattern Matching over a Dynamic Network of Tuple Spaces. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005). Lecture Notes in Computer Science, 3535 . Springer, pp. 1-14. ISBN 3-540-26181-8 (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario XKlaim and Klava: Programming Mobile Code. Electronic Notes in Theoretical Computer Science, 62. pp. 24-37. ISSN 1571-0661 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario Klava: a Java package for distributed and mobile applications. Software: Practice and Experience, 32 (14). pp. 1365-1394. ISSN 1097-024X (2002)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Trace and Testing Equivalence on Asynchronous Processes. Information and Computation, 172 (2). pp. 139-164. ISSN 0890-5401 (2002)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Divergence in testing and readiness semantics. Theoretical Computer Science, 266 (1-2). pp. 237-248. ISSN 0304-3975 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. SIAM Journal on Computing., 31 (3). pp. 947-986. ISSN 0097-5397 (2001)

De Nicola, Rocco and Pugliese, Rosario Linda-based applicative and imperative process algebras. Theoretical Computer Science, 238 (1-2). pp. 389-437. ISSN 0304-3975 (2000)

Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Mobile Applications in X-KLAIM. In: WOA 2000 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. Atti di Congressi, 1195 . Pitagora Editrice Bologna, Parma, pp. 1-6. ISBN 88-371-1195-9 (2000)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Process Algebraic Analysis of Cryptographic Protocols. In: Formal Techniques for Distributed System Development (FORTE 2000). IFIP Conference Proceedings, 183 . Kluwer, pp. 375-392. ISBN 0-7923-7968-3 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Programming Access Control: The KLAIM Experience. In: CONCUR 2000 — Concurrency Theory. Lecture Notes in Computer Science, 1877 . Springer, pp. 48-65. ISBN 3-540-67897-2 (2000)

De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2000). Lecture Notes in Computer Science, 1906 . Springer, pp. 66-80. ISBN 3-540-41020-1 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. In: Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). IEEE Computer Society, pp. 157-166. (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario A Theory of "May" Testing for Asynchronous Languages. In: Foundations of Software Science and Computation Structures (FoSSaCS 1999). Lecture Notes in Computer Science, 1578 . Springer, pp. 165-179. ISBN 3-540-65719-3 (1999)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Types as Specifications of Access Policies. In: Secure Internet Programming. Lecture Notes in Computer Science, 1603 . Springer, pp. 118-146. ISBN 3-540-66130-1 (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Asynchronous Observations of Processes. In: Foundations of Software Science and Computation Structures (FoSSaCS 1998). Lecture Notes in Computer Science, 1378 . Springer, pp. 95-109. ISBN 3-540-64300-1 (1998)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario and Ferrari, GianLuigi Interactive Mobile Agents in X-Klaim. In: Enabling Technologies: Infrastructure for Collaborative Enterprises, 1998. (WET ICE '98) Proceedings., Seventh IEEE International Workshops on. IEEE Computer Society, pp. 110-117. ISBN 0-8186-8751-7 (1998)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5). pp. 315-330. ISSN 0098-5589 (1998)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Basic Observables for Processes. In: Automata, Languages and Programming (ICALP 1997). Lecture Notes in Computer Science, 1256 . Springer, pp. 482-492. ISBN 3-540-63165-8 (1997)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Coordinating Mobile Agents via Blackboards and Access Rights. In: Coordination Languages and Models (COORDINATION 1997). Lecture Notes in Computer Science, 1282 . Springer, pp. 220-237. ISBN 3-540-63383-9 (1997)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Locality Based Linda: Programming with Explicit Localities. In: TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science, 1214 . Springer, pp. 712-726. ISBN 3-540-62781-2 (1997)

De Nicola, Rocco and Pugliese, Rosario Testing Semantics of Asynchronous Distributed Programs. In: Analysis and Verification of Multiple-Agent Languages (LOMAPS 1996). Lecture Notes in Computer Science, 1192 . Springer, pp. 320-344. ISBN 3-540-62503-8 (1997)

De Nicola, Rocco and Pugliese, Rosario A Process Algebra Based on LINDA. In: Coordination Languages and Models (COORDINATION 1996). Lecture Notes in Computer Science, 1061 . Springer, pp. 160-178. ISBN 3-540-61052-9 (1996)

Ra

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Ri

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems, 25 (7). pp. 761-778. ISSN 0169-7552 (1993)

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An action based framework for verifying logical and behavioural properties of concurrent systems. In: Computer Aided Verification (CAV 1991). Lecture Notes in Computer Science, 575 . Springer, pp. 37-47. ISBN 3-540-55179-4 (1992)

Ro

De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2000). Lecture Notes in Computer Science, 1906 . Springer, pp. 66-80. ISBN 3-540-41020-1 (2000)

Sa

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

De Nicola, Rocco and Sangiorgi, Davide Types in concurrency. Acta Informatica, 42 (2-3). pp. 79-81. ISSN 0001-5903 (2005)

Se

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

De Nicola, Rocco and Segala, Roberto A Process Algebraic View of Input/Output Automata. Theoretical Computer Science, 138 (2). pp. 391-423. ISSN 0304-3975 (1995)

Sh

Di Stefano, R. and Shams, Farshad and Ghiadoni, L. and Imbalzano, E. and Nuti, M. and Taddei, S. and De Nicola, Rocco P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging. European Heart Journal, 38 (suppl_). ehx504.P3445. ISSN 0195-668X (2017)

Shams, Farshad and Cerone, Antonio and De Nicola, Rocco On Integrating Social and Sensor Networks for Emergency Management. In: Software Engineering and Formal Methods. SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Lecture Notes in Computer Science (9509). Springer, pp. 145-160. ISBN 978-3-662-49224-6 (2015)

Sm

De Nicola, Rocco and Smolka, Scott A. Concurrency: Theory and Practice. ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, 28 (4es). p. 52. ISSN 0360-0300 (1996)

Sp

Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted)

De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015)

Ta

Di Stefano, R. and Shams, Farshad and Ghiadoni, L. and Imbalzano, E. and Nuti, M. and Taddei, S. and De Nicola, Rocco P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging. European Heart Journal, 38 (suppl_). ehx504.P3445. ISSN 0195-668X (2017)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Ti

Uriarte, Rafael Brundo and Tiezzi, Francesco and De Nicola, Rocco Dynamic SLAs for Clouds. In: Service-Oriented and Cloud Computing.5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science (9846). Springer, pp. 34-49. ISBN 978-3-319-44482-6 (2016)

Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015)

Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015)

Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014)

De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco A formal approach to autonomic systems programming: the SCEL Language. ACM Transactions on Autonomous and Adaptive Systems, 9 (2). pp. 1-29. ISSN 1556-4665 (2014)

Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014)

Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014)

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013)

De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012)

Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008)

To

De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo Global Protocol Implementations via Attribute-Based Communication. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (9465). Springer International Publishing, pp. 219-237. ISBN 978-3-319-25527-9 (2015)

Tr

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming relations for the efficient analysis of concurrent systems via action abstraction. In: Formal techniques for distributed objects, components, and systems. Lecture Notes in Computer Science (8461). Springer , pp. 216-231. ISBN 978-3-662-43612-7 (2014)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

Tu

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Ur

Vincenzo, Scoca and Uriarte, Rafael Brundo and De Nicola, Rocco Smart Contract Negotiation in Cloud Computing. In: 10th International Conference on Cloud Computing (CLOUD), September 11, 2017, Honolulu, CA, USA pp. 592-599. ISBN 978-1-5386-1993-3. (2017)

Uriarte, Rafael Brundo and Tiezzi, Francesco and De Nicola, Rocco Dynamic SLAs for Clouds. In: Service-Oriented and Cloud Computing.5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science (9846). Springer, pp. 34-49. ISBN 978-3-319-44482-6 (2016)

Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014)

Va

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin Reasoning (on) service component ensembles in rewriting logic. In: Specification, Algebra, and Software. Lecture Notes in Computer Science (8373). Springer Berlin Heidelberg, pp. 188-211. ISBN 978-3-642-54623-5 (2014)

Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic subtyping for the pi-calculus. Theoretical Computer Science, 398 (1-3). pp. 217-242. ISSN 0304-3975 (2008)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic Subtyping for the p-Calculus. In: Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. IEEE Computer Society, pp. 92-101. ISBN 0-7695-2266-1 (2005)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation. J. ACM, 42 (2). pp. 458-487. ISSN 0004-5411 (1995)

De Nicola, Rocco and Vaandrager, Frits W. Action versus State based Logics for Transition Systems. In: Semantics of Systems of Concurrent Processes. Lecture Notes in Computer Science, 469 . Springer, pp. 407-419. ISBN 3-540-53479-2 (1990)

De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W. Back and Forth Bisimulations. In: CONCUR '90 Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, 458 . Springer, pp. 152-165. ISBN 3-540-53048-7 (1990)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation (Extended Abstract). In: LICS. IEEE Computer Society, pp. 118-129. (1990)

Ve

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000)

De Nicola, Rocco and Veglioni, Simone Possible Worlds for Process Algebras. In: CONCUR '98 Concurrency Theory. Lecture Notes in Computer Science, 1466 . Springer, pp. 179-193. ISBN 3-540-64896-8 (1998)

Vi

Vincenzo, Scoca and Uriarte, Rafael Brundo and De Nicola, Rocco Smart Contract Negotiation in Cloud Computing. In: 10th International Conference on Cloud Computing (CLOUD), September 11, 2017, Honolulu, CA, USA pp. 592-599. ISBN 978-1-5386-1993-3. (2017)

Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015)

We

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Wi

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 96-98. ISBN 978-3-662-45233-2 (2014)

Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin Reasoning (on) service component ensembles in rewriting logic. In: Specification, Algebra, and Software. Lecture Notes in Computer Science (8373). Springer Berlin Heidelberg, pp. 188-211. ISBN 978-3-642-54623-5 (2014)

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Za

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014)

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

This list was generated on Fri Mar 29 10:25:06 2024 CET.