Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Useful contents

LATEST RESEARCH PAPERS

Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez: Time Analysis of Actor Programs, March 2018 (with Michael Lienhardt, Ka I Pun, Guillermo Román-Díez) Cosimo Laneve: A lightweight deadlock analysis technique of object-oriented programs, January 2018 Cosimo Laneve ...

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 ...