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
Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael, SRA - Static Resource Analyzer for ABS, 2015. [Software]
Garcia, Abel; Laneve, Cosimo; Lienhardt, Michael, Static analysis of cloud elasticity, in: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, Association for Computing Machinery, Inc, 2015, pp. 125 - 136 (atti di: 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, Siena (Italia), 2015) [Contribution to conference proceedings]
Elena Giachino;Naoki Kobayashi;Cosimo Laneve, Deadlock Analysis of Unbounded Process Networks, in: CONCUR 2014, 2014, 8704, pp. 63 - 77 (atti di: CONCUR 2014, Rome, Italy, September 2-5, 2014) [Contribution to conference proceedings]
Elena Giachino;Cosimo Laneve, Deadlock Detection in Linear Recursive Programs, in: Formal Methods for Executable Software Models, Berlin, Springer, 2014, pp. 26 - 64 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
de Boer, F.S.; Jaghoori, M.M.; Laneve, C.; Zavattaro, G., Decidability problems for actor systems, «LOGICAL METHODS IN COMPUTER SCIENCE», 2014, 10, pp. 1 - 28 [Scientific article]
Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael, DF4ABS - Deadlock Framework for ABS, 2014. [Software]
