Items where Author is "Tiezzi, Francesco"
Number of items: 252. 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) AlAlrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015) AmAmoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco Towards a formal approach to mobile cloud computing. In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192. (2014) 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) 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) 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) BuMayer, 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) Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) CeCelestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014) Celestini, Alessandro and Lluch-Lafuente, Alberto and Mayer, Philip and Sebastio, Stefano and Tiezzi, Francesco Reputation-based Cooperation in the Clouds. In: Trust Management VIII. Proceedings of the 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. IFIP Advances in Information and Communication Technology (430). Springer, pp. 213-220. ISBN 978-3-662-43812-1 (2014) Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014) Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014) Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013) Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013) 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) CoCelestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014) DeUriarte, Rafael Brundo and Tiezzi, Francesco and De Nicola, Rocco Dynamic SLAs for Clouds. In: Service-Oriented and Cloud Computing.5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science (9846). Springer, pp. 34-49. ISBN 978-3-319-44482-6 (2016) Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015) Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted) De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015) De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015) Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014) De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco A formal approach to autonomic systems programming: the SCEL Language. ACM Transactions on Autonomous and Adaptive Systems, 9 (2). pp. 1-29. ISSN 1556-4665 (2014) Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014) Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014) De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014) Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014) Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013) Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013) De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012) Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) 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) 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) GiGiachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017) Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-Consistent Reversibility in a Tuple-Based Language. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475. ISBN 978-1-4799-8491-6. (2015) 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) 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) GrAmoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco Towards a formal approach to mobile cloud computing. In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192. (2014) 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) 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) HoHoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted) 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) 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) KoKová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) LaGiachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017) Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-Consistent Reversibility in a Tuple-Based Language. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475. ISBN 978-1-4799-8491-6. (2015) De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015) Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent reversibility. Bulletin of EATCS, 114. pp. 1-19. (2014) 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) 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) Celestini, Alessandro and Lluch-Lafuente, Alberto and Mayer, Philip and Sebastio, Stefano and Tiezzi, Francesco Reputation-based Cooperation in the Clouds. In: Trust Management VIII. Proceedings of the 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. IFIP Advances in Information and Communication Technology (430). Springer, pp. 213-220. ISBN 978-3-662-43812-1 (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) LoAlrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015) De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015) 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) 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) Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) 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) De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015) 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) Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014) Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014) Celestini, Alessandro and Lluch-Lafuente, Alberto and Mayer, Philip and Sebastio, Stefano and Tiezzi, Francesco Reputation-based Cooperation in the Clouds. In: Trust Management VIII. Proceedings of the 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. IFIP Advances in Information and Communication Technology (430). Springer, pp. 213-220. ISBN 978-3-662-43812-1 (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) De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012) 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) MeGiachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017) Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-Consistent Reversibility in a Tuple-Based Language. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475. ISBN 978-1-4799-8491-6. (2015) Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent reversibility. Bulletin of EATCS, 114. pp. 1-19. (2014) 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) 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) PeHoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted) De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015) Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014) 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) 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) 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) 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) 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) SeAmoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco Towards a formal approach to mobile cloud computing. In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192. (2014) Celestini, Alessandro and Lluch-Lafuente, Alberto and Mayer, Philip and Sebastio, Stefano and Tiezzi, Francesco Reputation-based Cooperation in the Clouds. In: Trust Management VIII. Proceedings of the 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. IFIP Advances in Information and Communication Technology (430). Springer, pp. 213-220. ISBN 978-3-662-43812-1 (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) Silva, Josep and Tiezzi, Francesco Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). EPTCS. (2012) SpHoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted) De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015) TiGiachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017) Uriarte, Rafael Brundo and Tiezzi, Francesco and De Nicola, Rocco Dynamic SLAs for Clouds. In: Service-Oriented and Cloud Computing.5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science (9846). Springer, pp. 34-49. ISBN 978-3-319-44482-6 (2016) Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015) Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-Consistent Reversibility in a Tuple-Based Language. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475. ISBN 978-1-4799-8491-6. (2015) Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted) De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015) De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015) Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014) Amoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco Towards a formal approach to mobile cloud computing. In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192. (2014) Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent reversibility. Bulletin of EATCS, 114. pp. 1-19. (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) Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014) Celestini, Alessandro and Lluch-Lafuente, Alberto and Mayer, Philip and Sebastio, Stefano and Tiezzi, Francesco Reputation-based Cooperation in the Clouds. In: Trust Management VIII. Proceedings of the 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. IFIP Advances in Information and Communication Technology (430). Springer, pp. 213-220. ISBN 978-3-662-43812-1 (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) Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013) 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) Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013) 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) De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012) Silva, Josep and Tiezzi, Francesco Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). EPTCS. (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) Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) 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) UrUriarte, Rafael Brundo and Tiezzi, Francesco and De Nicola, Rocco Dynamic SLAs for Clouds. In: Service-Oriented and Cloud Computing.5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science (9846). Springer, pp. 34-49. ISBN 978-3-319-44482-6 (2016) Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014) 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) 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) ViAlrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015) WiWirsing, 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) 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) ZaAmoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco Towards a formal approach to mobile cloud computing. In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192. (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) |
