Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

News

Cryptocurrencies, bugs e transazioni sicure

Tesi di laurea triennale + tirocinio formativo

Published on: October 13 2016

Analisi di Proprietà di Applicazioni per il Cloud

Tesi di Laurea Magistrale su sviluppo di tool (o di estensioni di essi) per analizzare il consumo di risorse (macchine virtuali, processori, memoria) di applicazioni cloud (Java + librerie quali Amazon AWS). Si richiede pratica di programmazione object-oriented concorrente (molto buona).

Published on: April 22 2016

Analisi del tool JaDA (Java Deadlock Analyzer) e eventuali estensioni.

Tirocinio Formativo: Development of a testing environment for JaDA. *  Development of new testing programs (with different levels of difficulty) and their description (that could be included as part of the comments in the source code) * Improve the documentation of the whole tool. * Highlight restrictions ...

Published on: April 22 2016

JaDA website development and analysis of possible extensions

Tirocinio Formativo: Development of a (improved) website that exposes JaDA functionality, this basically means a web site with the tool as backend that allows to upload projects and run the tool over these projects. The website should include the mechanism for setting the tool arguments and a brief ...

Published on: April 22 2016