Items where Author is "Pugliese, Rosario"
Number of items: 355. AcWirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) AnAndrade, 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) BaBanti, Federico and Pugliese, Rosario and Tiezzi, Francesco An accessible verification environment for UML models of services. Journal of Symbolic Computation, 46 (2). pp. 119-149. ISSN 0747-7171 (2011) Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco A criterion for separating process calculi. Proc. of 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Electronic Proceedings in Theoretical Computer Science, 41 . pp. 16-30. ISSN 20752180 (2010) Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specification and analysis of SOC systems using COWS: a finance case study. Electronic Notes in Theoretical Computer Science, 235. pp. 71-105. ISSN 1571-0661 (2009) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) 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) BeBettini, 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) 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) BiGjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) BoBocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009) 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) BrGjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) 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) BuBureš, 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) Mayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013) Bush, Marianne and Koch, Nora and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Towards Model-Driven Development of Access Control Policies for Web Applications. In: Proceedings of 1st International Workshop on Model-Driven Security (MDsec). Springer. (2012) CaCabri, 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) CeCesari, 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) Cesari, Luca and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. In: Proceedings of the 2010 ACM Symposium on Applied Computing. SAC '10 . ACM, pp. 2438-2442. ISBN 978-1-60558-639-7 (2010) Cesari, Luca and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. SIGAPP Applied Computing Review, 11 (1). pp. 27-40. (2010) ClWirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) CoAndrade, 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) DeDe 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) 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) DoGjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) FaFantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Model Checking Approach for Verifying COWS Specifications. In: FASE. Lecture Notes in Computer Science, 4961 . Springer, pp. 230-245. ISBN 978-3-540-78742-6 (2008) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) FeDe 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) FiBocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009) 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) GaAndrade, 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) GeBureš, 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) GiWirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) GjGjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling Adaptation with Klaim. SIGAPP Applied Computing Review, 12 (4). pp. 21-35. (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling adaptation with a tuple-based coordination language. In: Proceedings of the 27th Symposium On Applied Computing (SAC). ACM Press, pp. 1522-1527. ISBN 978-1-4503-0857-1 (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) GnFantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012) Gnesi, Stefania and Pugliese, Rosario and Tiezzi, Francesco The Sensoria Approach Applied to the Finance Case Study. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, 6582 (6582). Springer, pp. 698-718. ISBN 978-3-642-20400-5 (2011) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Model Checking Approach for Verifying COWS Specifications. In: FASE. Lecture Notes in Computer Science, 4961 . Springer, pp. 230-245. ISBN 978-3-540-78742-6 (2008) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) 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) GoDe 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) 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) GöWirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) HaDe 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) HeMayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013) HoBureš, 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) HöWirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) KiBureš, 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) KlMayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013) KoBureš, 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) Kovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013) Bush, Marianne and Koch, Nora and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Towards Model-Driven Development of Access Control Policies for Web Applications. In: Proceedings of 1st International Workshop on Model-Driven Security (MDsec). Springer. (2012) Kovács, Laura and Pugliese, Rosario and Tiezzi, Francesco Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). EPTCS. (2011) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) 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) LaDe 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) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Using formal methods to develop WS-BPEL applications. Science of Computer Programming, 77 (3). pp. 189-213. ISSN 0167-6423 (2012) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design, 38 (2). pp. 119-157. ISSN 0925-9856 (2011) Cesari, Luca and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. In: Proceedings of the 2010 ACM Symposium on Applied Computing. SAC '10 . ACM, pp. 2438-2442. ISBN 978-1-60558-639-7 (2010) Bocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009) Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specification and analysis of SOC systems using COWS: a finance case study. Electronic Notes in Theoretical Computer Science, 235. pp. 71-105. ISSN 1571-0661 (2009) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Formal Account of WS-BPEL. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 199-215. ISBN 978-3-540-68264-6 (2008) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Model Checking Approach for Verifying COWS Specifications. In: FASE. Lecture Notes in Computer Science, 4961 . Springer, pp. 230-245. ISBN 978-3-540-78742-6 (2008) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Service discovery and negotiation with COWS. Electronic Notes in Theoretical Computer Science, 200 (3). pp. 133-154. ISSN 1571-0661 (2008) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specifying and Analysing SOC Applications with COWS. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 701-720. ISBN 978-3-540-68676-7 (2008) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco COWS: A Timed Service-Oriented Calculus. In: Theoretical Aspects of Computing – ICTAC 2007. Lecture Notes in Computer Science, 4711 . Springer, pp. 275-290. ISBN 978-3-540-75290-5 (2007) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. In: Programming Languages and Systems (ESOP 2007). Lecture Notes in Computer Science, 4421 . Springer, pp. 33-47. ISBN 978-3-540-71314-2 (2007) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Regulating Data Exchange in Service Oriented Applications. In: International Symposium on Fundamentals of Software Engineering (FSEN 2007). Lecture Notes in Computer Science, 4767 . Springer, pp. 223-239. ISBN 978-3-540-75697-2 (2007) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-Based Type System for WS-BPEL. In: COORDINATION. Lecture Notes in Computer Science, 4038 . Springer, pp. 145-163. ISBN 3-540-34694-5 (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) 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) LlDe 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) LoDe 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 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) 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 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) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling Adaptation with Klaim. SIGAPP Applied Computing Review, 12 (4). pp. 21-35. (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling adaptation with a tuple-based coordination language. In: Proceedings of the 27th Symposium On Applied Computing (SAC). ACM Press, pp. 1522-1527. ISBN 978-1-4503-0857-1 (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) 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) MaDe 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) Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach. In: Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science (8379). Springer, pp. 85-105. ISBN 978-3-319-08259-2 (2014) Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach. In: Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science (8379). Springer, pp. 85-105. ISBN 978-3-319-08259-2 (2014) Margheri, Andrea and Pugliese, Rosario and Tiezzi, Francesco Linguistic abstractions for programming and policing autonomic computing systems. In: Ubiquitous Intelligence and Computing, 2013 IEEE 10th International Conference on and 10th International Conference on Autonomic and Trusted Computing (UIC/ATC). IEEE, pp. 404-409. ISBN 978-1-4799-2481-3 (2013) Mayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013) Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. In: HEALTHINF 2013 - Proceeding of 6th International Conference on Health Informatics (HEALTHINF). SciTePress, pp. 263-268. ISBN 978-989-8565-37-2 (2013) Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. In: HEALTHINF 2013 - Proceeding of 6th International Conference on Health Informatics (HEALTHINF). SciTePress, pp. 263-268. ISBN 978-989-8565-37-2 (2013) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Formalisation and Implementation of the XACML Access Control Mechanism. In: Engineering Secure Software and Systems. Lecture Notes in Computer Science (7159). Springer, pp. 60-74. ISBN 978-3-642-28165-5 (2012) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. Journal of Medical Systems, 36 (6). pp. 3695-3711. ISSN 0148-5598 (2012) Bush, Marianne and Koch, Nora and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Towards Model-Driven Development of Access Control Policies for Web Applications. In: Proceedings of 1st International Workshop on Model-Driven Security (MDsec). Springer. (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. In: E-Infrastructure and e-Services for Developing Countries},. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (92). Springer, pp. 187-196. ISBN 978-3-642-29092-3 (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco A standard-driven communication protocol for disconnected clinics in rural areas. In: Proceedings of 13th IEEE International Conference on e-Health Networking, Application Services (Healthcom). IEEE, pp. 304-311. ISBN 978-1-61284-696-5 (2011) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. In: Information Systems Security (ICISS 2009). Lecture Notes in Computer Science, 5905 . Springer, pp. 55-70. ISBN 978-3-642-10771-9 (2009) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Model Checking Approach for Verifying COWS Specifications. In: FASE. Lecture Notes in Computer Science, 4961 . Springer, pp. 230-245. ISBN 978-3-540-78742-6 (2008) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) 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) MoDe 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) 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) NiDe 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) OlAndrade, 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) PiGjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) PrDe 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) PuDe 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) Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach. In: Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science (8379). Springer, pp. 85-105. ISBN 978-3-319-08259-2 (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) Margheri, Andrea and Pugliese, Rosario and Tiezzi, Francesco Linguistic abstractions for programming and policing autonomic computing systems. In: Ubiquitous Intelligence and Computing, 2013 IEEE 10th International Conference on and 10th International Conference on Autonomic and Trusted Computing (UIC/ATC). IEEE, pp. 404-409. ISBN 978-1-4799-2481-3 (2013) Mayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013) Mayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013) 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) Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. In: HEALTHINF 2013 - Proceeding of 6th International Conference on Health Informatics (HEALTHINF). SciTePress, pp. 263-268. ISBN 978-989-8565-37-2 (2013) Kovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013) Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. Journal of Applied Logic, 10 (1). pp. 2-31. ISSN 1570-8683 (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Formalisation and Implementation of the XACML Access Control Mechanism. In: Engineering Secure Software and Systems. Lecture Notes in Computer Science (7159). Springer, pp. 60-74. ISBN 978-3-642-28165-5 (2012) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling Adaptation with Klaim. SIGAPP Applied Computing Review, 12 (4). pp. 21-35. (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling adaptation with a tuple-based coordination language. In: Proceedings of the 27th Symposium On Applied Computing (SAC). ACM Press, pp. 1522-1527. ISBN 978-1-4503-0857-1 (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. Journal of Medical Systems, 36 (6). pp. 3695-3711. ISSN 0148-5598 (2012) Bush, Marianne and Koch, Nora and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Towards Model-Driven Development of Access Control Policies for Web Applications. In: Proceedings of 1st International Workshop on Model-Driven Security (MDsec). Springer. (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Using formal methods to develop WS-BPEL applications. Science of Computer Programming, 77 (3). pp. 189-213. ISSN 0167-6423 (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. In: E-Infrastructure and e-Services for Developing Countries},. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (92). Springer, pp. 187-196. ISBN 978-3-642-29092-3 (2012) 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) Kovács, Laura and Pugliese, Rosario and Tiezzi, Francesco Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). EPTCS. (2011) Gnesi, Stefania and Pugliese, Rosario and Tiezzi, Francesco The Sensoria Approach Applied to the Finance Case Study. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, 6582 (6582). Springer, pp. 698-718. ISBN 978-3-642-20400-5 (2011) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design, 38 (2). pp. 119-157. ISSN 0925-9856 (2011) Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco An accessible verification environment for UML models of services. Journal of Symbolic Computation, 46 (2). pp. 119-149. ISSN 0747-7171 (2011) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco A standard-driven communication protocol for disconnected clinics in rural areas. In: Proceedings of 13th IEEE International Conference on e-Health Networking, Application Services (Healthcom). IEEE, pp. 304-311. ISBN 978-1-61284-696-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) Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco A criterion for separating process calculi. Proc. of 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Electronic Proceedings in Theoretical Computer Science, 41 . pp. 16-30. ISSN 20752180 (2010) Cesari, Luca and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. In: Proceedings of the 2010 ACM Symposium on Applied Computing. SAC '10 . ACM, pp. 2438-2442. ISBN 978-1-60558-639-7 (2010) Cesari, Luca and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. SIGAPP Applied Computing Review, 11 (1). pp. 27-40. (2010) Bocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009) Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko On Observing Dynamic Prioritised Actions in SOC. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 558-570. ISBN 978-3-642-02929-5 (2009) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. In: Information Systems Security (ICISS 2009). Lecture Notes in Computer Science, 5905 . Springer, pp. 55-70. ISBN 978-3-642-10771-9 (2009) Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specification and analysis of SOC systems using COWS: a finance case study. Electronic Notes in Theoretical Computer Science, 235. pp. 71-105. ISSN 1571-0661 (2009) Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko A symbolic semantics for a clculus for service-oriented computing. Electronic Notes in Theoretical Computer Science, 241. pp. 135-164. ISSN 1571-0661 (2009) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Formal Account of WS-BPEL. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 199-215. 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) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Model Checking Approach for Verifying COWS Specifications. In: FASE. Lecture Notes in Computer Science, 4961 . Springer, pp. 230-245. ISBN 978-3-540-78742-6 (2008) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Service discovery and negotiation with COWS. Electronic Notes in Theoretical Computer Science, 200 (3). pp. 133-154. ISSN 1571-0661 (2008) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specifying and Analysing SOC Applications with COWS. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 701-720. ISBN 978-3-540-68676-7 (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) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco COWS: A Timed Service-Oriented Calculus. In: Theoretical Aspects of Computing – ICTAC 2007. Lecture Notes in Computer Science, 4711 . Springer, pp. 275-290. ISBN 978-3-540-75290-5 (2007) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. In: Programming Languages and Systems (ESOP 2007). Lecture Notes in Computer Science, 4421 . Springer, pp. 33-47. ISBN 978-3-540-71314-2 (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) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Regulating Data Exchange in Service Oriented Applications. In: International Symposium on Fundamentals of Software Engineering (FSEN 2007). Lecture Notes in Computer Science, 4767 . Springer, pp. 223-239. ISBN 978-3-540-75697-2 (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) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-Based Type System for WS-BPEL. In: COORDINATION. Lecture Notes in Computer Science, 4038 . Springer, pp. 145-163. ISBN 3-540-34694-5 (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) RoDe 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) ScWirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) SeBureš, 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) SiKovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013) TaAndrade, 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) TiDe 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 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) Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach. In: Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science (8379). Springer, pp. 85-105. ISBN 978-3-319-08259-2 (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) Margheri, Andrea and Pugliese, Rosario and Tiezzi, Francesco Linguistic abstractions for programming and policing autonomic computing systems. In: Ubiquitous Intelligence and Computing, 2013 IEEE 10th International Conference on and 10th International Conference on Autonomic and Trusted Computing (UIC/ATC). IEEE, pp. 404-409. ISBN 978-1-4799-2481-3 (2013) Mayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013) Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. In: HEALTHINF 2013 - Proceeding of 6th International Conference on Health Informatics (HEALTHINF). SciTePress, pp. 263-268. ISBN 978-989-8565-37-2 (2013) Kovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013) Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. Journal of Applied Logic, 10 (1). pp. 2-31. ISSN 1570-8683 (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Formalisation and Implementation of the XACML Access Control Mechanism. In: Engineering Secure Software and Systems. Lecture Notes in Computer Science (7159). Springer, pp. 60-74. ISBN 978-3-642-28165-5 (2012) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling Adaptation with Klaim. SIGAPP Applied Computing Review, 12 (4). pp. 21-35. (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling adaptation with a tuple-based coordination language. In: Proceedings of the 27th Symposium On Applied Computing (SAC). ACM Press, pp. 1522-1527. ISBN 978-1-4503-0857-1 (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. Journal of Medical Systems, 36 (6). pp. 3695-3711. ISSN 0148-5598 (2012) Bush, Marianne and Koch, Nora and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Towards Model-Driven Development of Access Control Policies for Web Applications. In: Proceedings of 1st International Workshop on Model-Driven Security (MDsec). Springer. (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Using formal methods to develop WS-BPEL applications. Science of Computer Programming, 77 (3). pp. 189-213. ISSN 0167-6423 (2012) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. In: E-Infrastructure and e-Services for Developing Countries},. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (92). Springer, pp. 187-196. ISBN 978-3-642-29092-3 (2012) Kovács, Laura and Pugliese, Rosario and Tiezzi, Francesco Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). EPTCS. (2011) Gnesi, Stefania and Pugliese, Rosario and Tiezzi, Francesco The Sensoria Approach Applied to the Finance Case Study. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, 6582 (6582). Springer, pp. 698-718. ISBN 978-3-642-20400-5 (2011) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design, 38 (2). pp. 119-157. ISSN 0925-9856 (2011) Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco An accessible verification environment for UML models of services. Journal of Symbolic Computation, 46 (2). pp. 119-149. ISSN 0747-7171 (2011) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco A standard-driven communication protocol for disconnected clinics in rural areas. In: Proceedings of 13th IEEE International Conference on e-Health Networking, Application Services (Healthcom). IEEE, pp. 304-311. ISBN 978-1-61284-696-5 (2011) Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco A criterion for separating process calculi. Proc. of 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Electronic Proceedings in Theoretical Computer Science, 41 . pp. 16-30. ISSN 20752180 (2010) Cesari, Luca and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. In: Proceedings of the 2010 ACM Symposium on Applied Computing. SAC '10 . ACM, pp. 2438-2442. ISBN 978-1-60558-639-7 (2010) Cesari, Luca and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. SIGAPP Applied Computing Review, 11 (1). pp. 27-40. (2010) Bocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009) Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko On Observing Dynamic Prioritised Actions in SOC. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 558-570. ISBN 978-3-642-02929-5 (2009) Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. In: Information Systems Security (ICISS 2009). Lecture Notes in Computer Science, 5905 . Springer, pp. 55-70. ISBN 978-3-642-10771-9 (2009) Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specification and analysis of SOC systems using COWS: a finance case study. Electronic Notes in Theoretical Computer Science, 235. pp. 71-105. ISSN 1571-0661 (2009) Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko A symbolic semantics for a clculus for service-oriented computing. Electronic Notes in Theoretical Computer Science, 241. pp. 135-164. ISSN 1571-0661 (2009) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Formal Account of WS-BPEL. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 199-215. ISBN 978-3-540-68264-6 (2008) Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Model Checking Approach for Verifying COWS Specifications. In: FASE. Lecture Notes in Computer Science, 4961 . Springer, pp. 230-245. ISBN 978-3-540-78742-6 (2008) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Service discovery and negotiation with COWS. Electronic Notes in Theoretical Computer Science, 200 (3). pp. 133-154. ISSN 1571-0661 (2008) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specifying and Analysing SOC Applications with COWS. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 701-720. ISBN 978-3-540-68676-7 (2008) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco COWS: A Timed Service-Oriented Calculus. In: Theoretical Aspects of Computing – ICTAC 2007. Lecture Notes in Computer Science, 4711 . Springer, pp. 275-290. ISBN 978-3-540-75290-5 (2007) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. In: Programming Languages and Systems (ESOP 2007). Lecture Notes in Computer Science, 4421 . Springer, pp. 33-47. ISBN 978-3-540-71314-2 (2007) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Regulating Data Exchange in Service Oriented Applications. In: International Symposium on Fundamentals of Software Engineering (FSEN 2007). Lecture Notes in Computer Science, 4767 . Springer, pp. 223-239. ISBN 978-3-540-75697-2 (2007) Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-Based Type System for WS-BPEL. In: COORDINATION. Lecture Notes in Computer Science, 4038 . Springer, pp. 145-163. ISBN 3-540-34694-5 (2006) TrWirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) TuDe 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) VaDe 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) 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) Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) VeBettini, 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) WeAndrade, 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) WiBureš, 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 Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008) 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) YoPugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko On Observing Dynamic Prioritised Actions in SOC. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 558-570. ISBN 978-3-642-02929-5 (2009) Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko A symbolic semantics for a clculus for service-oriented computing. Electronic Notes in Theoretical Computer Science, 241. pp. 135-164. ISSN 1571-0661 (2009) ZaBureš, 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) 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) |
