Gian Luigi Ferrari

GianLuigi Ferrari

	2011
101		Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari: Predicting global usages of resources endowed with local policies FOCLASA 2011: 49-64
100		Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti: On Quantitative Security Policies. PaCT 2011: 23-39
99		Roberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo: Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM 2011: 111-127
98		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Call-by-Contract for Service Discovery, Orchestration and Recovery. Results of the SENSORIA Project 2011: 232-261
97		Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Model-Driven Development of Long Running Transactions. Results of the SENSORIA Project 2011: 326-348
	2010
96		Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari: Safer in the Clouds (Extended Abstract) ICE 2010: 45-49
95		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Refactoring Long Running Transactions: A Case Study. TGC 2010: 318-334
94		Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: Global Coordination Policies for Services. Electr. Notes Theor. Comput. Sci. 260: 73-89 (2010)
93		Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: Event based choreography. Sci. Comput. Program. 75(10): 848-878 (2010)
	2009
92		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95
91		Chiara Bodei, Gian Luigi Ferrari: Choreography Rehearsal. WS-FM 2009: 29-45
90		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6): (2009)
89		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Hard Life with Weak Binders. Electr. Notes Theor. Comput. Sci. 242(1): 49-72 (2009)
88		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Planning and verifying service composition. Journal of Computer Security 17(5): 799-837 (2009)
	2008
87		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329
86		Gian Luigi Ferrari: Ugo Montanari and Software Verification. Concurrency, Graphs and Models 2008: 618-624
85		Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto: History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
84		Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: Checking Correctness of Transactional Behaviors. FORTE 2008: 134-148
83		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Model Checking Usage Policies. TGC 2008: 19-35
82		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Refactoring Long Running Transactions. WS-FM 2008: 127-142
81		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Debugging Distributed Systems with Causal Nets. ECEASST 14: (2008)
80		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008)
79		Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto: A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008)
	2007
78		GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80
77		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Secure Service Orchestration. FOSAD 2007: 24-74
76		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47
75		Vincenzo Ciancia, Gian Luigi Ferrari: Co-Algebraic Models for Quantitative Spatial Logics. Electr. Notes Theor. Comput. Sci. 190(3): 43-58 (2007)
	2006
74		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69
73		Alois Ferscha, Alexander Schill, GianLuigi Ferrari, Valérie Issarny: Topic 14: Mobile and Ubiquitous Computing. Euro-Par 2006: 897
72		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security Issues in Service Composition. FMOODS 2006: 1-16
71		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: JSCL: A Middleware for Service Coordination. FORTE 2006: 46-60
70		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: Event Based Service Coordination over Dynamic and Heterogeneous Networks. ICSOC 2006: 453-458
69		GianLuigi Ferrari, Alberto Lluch-Lafuente: A Logic for Graphs with QoS. Electr. Notes Theor. Comput. Sci. 142: 143-160 (2006)
	2005
68		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
67		Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
66		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Enforcing Secure Service Composition. CSFW 2005: 211-223
65		Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto: From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM 2005: 272-286
64		Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO 2005: 22-43
63		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24
62		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332
61		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112
60		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Policy framings for access control. WITS 2005: 5-11
59		Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto: A Coordination-based Methodology for Security Protocol Verification. Electr. Notes Theor. Comput. Sci. 121: 23-46 (2005)
58		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. Theor. Comput. Sci. 331(2-3): 325-365 (2005)
	2004
57		Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith: Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings Springer 2004
56		Sajal K. Das, Jiannong Cao, Jie Wu, Gian Luigi Ferrari: Topic 15: Mobile Computing. Euro-Par 2004: 916
55		Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto: Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
54		Michael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi: Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. Electr. Notes Theor. Comput. Sci. 105: 11-20 (2004)
53		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Program Transformations under Dynamic Security Policies. Electr. Notes Theor. Comput. Sci. 99: 49-86 (2004)
52		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004)
51		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)
	2003
50		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
49		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security-Aware Program Transformations. ICTCS 2003: 355-368
48		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
47		Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003)
46		Gian Luigi Ferrari, Keith M. Chugg: Linear programming-based optimization of the distance spectrum of linear block codes. IEEE Transactions on Information Theory 49(7): 1794-1800 (2003)
	2002
45		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266
44		Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto: From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338
43		Gian Luigi Ferrari, Ugo Montanari, Marco Pistore: Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158
42		Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377
41		Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9(2): 137-150 (2002)
40		Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Guardians for Ambient-based Monitoring. Electr. Notes Theor. Comput. Sci. 66(3): 52-75 (2002)
	2001
39		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16
38		Gian Luigi Ferrari, Emilio Tuosto: A debugging calculus for mobile ambients. SAC 2001
37		Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198
36		Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Global Types and Network Services. Electr. Notes Theor. Comput. Sci. 54: 35-48 (2001)
35		Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security Issues in Component-based Design. Electr. Notes Theor. Comput. Sci. 54: 49-57 (2001)
34		Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54: 69-80 (2001)
33		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)
32		Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
	2000
31		Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65
30		Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mobile Agents Coordination in Mobadtl. COORDINATION 2000: 232-248
29		Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Mobile Applications in X-KLAIM. WOA 2000: 1-6
28		Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto: Calculi for Network Aware Programming. WOA 2000: 23-28
27		Gian Luigi Ferrari, Ugo Montanari: Tile Formats for Located and Mobile Systems. Inf. Comput. 156(1-2): 173-235 (2000)
26		Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri: Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000)
	1999
25		Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146
	1998
24		Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
23		Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari: Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117
22		Gian Luigi Ferrari, Ugo Montanari: Parameterized Structured Operational Semantics. Fundam. Inform. 34(1-2): 1-31 (1998)
21		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)
	1997
20		Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION 1997: 220-237
19		Gian Luigi Ferrari, Ugo Montanari: A Tile-Based Coordination View of Asynchronous pi-Calculus. MFCS 1997: 52-70
18		Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
17		Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726
16		Gian Luigi Ferrari, Ugo Montanari: Tiles for concurrent and located calculi? Electr. Notes Theor. Comput. Sci. 7: 115-140 (1997)
15		Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: 96-114 (1997)
14		Gian Luigi Ferrari: Atomicity and Concurrency Control in Process Calculi. Fundam. Inform. 29(4): 341-368 (1997)
13		Gian Luigi Ferrari, Ugo Montanari, Miranda Mowbray: Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. Mathematical Structures in Computer Science 7(3): 241-282 (1997)
	1996
12		Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996)
	1995
11		Gian Luigi Ferrari, Ugo Montanari: Dynamic Matrices and the Cost Analysis of Concurrent Programs. AMAST 1995: 307-321
10		Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71
	1994
9		Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351
	1991
8		Gian Luigi Ferrari, Ugo Montanari: The Observation Algebra of Spatial Pomsets. CONCUR 1991: 188-202
7		Gian Luigi Ferrari: On Causality Observed Incrementally, Finally. TAPSOFT, Vol.1 1991: 26-41
6		Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari: An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48
	1990
5		Gian Luigi Ferrari, Ugo Montanari: Towards the Unification of Models for Concurrency. CAAP 1990: 162-176
4		Rocco De Nicola, Gian Luigi Ferrari: Observational Logics and Concurrency Models. FSTTCS 1990: 301-315
3		Andrea Asperti, Gian Luigi Ferrari, Roberto Gorrieri: Implicative Formulae in the ``Proofs as Computations'' Analogy. POPL 1990: 59-71
2		Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari: Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes 1990: 185-222
1		Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini: RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. 16(11): 1235-1246 (1990)

Coauthor Index

1	Andrea Asperti	[3]
2	Michael Baldamus	[54]
3	Giacomo Baldi	[59]
4	Massimo Bartoletti	[34] [49] [52] [53] [60] [61] [62] [66] [72] [74] [76] [77] [80] [83] [88] [89] [90] [92] [98]
5	Jesper Bengtson	[54]
6	Lorenzo Bettini	[23] [29] [50]
7	Chiara Bodei	[91] [96] [101]
8	Viviana Bono	[50]
9	Andrea Bracciali	[35] [42] [59] [79]
10	Antonio Brogi	[35] [42]
11	Roberto Bruni	[65] [99]
12	Jiannong Cao	[56]
13	Keith M. Chugg	[46]
14	Vincenzo Ciancia	[75] [84] [85] [93] [94] [97]
15	Andrea Corradini	[2] [99]
16	Flavio Corradini	[15] [32]
17	Sajal K. Das	[56]
18	Pierpaolo Degano	[34] [49] [52] [53] [60] [61] [62] [66] [72] [74] [76] [77] [80] [83] [88] [89] [90] [92] [98] [100]
19	Michela Degl'Innocenti	[1]
20	Viet Dung Dinh	[96] [101]
21	Gianluigi Ferro	[18]
22	Alois Ferscha	[73]
23	Tito Flagella	[99]
24	Stefania Gnesi	[18] [24] [47] [55]
25	Daniele Gorla	[50]
26	Roberto Gorrieri	[3] [6]
27	Roberto Guanciale	[70] [71] [78] [81] [82] [84] [87] [93] [94] [95] [97] [99]
28	Dan Hirsch	[64]
29	Valérie Issarny	[73]
30	Ivan Lanese	[64]
31	Alberto Lluch-Lafuente	[69]
32	Michele Loreti	[50]
33	Hernán C. Melgratti	[65]
34	Greg Meredith	[57]
35	Gianluca Mezzetti	[100]
36	Eugenio Moggi	[33] [36] [37] [40] [50] [51]
37	Ugo Montanari	[2] [5] [6] [8] [9] [10] [11] [12] [13] [16] [18] [19] [22] [24] [27] [39] [43] [44] [45] [47] [48] [55] [58] [63] [64] [65] [67] [68]
38	Carlo Montangero	[30] [41]
39	Miranda Mowbray	[13]
40	Rocco De Nicola	[4] [17] [20] [21] [23] [25] [26] [29] [31] [48] [50] [57] [67]
41	Giuliano Pacini	[1]
42	Marco Pistore	[15] [18] [24] [32] [43] [47] [85]
43	Rosario Pugliese	[17] [20] [21] [23] [25] [26] [28] [29] [31] [33] [36] [37] [40] [48] [50] [51] [67]
44	Paola Quaglia	[9] [10] [12]
45	Roberto Raggi	[44] [54] [55]
46	Gioia Ristori	[18] [24]
47	Alexander Schill	[73]
48	Laura Semini	[30] [41]
49	Simone Semprini	[30] [41]
50	Giorgio Spagnolo	[99]
51	Daniele Strollo	[65] [70] [71] [78] [81] [82] [84] [87] [93] [94] [95] [97]
52	Gianluca Trentanni	[55]
53	Emilio Tuosto	[28] [35] [38] [39] [42] [44] [45] [48] [50] [55] [58] [59] [63] [64] [65] [67] [68] [78] [79] [81] [82] [85] [87] [95] [97]
54	Franco Turini	[1]
55	Betti Venneri	[26] [50]
56	Björn Victor	[68]
57	Jie Wu	[56]
58	Kidane Yemane	[68]
59	Roberto Zunino	[76] [77] [80] [83] [89] [90] [92] [98]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page