Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rosario Pugliese
2010 – today
- 2013
[c53]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- [i1]Luca Cesari, Rosario Pugliese, Francesco Tiezzi: Blind-date Conversation Joining. CoRR abs/1308.0388 (2013)
- 2012
- [j32]Rosario Pugliese, Francesco Tiezzi: A calculus for orchestration of web services. J. Applied Logic 10(1): 2-31 (2012)
- [j31]Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi: Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. J. Medical Systems 36(6): 3695-3711 (2012)
- [j30]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3): 189-213 (2012)
- [j29]Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16 (2012)
- [c52]Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi: Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS 2012: 60-74
- [c51]Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo: Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70
- [c50]Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi: Towards model-driven development of access control policies for web applications. MDsec 2012: 4
- [c49]Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi: Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527
- 2011
- [j28]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design 38(2): 119-157 (2011)
- [j27]Federico Banti, Rosario Pugliese, Francesco Tiezzi: An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011)
- [c48]Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi: e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM 2011: 187-196
- [c47]Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese: A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48
- [p2]Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro: Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188
- [p1]Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi: The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718
- [e1]Laura Kovács, Rosario Pugliese, Francesco Tiezzi (Eds.): Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems. EPTCS 61, 2011
- 2010
- [j26]Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010)
- [c46]Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A tool for rapid development of WS-BPEL applications. SAC 2010: 2438-2442
- [c45]Federico Banti, Rosario Pugliese, Francesco Tiezzi: A criterion for separating process calculi. EXPRESS'10 2010: 16-30
2000 – 2009
- 2009
- [j25]Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electr. Notes Theor. Comput. Sci. 235: 71-105 (2009)
- [j24]Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida: A Symbolic Semantics for a Calculus for Service-Oriented Computing. Electr. Notes Theor. Comput. Sci. 241: 135-164 (2009)
- [j23]Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: From Architectural to Behavioural Specification of Services. Electr. Notes Theor. Comput. Sci. 253(1): 3-21 (2009)
- [j22]Daniele Gorla, Rosario Pugliese: Dynamic management of capabilities in a network aware coordination language. J. Log. Algebr. Program. 78(8): 665-689 (2009)
- [c44]Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida: On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570
- [c43]Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi: On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS 2009: 55-70
- 2008
- [j21]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Service Discovery and Negotiation With COWS. Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008)
- [c42]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720
- [c41]Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116
- [c40]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Formal Account of WS-BPEL. COORDINATION 2008: 199-215
- [c39]Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
- [c38]Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró: SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
- 2007
- [j20]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)
- [j19]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007)
- [c37]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
- [c36]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239
- [c35]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290
- 2006
- [j18]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)
- [j17]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006)
- [c34]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163
- [c33]Pilu Crescenzi, Michele Loreti, Rosario Pugliese: Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348
- 2005
- [j16]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: On the Expressive Power of Klaim-based Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 117-130 (2005)
- [c32]Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444
- [c31]Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
- [c30]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172
- [c29]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14
- [c28]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238
- 2004
- [j15]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: MetaKlaim: a type safe multi-stage language for global computing. Mathematical Structures in Computer Science 14(3): 367-395 (2004)
- [c27]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590
- [c26]Daniele Gorla, Rosario Pugliese: Controlling data movement in global computing applications. SAC 2004: 1462-1467
- 2003
- [c25]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
- [c24]Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
- [c23]Daniele Gorla, Rosario Pugliese: Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132
- [c22]
- 2002
- [j14]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Guardians for Ambient-based Monitoring. Electr. Notes Theor. Comput. Sci. 66(3): 52-75 (2002)
- [j13]Michele Boreale, Rocco De Nicola, Rosario Pugliese: Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002)
- [j12]Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese: Klava: a Java package for distributed and mobile applications. Softw., Pract. Exper. 32(14): 1365-1394 (2002)
- [c21]Lorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377
- [c20]Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
- 2001
- [j11]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Global Types and Network Services. Electr. Notes Theor. Comput. Sci. 54: 35-48 (2001)
- [j10]Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: 81-91 (2001)
- [j9]Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese: XKlaim and Klava: Programming Mobile Code. Electr. Notes Theor. Comput. Sci. 62: 24-37 (2001)
- [j8]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Higher-Order Types and Meta-Programming for Global Computing. Electr. Notes Theor. Comput. Sci. 62: 52-68 (2001)
- [j7]Michele Boreale, Rocco De Nicola, Rosario Pugliese: Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31(3): 947-986 (2001)
- [j6]Michele Boreale, Rocco De Nicola, Rosario Pugliese: Divergence in testing and readiness semantics. Theor. Comput. Sci. 266(1-2): 237-248 (2001)
- [c19]Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198
- 2000
- [j5]Rocco De Nicola, Rosario Pugliese: Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2): 389-437 (2000)
- [j4]Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri: Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000)
- [c18]Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65
- [c17]Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron: Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. COORDINATION 2000: 66-80
- [c16]Michele Boreale, Rocco De Nicola, Rosario Pugliese: Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392
- [c15]
- [c14]Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Mobile Applications in X-KLAIM. WOA 2000: 1-6
- [c13]Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto: Calculi for Network Aware Programming. WOA 2000: 23-28
1990 – 1999
- 1999
- [j3]Anna Ingólfsdóttir, Rosario Pugliese: Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. Electr. Notes Theor. Comput. Sci. 27: 18-24 (1999)
- [j2]Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. Inf. Comput. 149(1): 77-98 (1999)
- [c12]Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146
- [c11]Michele Boreale, Rocco De Nicola, Rosario Pugliese: A Theory of "May" Testing for Asynchronous Languages. FoSSaCS 1999: 165-179
- [c10]Michele Boreale, Rocco De Nicola, Rosario Pugliese: Proof Techniques for Cryptographic Processes. LICS 1999: 157-166
- 1998
- [j1]Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng. 24(5): 315-330 (1998)
- [c9]Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
- [c8]Michele Boreale, Rocco De Nicola, Rosario Pugliese: Asynchronous Observations of Processes. FoSSaCS 1998: 95-109
- [c7]Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari: Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117
- 1997
- [c6]Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION 1997: 220-237
- [c5]Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. ICALP 1997: 482-492
- [c4]Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726
- 1996
- [c3]
- [c2]Rosario Pugliese, Enrico Tronci: Automatic Verification of a Hydroelectric Power Plant. FME 1996: 425-444
- [c1]Rocco De Nicola, Rosario Pugliese: Testing Semantics of Asynchronous Distributed Programs. LOMAPS 1996: 320-344
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:01 CEST by the dblp team