Paolo Maggi - RankMe

14 papers A 1C 1Journal 4Unranked 8

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