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) [Contributo in Atti di convegno]
Elena Giachino;Naoki Kobayashi;Cosimo Laneve, Deadlock Analysis of Unbounded Process Networks, in: CONCUR 2014, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8704, pp. 63 - 77 (atti di: CONCUR 2014, Rome, Italy, September 2-5, 2014) [Contributo in Atti di convegno]
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) [capitolo di libro]
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 [articolo]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]
Elena Giachino;
Cosimo Laneve, A Beginner's Guide to the DeadLock Analysis Model, in: Trustworthy Global Computing - 7th International Symposium, TGC 2012, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8191LNCS, pp. 49 - 63 (atti di: Trustworthy Global Computing - 7th International Symposium, Newcastle upon Tyne, UK, September 7-8, 2012) [Contributo in Atti di convegno]
Cosimo Laneve;
Luca Padovani, An Algebraic Theory for Web Service Contracts., in: Integrated Formal Methods, 10th International Conference, IFM 2013, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7940, pp. 301 - 315 (atti di: Integrated Formal Methods, 10th International Conference, IFM 2013, TURKU, June 10-14, 2013) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7940, pp. 394 - 411 (atti di: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, June 10-14, 2013) [Contributo in Atti di convegno]
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, «ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES», 2013, 826, pp. 59 - 63 (atti di: Second Nordic Symposium on Cloud Computing {\&} Internet Technologies, NordiCloud '13, Oslo, September 1-3, 2013) [Contributo in Atti di convegno]
Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt, SDA - Static Deadlock Analyzer for ABS, 2013. [software]
Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro, Decidability Problems for Actor Systems, in: Proceedings of CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7454, pp. 562 - 577 (atti di: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contributo in Atti di convegno]
Elena Giachino; Cosimo Laneve, Analysis of Deadlocks in Object Groups, in: Lecture Notes in Computer Science, Springer, 2011, 6722, pp. 168 - 182 (atti di: r Distributed Systems, Reykjavik, June 6-9, 2011) [Contributo in Atti di convegno]
Luca Cardelli; Cosimo Laneve, Reversibility in Massive Concurrent Systems, «SCIENTIFIC ANNALS OF COMPUTER SCIENCE», 2011, 21, pp. 175 - 198 [articolo]
