Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Computer Science

Publications

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

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]

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, gbr, 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, pp. 199 - 216 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

Laneve, Cosimo; Padovani, Luca, An algebraic theory for web service contracts, «FORMAL ASPECTS OF COMPUTING», 2015, 27, pp. 613 - 640 [Scientific article]

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]

Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael, DF4ABS - Deadlock Framework for ABS, 2014. [Software]

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]

E. Giachino;C. Laneve, Towards the Typing of Resource Deployment, in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, Berlin, Springer, 2014, 8803, pp. 88 - 103 (atti di: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu; Greece, OCT 08-11, 2014) [Contribution to conference proceedings]

Elena Giachino; Cosimo Laneve, A Beginner's Guide to the DeadLock Analysis Model, in: Trustworthy Global Computing - 7th International Symposium, TGC 2012, 2013, 8191LNCS, pp. 49 - 63 (atti di: Trustworthy Global Computing - 7th International Symposium, Newcastle upon Tyne, UK, September 7-8, 2012) [Contribution to conference proceedings]

Cosimo Laneve; Luca Padovani, An Algebraic Theory for Web Service Contracts., in: Integrated Formal Methods, 10th International Conference, IFM 2013, 2013, 7940, pp. 301 - 315 (atti di: Integrated Formal Methods, 10th International Conference, IFM 2013, TURKU, June 10-14, 2013) [Contribution to conference proceedings]