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]
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, 2012, 7454, pp. 562 - 577 (atti di: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
Luca Cardelli; Cosimo Laneve, Reversibility in Massive Concurrent Systems, «SCIENTIFIC ANNALS OF COMPUTER SCIENCE», 2011, 21, pp. 175 - 198 [Scientific article]
Cardelli Luca; Cosimo Laneve, Reversible structures, in: Computational Methods in Systems Biology, 9th International Conference, ACM, 2011, pp. 131 - 140 (atti di: Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Parigi, September 21-23, 2011) [Contribution to conference proceedings]
C. Laneve;
A. Vitale, The Expressive Power of Synchronizations, in: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, NY, IEEE Computer Society, 2010, --, pp. 382 - 391 (atti di: 25th Annual IEEE Symposium on Logic in Computer Science, Edimburgo, 11-14 July 2010) [Contribution to conference proceedings]
C. Laneve;
T. Lascu;
V. Sordoni, The Interval Analysis of Multilinear Expressions, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2010, 267, pp. 43 - 53 (atti di: Tools for Automatic Program AnalysiS (TAPAS), Perpignan, France, 17 September 2010) [Contribution to conference proceedings]
C. Laneve; J. Su, Web Services and Formal Methods, 6th International Workshop, AMSTERDAM, Springer, 2010, pp. 195 (Lecture Notes in Computer Science). [Editorship]
C. Laneve; S. Pradalier; G. Zavattaro, From Biochemistry to Stochastic Processes, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2009, 253(3), pp. 167 - 185 (atti di: Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York, UK, March 28-29, 2009) [Contribution to conference proceedings]
S. Carpineti;
C. Laneve;
L. Padovani, PiDuce - A project for experimenting Web services technologies, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74/10, pp. 777 - 811 [Scientific article]
