default search action
Rosario Pugliese
Person information
- affiliation: University of Florence, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c84]Lorenzo Bettini
, Gian-Luigi Ferrari
Klaim in the Making. ISoLA (1) 2024: 27-49 - 2023
- [j30]Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi:
Coordinating and programming multiple ROS-based robots with X-KLAIM. Int. J. Softw. Tools Technol. Transf. 25(5): 747-764 (2023) - [c83]Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi:
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. DLT 2023 - 2022
- [c82]Lorenzo Bettini
Programming Multi-robot Systems with X-KLAIM. ISoLA (3) 2022: 283-300 - 2020
- [j29]Rocco De Nicola
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111: 100511 (2020) - [j28]Rosario Pugliese, Francesco Tiezzi
Replacement freeness: A criterion for separating process calculi. J. Log. Algebraic Methods Program. 116: 100579 (2020) - [j27]Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. 16(2) (2020) - [c81]Lorenzo Bettini
Writing Robotics Applications with X-Klaim. ISoLA (2) 2020: 361-379
2010 – 2019
- 2019
- [j26]Andrea Margheri
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE Trans. Software Eng. 45(1): 2-33 (2019) - [c80]Davide Basile
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back 2019: 131-151 - [c79]Davide Basile
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION 2019: 129-147 - [e3]Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents] - [i3]Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. CoRR abs/1910.00849 (2019) - [i2]Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR abs/1912.01289 (2019) - 2018
- [c78]Rocco De Nicola
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION 2018: 110-141 - 2017
- [j25]Luca Cesari, Rosario Pugliese
Blind-date conversation joining. Serv. Oriented Comput. Appl. 11(3): 265-283 (2017) - 2016
- [j24]Francesco Chiti, Romano Fantacci, Michele Loreti
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wirel. Commun. 23(2): 86-92 (2016) - [c77]Andrea Margheri, Hanne Riis Nielson
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) 2016: 554-569 - [i1]Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. CoRR abs/1612.09339 (2016) - 2015
- [c76]Ugo Montanari, Rosario Pugliese, Francesco Tiezzi:
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661 - [c75]Andrea Margheri
On Properties of Policy-Based Specifications. WWV 2015: 33-50 - [p5]Rocco De Nicola
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [p4]Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron:
Correctness of Service Components and Service Component Ensembles. The ASCENS Approach 2015: 107-159 - [p3]Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures:
The Autonomic Cloud. The ASCENS Approach 2015: 495-512 - 2014
- [j23]Rocco De Nicola
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014) - [c74]Rocco De Nicola
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c73]Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) 2014: 147-163 - [c72]Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183 - [e2]Eva Kühn, Rosario Pugliese:
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Lecture Notes in Computer Science 8459, Springer 2014, ISBN 978-3-662-43375-1 [contents] - 2013
- [j22]Laura Kovács
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebraic Methods Program. 82(8): 241-242 (2013) - [c71]Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. HEALTHINF 2013: 263-268 - [c70]Luca Cesari, Rocco De Nicola
Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118 - [c69]Tomás Bures
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops 2013: 71-76 - [c68]Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops 2013: 89-94 - [c67]Andrea Margheri
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409 - [c66]Andrea Margheri
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. WS-FM 2013: 85-105 - [c65]Luca Cesari, Rosario Pugliese
Blind-date Conversation Joining. WWV 2013: 3-18 - 2012
- [j21]Rosario Pugliese
A calculus for orchestration of web services. J. Appl. Log. 10(1): 2-31 (2012) - [j20]Massimiliano Masi, Rosario Pugliese
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. J. Medical Syst. 36(6): 3695-3711 (2012) - [j19]Alessandro Lapadula, Rosario Pugliese
Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3): 189-213 (2012) - [j18]Alessandro Fantechi, Stefania Gnesi
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16:1-16:46 (2012) - [c64]Massimiliano Masi, Rosario Pugliese
Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS 2012: 60-74 - [c63]Edmond Gjondrekaj, Michele Loreti
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70 - [c62]Marianne Busch, Nora Koch
Towards model-driven development of access control policies for web applications. MDsec@MoDELS 2012: 4 - [c61]Edmond Gjondrekaj, Michele Loreti
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527 - 2011
- [j17]Alessandro Lapadula, Rosario Pugliese
A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods Syst. Des. 38(2): 119-157 (2011) - [j16]Federico Banti, Rosario Pugliese
An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011) - [c60]Massimiliano Masi, Rosario Pugliese
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM 2011: 187-196 - [c59]Rocco De Nicola
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - [p2]Luís Caires, Rocco De Nicola
Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188 - [p1]Stefania Gnesi
The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718 - [e1]Laura Kovács
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 61, 2011 [contents] - 2010
- [j15]Rocco De Nicola
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010) - [c58]Luca Cesari, Alessandro Lapadula, Rosario Pugliese
A tool for rapid development of WS-BPEL applications. SAC 2010: 2438-2442 - [c57]Federico Banti, Rosario Pugliese
A criterion for separating process calculi. EXPRESS 2010: 16-30
2000 – 2009
- 2009
- [j14]Daniele Gorla
Dynamic management of capabilities in a network aware coordination language. J. Log. Algebraic Methods Program. 78(8): 665-689 (2009) - [c56]Rosario Pugliese
On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570 - [c55]Massimiliano Masi, Rosario Pugliese
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS 2009: 55-70 - [c54]Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese
From Architectural to Behavioural Specification of Services. FESCA@ETAPS 2009: 3-21 - 2008
- [c53]Alessandro Lapadula, Rosario Pugliese
Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720 - [c52]Rocco De Nicola
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116 - [c51]Alessandro Lapadula, Rosario Pugliese
A Formal Account of WS-BPEL. COORDINATION 2008: 199-215 - [c50]Alessandro Fantechi, Stefania Gnesi
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245 - [c49]Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190 - [c48]Federico Banti, Alessandro Lapadula, Rosario Pugliese
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. WWV 2008: 71-105 - [c47]Rosario Pugliese
A Symbolic Semantics for a Calculus for Service-Oriented Computing. PLACES@DisCoTec 2008: 135-164 - 2007
- [j13]Rocco De Nicola
Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007) - [j12]Rocco De Nicola
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007) - [c46]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Calculus for Orchestration of Web Services. ESOP 2007: 33-47 - [c45]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239 - [c44]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290 - [c43]Alessandro Lapadula, Rosario Pugliese
Service Discovery and Negotiation With COWS. WWV 2007: 133-154 - 2006
- [j11]Rocco De Nicola
Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006) - [j10]Rocco De Nicola
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006) - [c42]Alessandro Lapadula, Rosario Pugliese
A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163 - [c41]Pilu Crescenzi
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348 - 2005
- [c40]Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini
A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444 - [c39]Rocco De Nicola
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - [c38]Rocco De Nicola
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172 - [c37]Rocco De Nicola
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14 - [c36]Rocco De Nicola
Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238 - 2004
- [j9]Gian-Luigi Ferrari
MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14(3): 367-395 (2004) - [c35]Mario Coppo, Mariangiola Dezani-Ciancaglini
Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590 - [c34]Daniele Gorla
Controlling data movement in global computing applications. SAC 2004: 1462-1467 - [c33]Rocco De Nicola
On the Expressive Power of Klaim-based Calculi. EXPRESS 2004: 117-130 - 2003
- [c32]Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479 - [c31]Lorenzo Bettini, Viviana Bono, Rocco De Nicola
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 - [c30]Daniele Gorla
Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132 - [c29]Daniele Gorla
Enforcing Security Policies via Types. SPC 2003: 86-100 - 2002
- [j8]Michele Boreale
Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002) - [j7]Lorenzo Bettini
Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14): 1365-1394 (2002) - [c28]Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377 - [c27]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c26]Gian-Luigi Ferrari
Guardians for Ambient-based Monitoring. F-WAN@ICALP 2002: 52-75 - 2001
- [j6]Michele Boreale
Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31(3): 947-986 (2001) - [j5]Michele Boreale
Divergence in testing and readiness semantics. Theor. Comput. Sci. 266(1-2): 237-248 (2001) - [c25]Gian-Luigi Ferrari
MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198 - [c24]Lorenzo Bettini
XKlaim and Klava: Programming Mobile Code. TOSCA 2001: 24-37 - [c23]Gian-Luigi Ferrari
Global Types and Network Services. ConCoord 2001: 35-48 - [c22]Gian-Luigi Ferrari
Higher-Order Types and Meta-Programming for Global Computing. TOSCA 2001: 52-68 - [c21]Lorenzo Bettini
Modelling Node Connectivity in Dynamically Evolving Networks. ConCoord 2001: 81-91 - 2000
- [j4]Rocco De Nicola
Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2): 389-437 (2000) - [j3]Rocco De Nicola
Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000) - [c20]Rocco De Nicola
Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65 - [c19]Rocco De Nicola
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. COORDINATION 2000: 66-80 - [c18]Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392 - [c17]Lorenzo Bettini
Structured Nets in KLAIM. SAC (1) 2000: 174-180 - [c16]Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Mobile Applications in X-KLAIM. WOA 2000: 1-6 - [c15]Gian-Luigi Ferrari, Rosario Pugliese, Emilio Tuosto:
Calculi for Network Aware Programming. WOA 2000: 23-28
1990 – 1999
- 1999
- [j2]Michele Boreale
Basic Observables for Processes. Inf. Comput. 149(1): 77-98 (1999) - [c14]Rocco De Nicola
Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146 - [c13]Michele Boreale, Rocco De Nicola
A Theory of "May" Testing for Asynchronous Languages. FoSSaCS 1999: 165-179 - [c12]Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Proof Techniques for Cryptographic Processes. LICS 1999: 157-166 - [c11]Anna Ingólfsdóttir, Rosario Pugliese
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. EXPRESS 1999: 18-24 - 1998
- [j1]Rocco De Nicola
KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng. 24(5): 315-330 (1998) - [c10]Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese
A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242 - [c9]Michele Boreale
Asynchronous Observations of Processes. FoSSaCS 1998: 95-109 - [c8]Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117 - 1997
- [c7]Rocco De Nicola
Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION 1997: 220-237 - [c6]Michele Boreale
Basic Observables for Processes. ICALP 1997: 482-492 - [c5]Rocco De Nicola
Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726 - 1996
- [c4]Rocco De Nicola, Rosario Pugliese
A Process Algebra Based on LINDA. COORDINATION 1996: 160-178 - [c3]Rosario Pugliese, Enrico Tronci:
Automatic Verification of a Hydroelectric Power Plant. FME 1996: 425-444 - [c2]Rocco De Nicola
Testing Semantics of Asynchronous Distributed Programs. LOMAPS 1996: 320-344 - 1995
- [c1]Rocco De Nicola, Rosario Pugliese:
An Observational Semantics for Linda. STRICT 1995: 129-143
Coauthor Index
[c84] [j30] [c83] [c82] [j29] [j28] [c81] [j26] [c80] [i2] [c78] [j25] [i1] [c76] [c75] [p5] [p4] [p3] [j23] [c74] [c73] [c72] [j22] [c71] [c70] [c68] [c67] [c66] [c65] [j21] [j20] [j19] [j18] [c64] [c63] [c62] [c61] [j17] [j16] [c60] [p1] [e1] [c58] [c57] [c56] [c55] [c54] [c53] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: