Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

News

Home > News > LATEST RESEARCH PAPERS

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 for programs with threads and reentrant locks, January 2018. The extended abstract (e.g. the first 16 pages) appears in the Proceedings of FM 2018.

Cosimo Laneve and Abel Garcia: Deadlock detection of Java bytecode, November 2017. The extended abstract (e.g. the first 16 pages) appears in the Proceedings of LOPSTR 2017.

Published on: January 24 2018