Concepedia

Gian-Luigi Ferrari

GF

37

Publications

1.5K

Citations

20

H-Index

1990

Active since

Affiliations

University of Pisa(Current)

University of Florence

University of Trento

University of Cagliari

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Gian-Luigi Ferrari is an author at University of Pisa specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware AnalysisSystem SoftwareProgram AnalysisData SecurityVerificationSystems Engineering

Publications per year

1990–2023

37

Publications

37

KLAIM: a kernel language for agents interaction and mobility

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese · IEEE Transactions on Software Engineering · 1998 · 508 citations

Artificial Intelligence, Engineering, Software Engineering +21

Types for access control

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese et al. · Theoretical Computer Science · 2000 · 84 citations

Hardware Security, Engineering, Logical Access Control +7

Semantics-Based Design for Secure Web Services

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari et al. · IEEE Transactions on Software Engineering · 2008 · 61 citations

Ws-security, Web Service Specification, Engineering +22

A model-checking verification environment for mobile processes

Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari et al. · ACM Transactions on Software Engineering and Methodology · 2003 · 60 citations

Engineering, Verification, Model Checking +19

Secure Cloud-Edge Deployments, with Trust

Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi · Future Generation Computer Systems · 2019 · 59 citations · Full text

Secure Service, Engineering, Edge Computing +9

Rows per page

1–5 of 37