dblp.uni-trier.dewww.uni-trier.de

Rosario Pugliese

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
64EEFederico 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)
2008
63EERocco 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
62EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Formal Account of WS-BPEL. COORDINATION 2008: 199-215
61EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720
60EEAlessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
59EEMartin 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
58EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Service Discovery and Negotiation With COWS. Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008)
2007
57EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
56EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239
55EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290
54EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)
53EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007)
2006
52EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163
51EEPilu Crescenzi, Michele Loreti, Rosario Pugliese: Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348
50EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)
49EERocco De Nicola, Daniele Gorla, Rosario Pugliese: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006)
2005
48EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172
47EERocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
46EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14
45EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238
44EEMario 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
43EERocco De Nicola, Daniele Gorla, Rosario Pugliese: On the Expressive Power of Klaim-based Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 117-130 (2005)
2004
42 Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590
41EEDaniele Gorla, Rosario Pugliese: Controlling data movement in global computing applications. SAC 2004: 1462-1467
40EEGian 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)
2003
39EELorenzo 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
38EEDaniele Gorla, Rosario Pugliese: Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132
37EEDaniele Gorla, Rosario Pugliese: Enforcing Security Policies via Types. SPC 2003: 86-100
36EERocco 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
2002
35EELorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377
34EELuis 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
33EEGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Guardians for Ambient-based Monitoring. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
32EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002)
31EELorenzo Bettini, Rocco De Nicola, Rosario Pugliese: Klava: a Java package for distributed and mobile applications. Softw., Pract. Exper. 32(14): 1365-1394 (2002)
2001
30EEGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198
29EEGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Global Types and Network Services. Electr. Notes Theor. Comput. Sci. 54: (2001)
28EELorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: (2001)
27EEGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Higher-Order Types and Meta-Programming for Global Computing. Electr. Notes Theor. Comput. Sci. 62: (2001)
26EELorenzo Bettini, Rocco De Nicola, Rosario Pugliese: XKlaim and Klava: Programming Mobile Code. Electr. Notes Theor. Comput. Sci. 62: (2001)
25EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31(3): 947-986 (2001)
24EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Divergence in testing and readiness semantics. Theor. Comput. Sci. 266(1-2): 237-248 (2001)
2000
23EERocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65
22EERocco 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
21 Michele Boreale, Rocco De Nicola, Rosario Pugliese: Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392
20 Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Structured Nets in KLAIM. SAC (1) 2000: 174-180
19 Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Mobile Applications in X-KLAIM. WOA 2000: 1-6
18 Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto: Calculi for Network Aware Programming. WOA 2000: 23-28
17EERocco De Nicola, Rosario Pugliese: Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2): 389-437 (2000)
16EERocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri: Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000)
1999
15 Michele Boreale, Rocco De Nicola, Rosario Pugliese: A Theory of "May" Testing for Asynchronous Languages. FoSSaCS 1999: 165-179
14EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Proof Techniques for Cryptographic Processes. LICS 1999: 157-166
13 Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146
12EEAnna Ingólfsdóttir, Rosario Pugliese: Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. Electr. Notes Theor. Comput. Sci. 27: (1999)
11 Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. Inf. Comput. 149(1): 77-98 (1999)
1998
10 Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
9EEMichele Boreale, Rocco De Nicola, Rosario Pugliese: Asynchronous Observations of Processes. FoSSaCS 1998: 95-109
8EELorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari: Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117
7EERocco 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)
1997
6 Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION 1997: 220-237
5 Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. ICALP 1997: 482-492
4 Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726
1996
3 Rocco De Nicola, Rosario Pugliese: A Process Algebra Based on LINDA. COORDINATION 1996: 160-178
2 Rosario Pugliese, Enrico Tronci: Automatic Verification of a Hydroelectric Power Plant. FME 1996: 425-444
1 Rocco De Nicola, Rosario Pugliese: Testing Semantics of Asynchronous Distributed Programs. LOMAPS 1996: 320-344

Coauthor Index

1Lucia Acciai [59]
2Luis Filipe Andrade [34]
3Paolo Baldan [34]
4Federico Banti [59] [64]
5Hubert Baumeister [34]
6Lorenzo Bettini [8] [19] [20] [26] [28] [31] [35] [39]
7Viviana Bono [39]
8Michele Boreale [5] [9] [11] [14] [15] [21] [24] [25] [32]
9Roberto Bruni [34]
10Allan Clark [59]
11Mario Coppo [42] [44]
12Andrea Corradini [34]
13Federico Cozzi [44]
14Pierluigi Crescenzi (Pilu Crescenzi) [51]
15Mariangiola Dezani-Ciancaglini [42] [44]
16Alessandro Fantechi [10] [59] [60]
17Gian Luigi Ferrari (GianLuigi Ferrari) [4] [6] [7] [8] [13] [16] [18] [19] [23] [27] [29] [30] [33] [36] [39] [40] [47]
18José Luiz Fiadeiro [34]
19Fabio Gadducci [34]
20Stephen Gilmore (Stephen T. Gilmore) [59]
21Elio Giovannetti [42] [44]
22Stefania Gnesi [10] [34] [59] [60]
23László Gönczy [59]
24Daniele Gorla [37] [38] [39] [41] [43] [45] [46] [48] [49] [50] [53] [54] [63]
25René Rydhof Hansen [63]
26Piotr Hoffman [34]
27Matthias M. Hölzl [59]
28Anna Ingólfsdóttir [12]
29Nora Koch [34] [59]
30Piotr Kosiuczenko [34]
31Alessandro Lapadula [34] [52] [55] [56] [57] [58] [59] [60] [61] [62] [64]
32Diego Latella [34]
33Antónia Lopes [34]
34Michele Loreti [20] [28] [34] [35] [39] [51]
35Mieke Massink [34]
36Philip Mayer [59]
37Franco Mazzanti [10] [34] [59] [60]
38Eugenio Moggi [27] [29] [30] [33] [39] [40]
39Ugo Montanari [34] [36] [47]
40Rocco De Nicola [1] [3] [4] [5] [6] [7] [8] [9] [11] [13] [14] [15] [16] [17] [19] [21] [22] [23] [24] [25] [26] [31] [32] [34] [36] [39] [43] [45] [46] [47] [48] [49] [50] [53] [54] [63]
41Flemming Nielson [63]
42Hanne Riis Nielson [63]
43Cristóvão Oliveira [34]
44Christian W. Probst [63]
45Antony I. T. Rowstron [22]
46Andreas Schroeder [59]
47Andrzej Tarlecki [34]
48Francesco Tiezzi [52] [55] [56] [57] [58] [59] [60] [61] [62] [64]
49Mirco Tribastone [59]
50Enrico Tronci [2] [10]
51Emilio Tuosto [18] [36] [39] [47]
52Dániel Varró [59]
53Betti Venneri [16] [39]
54Michel Wermelinger [34]
55Martin Wirsing [34] [59]
56Artur Zawlocki [34]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)