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]
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]
Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong, Deadlock Analysis of Concurrent Objects: Theory and Practice, in: Integrated Formal Methods, 10th International Conference, IFM 2013, 2013, 7940, pp. 394 - 411 (atti di: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, June 10-14, 2013) [Contribution to conference proceedings]
Elvira Albert;
Frank S. de Boer;
Reiner Hahnle;
Einar Broch Johnsen;
Cosimo Laneve, Engineering virtualized services, in: Second Nordic Symposium on Cloud Computing {\&} Internet Technologies, NordiCloud '13, 2013, 826, pp. 59 - 63 (atti di: Second Nordic Symposium on Cloud Computing {\&} Internet Technologies, NordiCloud '13, Oslo, September 1-3, 2013) [Contribution to conference proceedings]
