ResearcherID.com
ResearcherID Thomson Reuters  

Pugliese, Rosario
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: J-3685-2012
E-mail:
URL: http://www.researcherid.com/rid/J-3685-2012
Subject: Computer Science
ORCID: http://orcid.org/0000-0002-1419-1405
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Dipartimento di Statistica, Informatica, Applicazioni (DiSIA)
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  7  Go Next Page Last Page
  Sort by:    Results per page: 
1. Title: CONTEXT-AWARE WIRELESS MOBILE AUTONOMIC COMPUTING AND COMMUNICATIONS: RESEARCH TRENDS AND EMERGING APPLICATIONS
Author(s): Chiti, Francesco; Fantacci, Romano; Loreti, Michele; et al.
Source: Ieee Wireless Communications Volume: 23 Issue: 2 Pages: 86-92 Published: APR 2016
Times Cited: 1
added
25-Nov-16
2. Title: On Properties of Policy-Based Specifications
Author(s): Margheri, Andrea; Pugliese, Rosario; Tiezzi, Francesco
Source: Electronic Proceedings in Theoretical Computer Science Issue: 188 Pages: 33-50 Published: 2015
Times Cited: 0
DOI: 10.4204/EPTCS.188.5
added
25-Nov-16
3. Title: A Formal Approach to Autonomic Systems Programming: The SCEL Language
Author(s): De Nicola, Rocco; Loreti, Michele; Pugliese, Rosario; et al.
Source: Acm Transactions on Autonomous and Adaptive Systems Volume: 9 Issue: 2 Published: JUL 2014
Times Cited: 10
DOI: 10.1145/2619998
added
25-Nov-16
4. Title: A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase
Author(s): Bures, Tomas; De Nicola, Rocco; Gerostathopoulos, Ilias; et al.
Source: 2013 Ieee Seventh International Conference on Self-Adaptation and Self-Organizing Systems Workshops (Sasow) Pages: 72-77 Published: 2014
Times Cited: 0
DOI: 10.1109/SASOW.2013.23
added
25-Nov-16
5. Title: Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A Practical Approach
Author(s): Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; et al.
Source: Web Services and Formal Methods, Ws-Fm 2013 Volume: 8379 Pages: 85-105 Published: 2014
Times Cited: 0
DOI: 10.1007/978-3-319-08260-8_6
added
25-Nov-16
6. Title: Formalising Adaptation Patterns for Autonomic Ensembles
Author(s): Cesari, Luca; De Nicola, Rocco; Pugliese, Rosario; et al.
Source: Formal Aspects of Component Software Volume: 8348 Pages: 100-118 Published: 2014
Times Cited: 0
DOI: 10.1007/978-3-319-07602-7_8
added
25-Nov-16
7. Title: On Programming and Policing Autonomic Computing Systems
Author(s): Loreti, Michele; Margheri, Andrea; Pugliese, Rosario; et al.
Source: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, Pt I Volume: 8802 Pages: 164-183 Published: 2014
Times Cited: 2
added
25-Nov-16
8. Title: Programming and Verifying Component Ensembles
Author(s): De Nicola, Rocco; Lafuente, Alberto Lluch; Loreti, Michele; et al.
Source: From Programs To Systems: the Systems Perspective in Computing Volume: 8415 Pages: 69-83 Published: 2014
Times Cited: 3
added
25-Nov-16
9. Title: Self-expression and Dynamic Attribute-Based Ensembles in SCEL
Author(s): Cabri, Giacomo; Capodieci, Nicola; Cesari, Luca; et al.
Source: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, Pt I Volume: 8802 Pages: 147-163 Published: 2014
Times Cited: 5
added
25-Nov-16
10. Title: The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing
Author(s): Mayer, Philip; Klarl, Annabelle; Hennicker, Rolf; et al.
Source: 2013 Ieee Seventh International Conference on Self-Adaptation and Self-Organizing Systems Workshops (Sasow) Pages: 90-95 Published: 2014
Times Cited: 0
DOI: 10.1109/SASOW.2013.16
added
25-Nov-16
publication(s)  
First Page Previous Page Page   of  7  Go Next Page Last Page
  Sort by:    Results per page: