Foto del docente

Cosimo Laneve

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Useful contents

LATEST RESEARCH PAPERS

Cosimo Laneve, Claudio Sacerdoti Coen: Ether Analysis of Solidity Functions, May 2020. Stefano Bistarelli,Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti: Stochastic Modelling and Analysis of Bitcoin, May 2020. Cosimo Laneve, Adele ...

LAB ON BLOCKCHAIN AND NEW TECHNOLOGIES

The Lab promotes the research on Blockchain and New Technologies and their technological transfer.

SOFTWARE DEVELOPED BY COSIMO's GROUP

The JaDA Project -- Development of a full-fledged deadlock analyser for the Java programming language. The first release of the Java Deadlock Analyzer is available as a web service at JaDA, Abel Garcia and Cosimo Laneve, October 2016. Static Resource Analyzer -- Static ...