Follow
Rosario Pugliese
Rosario Pugliese
Professor of Computer Science, University of Florence
Verified email at unifi.it - Homepage
Title
Cited by
Cited by
Year
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
Coordinating and programming multiple ROS-based robots with X-KLAIM
L Bettini, K Bourr, R Pugliese, F Tiezzi
International Journal on Software Tools for Technology Transfer 25 (5), 747-764, 2023
22023
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach
T Bruno, E Etenzi, L Gualandi, E Katra, R Pugliese, A Taranto, F Tiezzi
CEUR WORKSHOP PROCEEDINGS 3460, 0-0, 2023
12023
Programming multi-robot systems with X-KLAIM
L Bettini, K Bourr, R Pugliese, F Tiezzi
International Symposium on Leveraging Applications of Formal Methods, 283-300, 2022
62022
Access Control Policies Across Abstraction Layers.
L Ceragioli, P Degano, L Galletta, D Basin, R Pugliese
University of Pisa, Italy, 2022
2022
Sviluppare la cyber resilienza nelle PMI attraverso consapevolezza e conoscenza
M Neri, F Niccolini, L Martino, G Dini, R Pugliese
SISTEMI & IMPRESA 5, 24-31, 2022
2022
Assessing SMEs’ cybersecurity organizational readiness: Findings from an Italian survey
M Neri, F Niccolini, P Rosario
THE ONLINE JOURNAL OF APPLIED KNOWLEDGE MANAGEMENT 10 (2), 1-22, 2022
72022
Replacement freeness: A criterion for separating process calculi
R Pugliese, F Tiezzi
Journal of Logical and Algebraic Methods in Programming 116, 100579, 2020
12020
Writing Robotics Applications with X-Klaim
L Bettini, K Bourr, R Pugliese, F Tiezzi
International Symposium on Leveraging Applications of Formal Methods, 361-379, 2020
72020
Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
D Basile, MH Ter Beek, R Pugliese
Logical Methods in Computer Science 16, 2020
232020
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
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
M Boreale, F Corradini, M Loreti, R Pugliese
Springer, 2019
12019
Automata-Based Behavioural Contracts with Action Correlation
D Basile, R Pugliese, F Tiezzi, P Degano, GL Ferrari
From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019
12019
Bridging the gap between supervisory control and coordination of services: synthesis of orchestrations and choreographies
D Basile, MH ter Beek, R Pugliese
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
62019
A rigorous framework for specification, analysis and enforcement of access control policies
A Margheri, M Masi, R Pugliese, F Tiezzi
IEEE Transactions on Software Engineering 45 (1), 2-33, 2017
422017
Blind-date conversation joining
L Cesari, R Pugliese, F Tiezzi
Service Oriented Computing and Applications 11, 265-283, 2017
22017
Selected Papers of the Conferences FORTE and COORDINATION 2014
E Abraham, E Kuehn, C Palamidessi, R Pugliese, V Sassone
Logical Methods in Computer Science, volume 279, 0-0, 2017
2017
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications
F Chiti, R Fantacci, M Loreti, R Pugliese
IEEE Wireless Communications 23 (2), 86-92, 2016
312016
Towards static analysis of policy-based self-adaptive computing systems
A Margheri, HR Nielson, F Nielson, R Pugliese
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
12016
Formal Access Control Policy Language (FACPL) User’s Guide
A Margheri, M Masi, R Pugliese, F Tiezzi
Tech. Rep., 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20