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, 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) [Contribution to conference proceedings]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, 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi, Porto, 08/10/2019) [Contribution to conference proceedings]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 [Scientific article]
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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contribution to conference proceedings]
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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2018, 10855, pp. 37 - 53 (atti di: 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, bel, 2017) [Contribution to conference proceedings]
Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo, Analysis of synchronisations in stateful active objects, in: Integrated Formal Methods. IFM 2017., Cham, Springer, 2017, 10510, pp. 195 - 210 (atti di: 13th International Conference on Integrated Formal Methods, IFM 2017, Turin, Italy, September 20-22, 2017) [Contribution to conference proceedings]
Kobayashi, Naoki; Laneve, Cosimo, Deadlock analysis of unbounded process networks, «INFORMATION AND COMPUTATION», 2017, 252, pp. 48 - 70 [Scientific article]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 [Chapter or essay]
Abel, Garcia; Laneve, Cosimo; Lienhardt, Michael, Static analysis of cloud elasticity, «SCIENCE OF COMPUTER PROGRAMMING», 2017, 147, pp. 27 - 53 [Scientific article]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 [Scientific article]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) [Contribution to conference proceedings]
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) [Chapter or essay]
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, 2016, 9539, pp. 199 - 216 (atti di: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015) [Contribution to conference proceedings]
Laneve, Cosimo; Padovani, Luca, An algebraic theory for web service contracts, «FORMAL ASPECTS OF COMPUTING», 2015, 27, pp. 613 - 640 [Scientific article]Open Access
