Paolo Maggi

According to our database, Paolo Maggi authored at least 14 papers between 2001 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

HPC Cloud Pills: On-Demand Deployment and Execution of HPC Application in Cloud Environments.

Pietro Ruiu, Olivier Terzo, Giuseppe Carlino, Rossella Prandi, Alberto Falzone, Paolo Maggi, Livia Torterolo, Enrico Usai, Gianpaolo Perego

Proceedings of the 2014 Ninth International Conference on P2P, 2014

2010

Conjugating science gateways and grid portals into e-collaboration environments: the Liferay and GENIUS/EnginFrame use case.

Roberto Barbera, Giuseppe La Rocca, Riccardo Rotondo, Alberto Falzone, Paolo Maggi, Nicola Venuti

Proceedings of the 2010 TeraGrid Conference, 2010

2009

Detecting Chains of Vulnerabilities in Industrial Networks.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano

IEEE Trans. Ind. Informatics, 2009

2008

Vulnerability Modelling for the Analysis of Network Attacks.

Paolo Maggi, Davide Pozza, Riccardo Sisto

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

2007

A Grid-Powered Framework to Support Courses on Distributed Programming.

Paolo Maggi, Riccardo Sisto

IEEE Trans. Educ., 2007

Improving the security of industrial networks by means of formal verification.

Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano

Comput. Stand. Interfaces, 2007

2004

Implementing innovative services supporting user and terminal mobility: the SCARAB architecture.

Luigi Ciminiera, Paolo Maggi, Riccardo Sisto

J. Syst. Softw., 2004

2003

A configurable mobile agent data protection protocol.

Paolo Maggi, Riccardo Sisto

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Experiments on Formal Verification of Mobile Agent Data Integrity Properties.

Paolo Maggi, Riccardo Sisto

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

Using SPIN to Verify Security Properties of Cryptographic Protocols.

Paolo Maggi, Riccardo Sisto

Proceedings of the Model Checking of Software, 2002

2001

Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study.

Xavier Hannotin, Paolo Maggi, Riccardo Sisto

Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

Using Data Flow Analysis to Infer Type Information in Java Bytecode.

Paolo Maggi, Riccardo Sisto

Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study.

Xavier Hannotin, Paolo Maggi, Riccardo Sisto

Proceedings of the Mobile Agents, 5th International Conference, 2001

SCARAB: Innovative Services Supporting User and Terminal Mobility.

Luigi Ciminiera, Paolo Maggi, Riccardo Sisto

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001