| A calculus for orchestration of web services A Lapadula, R Pugliese, F Tiezzi European Symposium on Programming, 33-47, 2007 | 270 | 2007 |
| A formal approach to autonomic systems programming: The SCEL language RD Nicola, M Loreti, R Pugliese, F Tiezzi ACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 2014 | 143 | 2014 |
| A Formal Account of WS-BPEL A Lapadula, R Pugliese, F Tiezzi International Conference on Coordination Languages and Models, 199-215, 2008 | 67 | 2008 |
| Slac: A formal service-level-agreement language for cloud computing RB Uriarte, F Tiezzi, R De Nicola 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing …, 2014 | 65 | 2014 |
| A model checking approach for verifying COWS specifications A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi International Conference on Fundamental Approaches to Software Engineering …, 2008 | 61 | 2008 |
| Causal-consistent reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014 | 60 | 2014 |
| The SCEL language: design, implementation, verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems, 3-71, 2015 | 55 | 2015 |
| A logical verification methodology for service-oriented computing A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (3), 1-46, 2012 | 48 | 2012 |
| Formalisation and implementation of the XACML access control mechanism M Masi, R Pugliese, F Tiezzi International Symposium on Engineering Secure Software and Systems, 60-74, 2012 | 48 | 2012 |
| The autonomic cloud: a vision of voluntary, peer-2-peer cloud computing P Mayer, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, J Keznikl, ... 2013 IEEE 7th International Conference on Self-Adaptation and Self …, 2013 | 43 | 2013 |
| A calculus for attribute-based communication YA Alrahman, R De Nicola, M Loreti, F Tiezzi, R Vigo Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1840-1845, 2015 | 41 | 2015 |
| A calculus for orchestration of web services R Pugliese, F Tiezzi Journal of Applied Logic 10 (1), 2-31, 2012 | 37 | 2012 |
| SCEL: a language for autonomic computing R De Nicola, M Loreti, R Pugliese, F Tiezzi Univ. Firenze, Tech. Rep 1 (1), 3, 2013 | 36 | 2013 |
| Regulating data exchange in service oriented applications A Lapadula, R Pugliese, F Tiezzi International Conference on Fundamentals of Software Engineering, 223-239, 2007 | 36 | 2007 |
| CWS: A timed service-oriented calculus A Lapadula, R Pugliese, F Tiezzi International Colloquium on Theoretical Aspects of Computing, 275-290, 2007 | 34 | 2007 |
| Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity M Wirsing, M Hölzl, L Acciai, F Banti, A Clark, A Fantechi, S Gilmore, ... International Symposium On Leveraging Applications of Formal Methods …, 2008 | 30 | 2008 |
| A formal approach to modeling and verification of business process collaborations F Corradini, F Fornari, A Polini, B Re, F Tiezzi Science of Computer Programming 166, 35-70, 2018 | 29 | 2018 |
| Using formal methods to develop WS-BPEL applications A Lapadula, R Pugliese, F Tiezzi Science of Computer Programming 77 (3), 189-213, 2012 | 28 | 2012 |
| Towards a formal verification methodology for collective robotic systems E Gjondrekaj, M Loreti, R Pugliese, F Tiezzi, C Pinciroli, M Brambilla, ... International Conference on Formal Engineering Methods, 54-70, 2012 | 27 | 2012 |
| TAPAs: A tool for the analysis of process algebras F Calzolai, R De Nicola, M Loreti, F Tiezzi Transactions on Petri Nets and Other Models of Concurrency I, 54-70, 2008 | 27 | 2008 |
