Browse by Author ID

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)

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)