Paolo Maggi

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Computing Infrastructure

Fault Tolerance

Top Venues

Publications

Pietro Ruiu, Olivier Terzo, Giuseppe Carlino, Rossella Prandi, Alberto Falzone, Paolo Maggi, Livia Torterolo, Enrico Usai, Gianpaolo Perego
HPC Cloud Pills: On-Demand Deployment and Execution of HPC Application in Cloud Environments. 3PGCIC (2014)
Roberto Barbera, Giuseppe La Rocca, Riccardo Rotondo, Alberto Falzone, Paolo Maggi, Nicola Venuti
Conjugating science gateways and grid portals into e-collaboration environments: the Liferay and GENIUS/EnginFrame use case. TG (2010)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics 5 (2) (2009)
Paolo Maggi, Davide Pozza, Riccardo Sisto
Vulnerability Modelling for the Analysis of Network Attacks. DepCoS-RELCOMEX (2008)
Paolo Maggi, Riccardo Sisto
A Grid-Powered Framework to Support Courses on Distributed Programming. IEEE Trans. Educ. 50 (1) (2007)
Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano
Improving the security of industrial networks by means of formal verification. Comput. Stand. Interfaces 29 (3) (2007)
Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture. J. Syst. Softw. 72 (3) (2004)
Paolo Maggi, Riccardo Sisto
A configurable mobile agent data protection protocol. AAMAS (2003)
Paolo Maggi, Riccardo Sisto
Experiments on Formal Verification of Mobile Agent Data Integrity Properties. WOA (2002)
Paolo Maggi, Riccardo Sisto
Using SPIN to Verify Security Properties of Cryptographic Protocols. SPIN (2002)
Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
SCARAB: Innovative Services Supporting User and Terminal Mobility. ICDCS Workshops (2001)
Paolo Maggi, Riccardo Sisto
Using Data Flow Analysis to Infer Type Information in Java Bytecode. SCAM (2001)
Xavier Hannotin, Paolo Maggi, Riccardo Sisto
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. Mobile Agents (2001)
Xavier Hannotin, Paolo Maggi, Riccardo Sisto
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. WOA (2001)