Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INFO-01/A Informatica

Pubblicazioni

de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G., Analysis of SLA compliance in the cloud: An automated, model-based approach, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2019, 302, pp. 1 - 15 (atti di: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018, Amsterdam, Olanda, 2018) [Contributo in Atti di convegno]Open Access

Laneve, C.; Padovani, L., Deadlock Analysis of Wait-Notify Coordination, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Cham, Springer Verlag, «LECTURE NOTES IN BIOINFORMATICS», 2019, 11760, pp. 50 - 67 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Parigi, 4-5 Novembre 2019) [Contributo in Atti di convegno]Open Access

Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele, On the Prediction of Smart Contracts’ Behaviours, in: From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi, Porto, 08/10/2019) [Contributo in Atti di convegno]Open Access

Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Román-Díez, Guillermo, Time analysis of actor programs, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2019, 105, pp. 1 - 27 [articolo]

Laneve, Cosimo*, A lightweight deadlock analysis for programs with threads and reentrant locks, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10951, pp. 608 - 624 (atti di: 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, gbr, 2018) [Contributo in Atti di convegno]

Laneve, Cosimo*; Garcia, Abel, Deadlock detection of java bytecode, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10855, pp. 37 - 53 (atti di: 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, bel, 2017) [Contributo in Atti di convegno]

Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo, Analysis of synchronisations in stateful active objects, in: Integrated Formal Methods. IFM 2017., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, 10510, pp. 195 - 210 (atti di: 13th International Conference on Integrated Formal Methods, IFM 2017, Turin, Italy, September 20-22, 2017) [Contributo in Atti di convegno]

Kobayashi, Naoki; Laneve, Cosimo, Deadlock analysis of unbounded process networks, «INFORMATION AND COMPUTATION», 2017, 252, pp. 48 - 70 [articolo]Open Access

Abel Garcia; Cosimo Laneve, JaDA - A Static Java Deadlock Analizer, 2017. [software]

Abel Garcia; Cosimo Laneve, JaDA -- the Java Deadlock Analyzer, in: Behavioural Types: from Theory to Tools, Delft, River Publishers, 2017, pp. 169 - 191 [capitolo di libro]

Abel, Garcia; Laneve, Cosimo; Lienhardt, Michael, Static analysis of cloud elasticity, «SCIENCE OF COMPUTER PROGRAMMING», 2017, 147, pp. 27 - 53 [articolo]Open Access

Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael, A framework for deadlock detection in core ABS, «SOFTWARE AND SYSTEMS MODELING», 2016, 15, pp. 1013 - 1048 [articolo]Open Access

Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo, Actors may synchronize, safely!, in: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016, Association for Computing Machinery, Inc, 2016, pp. 118 - 131 (atti di: 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016, Edinburgh, Scotland, September 05-07, 2016) [Contributo in Atti di convegno]

Giachino, Elena; de Gouw, Stijn; Laneve, Cosimo; Nobakht, Behrooz, Statically and dynamically verifiable SLA metrics, in: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Heidelberg, Springer Verlag, 2016, pp. 211 - 225 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Giachino, Elena; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I., Time complexity of concurrent programs – A technique based on behavioural types, in: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, Heidelberg, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2016, 9539, pp. 199 - 216 (atti di: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015) [Contributo in Atti di convegno]