Follow
Rosario Pugliese
Rosario Pugliese
Professor of Computer Science, University of Florence
Verified email at unifi.it - Homepage
Title
Cited by
Year
A basic calculus for modelling service level agreements
R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto
International Conference on Coordination Models and Languages 3454, 33-48, 2005
202005
A blockchain-based platform for incentivizing customer reviews in the grocery industry
T Bruno, E Etenzi, L Gualandi, E Katra, R Pugliese, A Taranto, F Tiezzi
Blockchain: Research and Applications, 100226, 2024
2024
A calculus for orchestration of web services
R Pugliese, F Tiezzi
Journal of Applied Logic 10 (1), 2-31, 2012
402012
A calculus for orchestration of web services
A Lapadula, R Pugliese, F Tiezzi
Programming Languages and Systems, Proc. of the 16th European Symposium on …, 2007
2822007
A criterion for separating process calculi
F Banti, R Pugliese, F Tiezzi
Electronic Proceedings in Theoretical Computer Science 41, 2010
42010
A formal account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
Proceedings of the 10th international conference on Coordination Models and …, 2008
662008
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
1772014
A formal approach to autonomic systems programming: The SCEL Language
RDNIMT Lucca, M Loreti, R Pugliese, F Tiezzi
A formal approach to the engineering of domain-specific distributed systems
R De Nicola, G Ferrari, R Pugliese, F Tiezzi
Journal of Logical and Algebraic Methods in Programming 111, 100511, 2020
102020
A formal basis for reasoning on programmable qos
R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the …, 2003
462003
A formal software engineering approach to policy-based access control
A Margheri, M Masi, R Pugliese, F Tiezzi
Univ. Firenze, Tech. Rep, 2013
112013
A Formal Verification of a Collective Robotics Scenario
E Gjondrekaj, M Loreti, R Pugliese, F Tiezzi, C Pinciroli, M Brambilla, ...
a Kernel Language for Agents Interaction and Mobility
R De Nicola, GL Ferrari, R Pugliese
A language-based approach to autonomic computing
R De Nicola, G Ferrari, M Loreti, R Pugliese
International Symposium on Formal Methods for Components and Objects, 25-48, 2011
982011
A life cycle for the development of autonomic systems: The e-mobility showcase
T Bures, R De Nicola, I Gerostathopoulos, N Hoch, M Kit, N Koch, ...
2013 IEEE 7th International Conference on Self-Adaptation and Self …, 2013
392013
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
512012
A mobility calculus with local and dependent types
M Coppo, F Cozzi, M Dezani-Ciancaglini, E Giovannetti, R Pugliese
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005
112005
A model checking approach for verifying COWS specifications
A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi
Fundamental Approaches to Software Engineering: 11th International …, 2008
662008
A process algebra based on Linda
R De Nicola, R Pugliese
International Conference on Coordination Languages and Models, 160-178, 1996
611996
A process calculus for qos-aware applications
R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto
Proc. of the Seventh International Conference on Coordination Models and …, 2005
512005
The system can't perform the operation now. Try again later.
Articles 1–20