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

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