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

Gian Luigi Ferrari Vis

GianLuigi Ferrari

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

*2009
101EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95
100EEPaolo Medagliani, Gian Luigi Ferrari, Gianpietro Germi, Fabio Cappelletti: Simulation-assisted analysis and design of STP-based networks. SimuTools 2009: 53
99EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6): (2009)
98EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Hard Life with Weak Binders. Electr. Notes Theor. Comput. Sci. 242(1): 49-72 (2009)
2008
97EEGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329
96EEGian Luigi Ferrari: Ugo Montanari and Software Verification. Concurrency, Graphs and Models 2008: 618-624
95EEVincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto: History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
94EEVincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: Checking Correctness of Transactional Behaviors. FORTE 2008: 134-148
93EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Model Checking Usage Policies. TGC 2008: 19-35
92EEGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Refactoring Long Running Transactions. WS-FM 2008: 127-142
91EEGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Debugging Distributed Systems with Causal Nets. ECEASST 14: (2008)
90EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008)
89EEGianLuigi Ferrari, Roberto Pagliari, Marco Martalo: Decentralised binary detection with non-constant SNR profile at the sensors. IJSNET 4(1/2): 23-36 (2008)
88EEGian Luigi Ferrari, Fabio Cappelletti, Riccardo Raheli: A simple performance analysis of RFID networks with binary tree collision arbitration. IJSNET 4(3): 194-208 (2008)
87EEAndrea Bracciali, GianLuigi Ferrari, Emilio Tuosto: A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008)
2007
86EEGianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80
85EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Secure Service Orchestration. FOSAD 2007: 24-74
84EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47
83EEVincenzo Ciancia, Gian Luigi Ferrari: Co-Algebraic Models for Quantitative Spatial Logics. Electr. Notes Theor. Comput. Sci. 190(3): 43-58 (2007)
82EESooksan Panichpapiboon, GianLuigi Ferrari, Nawaporn Wisitpongphan, Ozan K. Tonguz: Route Reservation in Ad Hoc Wireless Networks. IEEE Trans. Mob. Comput. 6(1): 56-71 (2007)
2006
81EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69
80EEAlois Ferscha, Alexander Schill, GianLuigi Ferrari, Valérie Issarny: Topic 14: Mobile and Ubiquitous Computing. Euro-Par 2006: 897
79EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security Issues in Service Composition. FMOODS 2006: 1-16
78EEGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: JSCL: A Middleware for Service Coordination. FORTE 2006: 46-60
77EEGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: Event Based Service Coordination over Dynamic and Heterogeneous Networks. ICSOC 2006: 453-458
76EEGianLuigi Ferrari, Alberto Lluch-Lafuente: A Logic for Graphs with QoS. Electr. Notes Theor. Comput. Sci. 142: 143-160 (2006)
75EESooksan Panichpapiboon, GianLuigi Ferrari, Ozan K. Tonguz: Optimal Transmit Power in Wireless Sensor Networks. IEEE Trans. Mob. Comput. 5(10): 1432-1447 (2006)
74EEM. Franceschini, Gian Luigi Ferrari, Riccardo Raheli: Does the Performance of LDPC Codes Depend on the Channel? IEEE Transactions on Communications 54(12): 2129-2132 (2006)
2005
73EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
72EERocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
71EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Enforcing Secure Service Composition. CSFW 2005: 211-223
70EERoberto 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
69EEGian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO 2005: 22-43
68EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24
67EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332
66EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112
65EESooksan Panichpapiboon, GianLuigi Ferrari, Ozan K. Tonguz: Optimal common transmit power in ad hoc wireless networks. IPCCC 2005: 593-597
64EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Policy framings for access control. WITS 2005: 5-11
63EEGiacomo 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)
62EEGian Luigi Ferrari, Giulio Colavolpe, Riccardo Raheli: A unified framework for finite-memory detection. IEEE Journal on Selected Areas in Communications 23(9): 1697-1706 (2005)
61EEM. Franceschini, Gian Luigi Ferrari, Riccardo Raheli, A. Curtoni: Serial concatenation of LDPC codes and differential modulations. IEEE Journal on Selected Areas in Communications 23(9): 1758-1768 (2005)
60EEGian Luigi Ferrari, Giulio Colavolpe, Riccardo Raheli: On trellis-based truncated-memory detection. IEEE Transactions on Communications 53(9): 1462-1476 (2005)
59EEGian 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
58 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
57EESajal K. Das, Jiannong Cao, Jie Wu, Gian Luigi Ferrari: Topic 15: Mobile Computing. Euro-Par 2004: 916
56 Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto: Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
55EEMichael 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)
54EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Program Transformations under Dynamic Security Policies. Electr. Notes Theor. Comput. Sci. 99: 49-86 (2004)
53EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004)
52EEGian 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
51EELorenzo 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
50EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security-Aware Program Transformations. ICTCS 2003: 355-368
49EERocco 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
48EEGian 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)
47 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
46EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266
45EEGian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto: From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338
44EEGian Luigi Ferrari, Ugo Montanari, Marco Pistore: Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158
43 Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377
42 Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9(2): 137-150 (2002)
41EEGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Guardians for Ambient-based Monitoring. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
2001
40EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16
39EEGian Luigi Ferrari, Emilio Tuosto: A debugging calculus for mobile ambients. SAC 2001
38EEGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198
37EEGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Global Types and Network Services. Electr. Notes Theor. Comput. Sci. 54: (2001)
36EEAndrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security Issues in Component-based Design. Electr. Notes Theor. Comput. Sci. 54: (2001)
35EEMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54: (2001)
34EEGian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Higher-Order Types and Meta-Programming for Global Computing. Electr. Notes Theor. Comput. Sci. 62: (2001)
33EEFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
2000
32EERocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65
31EEGian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mobile Agents Coordination in Mobadtl. COORDINATION 2000: 232-248
30 Giulio Colavolpe, Gian Luigi Ferrari, Riccardo Raheli: Reduced-State BCJR-Type Algorithms. ICC (1) 2000: 460-464
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)
26EERocco 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
24EEGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
23EELorenzo 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)
21EERocco 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
19EEGian 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
17EERocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726
16EEFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: (1997)
15EEGian Luigi Ferrari, Ugo Montanari: Tiles for concurrent and located calculi? Electr. Notes Theor. Comput. Sci. 7: (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
12EEGian 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
10EEGian Luigi Ferrari, Ugo Montanari, Paola Quaglia: The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71
1994
9EEGian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351
1991
8EEGian Luigi Ferrari, Ugo Montanari: The Observation Algebra of Spatial Pomsets. CONCUR 1991: 188-202
7EEGian Luigi Ferrari: On Causality Observed Incrementally, Finally. TAPSOFT, Vol.1 1991: 26-41
6EEGian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari: An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48
1990
5EEGian Luigi Ferrari, Ugo Montanari: Towards the Unification of Models for Concurrency. CAAP 1990: 162-176
4EERocco 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
2EEAndrea Corradini, Gian Luigi Ferrari, Ugo Montanari: Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes 1990: 185-222
1EEMichela 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)