Concepedia

Giuseppe Lettieri

GL

16

Publications

484

Citations

13

H-Index

2002

Active since

Affiliations

University of Pisa(Current)

NetApp (United States)

University of Sannio

Sharp Laboratories of Europe (United Kingdom)

Giuseppe Lettieri is an author at University of Pisa specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringCloud ComputingComputer ArchitectureSoftware AnalysisParallel ComputingFormal VerificationSystems EngineeringVerification

Publications per year

2002–2022

16

Publications

16

VALE, a switched ethernet for virtual machines

Luigi Rizzo, Giuseppe Lettieri · 2012 · 145 citations

Engineering, Computer Architecture, Hardware Virtualization +17

Michio Honda, Felipe Huici, Giuseppe Lettieri et al. · 2015 · 74 citations · Full text

Hardware Security, Network Virtualization, High Performance Switches +11

Speeding up packet I/O in virtual machines

Luigi Rizzo, Giuseppe Lettieri, Vincenzo Maffione · Architectures for Networking and Communications Systems · 2013 · 36 citations

Cluster Computing, Engineering, Computer Architecture +18

Heuristic search for equivalence checking

Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone et al. · Software & Systems Modeling · 2014 · 29 citations · Full text

Engineering, Automated Reasoning, Verification +8

GreASE

Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone et al. · ACM Transactions on Software Engineering and Methodology · 2014 · 27 citations

Formal Specification, Engineering, Automated Reasoning +13

Rows per page

1–5 of 16