Francesco Tiezzi
TitleCited byYear
A calculus for orchestration of web services
A Lapadula, R Pugliese, F Tiezzi
European Symposium on Programming, 33-47, 2007
2612007
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), 7, 2014
1092014
A Formal Account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
International Conference on Coordination Languages and Models, 199-215, 2008
642008
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
612008
Slac: A formal service-level-agreement language for cloud computing
RB Uriarte, F Tiezzi, RD Nicola
Proceedings of the 2014 IEEE/ACM 7th International Conference on Utility and …, 2014
432014
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), 16, 2012
432012
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
412015
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
402012
Causal-consistent reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
392014
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
362013
SCEL: a language for autonomic computing
R De Nicola, M Loreti, R Pugliese, F Tiezzi
Univ. Firenze, Tech. Rep 500 (1), 000, 2013
342013
CWS: A timed service-oriented calculus
A Lapadula, R Pugliese, F Tiezzi
International Colloquium on Theoretical Aspects of Computing, 275-290, 2007
342007
Regulating data exchange in service oriented applications
A Lapadula, R Pugliese, F Tiezzi
International Conference on Fundamentals of Software Engineering, 223-239, 2007
342007
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
292015
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
282008
A calculus for orchestration of web services
R Pugliese, F Tiezzi
Journal of Applied Logic 10 (1), 2-31, 2012
262012
A WSDL-Based Type System for WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
International Conference on Coordination Languages and Models, 145-163, 2006
262006
Using formal methods to develop WS-BPEL applications
A Lapadula, R Pugliese, F Tiezzi
Science of Computer Programming 77 (3), 189-213, 2012
232012
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
232008
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
212012
The system can't perform the operation now. Try again later.
Articles 1–20