Follow
Rosario Pugliese
Rosario Pugliese
Professor of Computer Science, University of Florence
Verified email at unifi.it - Homepage
Title
Cited by
Cited by
Year
KLAIM: A kernel language for agents interaction and mobility
R De Nicola, GL Ferrari, R Pugliese
IEEE Transactions on software engineering 24 (5), 315-330, 1998
7491998
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
2802007
Proof techniques for cryptographic processes
M Boreale, R De Nicola, R Pugliese
SIAM Journal on Computing 31 (3), 947-986, 2001
1822001
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
1632014
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
Global Computing. Programming Environments, Languages, Security, and …, 2003
1432003
Types for access control
R De Nicola, GL Ferrari, R Pugliese, B Venneri
Theoretical Computer Science 240 (1), 215-254, 2000
1262000
Klava: a Java package for distributed and mobile applications
L Bettini, R De Nicola, R Pugliese
Software: Practice and Experience 32 (14), 1365-1394, 2002
1192002
A language-based approach to autonomic computing
R De Nicola, G Ferrari, M Loreti, R Pugliese
Formal Methods for Components and Objects: 10th International Symposium …, 2013
1032013
Interactive mobile agents in X-Klaim
L Bettini, R De Nicola, R Pugliese, GL Ferrari
Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998
831998
Coordinating mobile agents via blackboards and access rights
R De Nicola, GL Ferrari, R Pugliese
Coordination Languages and Models: Second International Conference …, 1997
771997
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: The ASCENS Approach, 3-71, 2015
672015
A formal account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
Proceedings of the 10th international conference on Coordination Models and …, 2008
662008
Trace and testing equivalence on asynchronous processes
M Boreale, R De Nicola, R Pugliese
Information and Computation 172 (2), 139-164, 2002
642002
Resource access and mobility control with dynamic privileges acquisition
D Gorla, R Pugliese
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003
632003
A process algebra based on Linda
R De Nicola, R Pugliese
Coordination Languages and Models: First International Conference …, 1996
621996
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
602008
Programming Access Control: The Klaim Experience
R De Nicola, GL Ferrari, R Pugliese
Proc. of the 11th International Conference on Concurrency Theory (CONCUR …, 2000
572000
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
502013
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
502012
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
502005
The system can't perform the operation now. Try again later.
Articles 1–20