Foto del docente

Ivan Lanese

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo, Developing correct, distributed, adaptive software, «SCIENCE OF COMPUTER PROGRAMMING», 2015, 97, pp. 41 - 46 [Scientific article]

Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo, Dynamic choreographies - Safe runtime updates of distributed applications, in: Coordination Models and Languages, Springer Verlag, 2015, 9037, pp. 67 - 82 (atti di: 17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015, Grenoble, France, June 2-4, 2015) [Contribution to conference proceedings]

Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi, The evolution of Jolie: From orchestrations to adaptable choreographies, in: Software, Services, and Systems, Springer International Publishing, 2015, 8950, pp. 506 - 521 (atti di: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Munich, Germany, 5-6 March 2015) [Contribution to conference proceedings]

Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio, AIOCJ, 2014. [Software]

Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio, AIOCJ: A choreographic framework for safe adaptive distributed applications, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2014, 8706, pp. 161 - 170 (atti di: International Conference on Software Language Engineering, Vasteras, Sweden, 15-16/9/2014) [Contribution to conference proceedings]

Elena Giachino; Ivan Lanese; Claudio Antares Mezzina, CaReDeb, 2014. [Software]

Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco, Causal-Consistent Reversibility, «BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE», 2014, 114, pp. 121 - 139 [Scientific article]

Elena Giachino;Ivan Lanese;Claudio Antares Mezzina, Causal-Consistent Reversible Debugging, in: Fundamental Approaches to Software Engineering, Berlin, Springer Berlin Heidelberg, 2014, 8411, pp. 370 - 384 (atti di: Fundamental Approaches to Software Engineering (FASE 2014), Grenoble, France, 5-13/4/2014) [Contribution to conference proceedings]

Luís Cruz-Filipe;Ivan Lanese;Francisco Martins;António Ravara;Vasco Thudichum Vasconcelos, The stream-based service-centred calculus: a foundation for service-oriented programming, «FORMAL ASPECTS OF COMPUTING», 2014, 26, pp. 865 - 918 [Scientific article]

Mario Bravetti;Marco Carbone;Thomas Hildebrandt;Ivan Lanese;Jacopo Mauro;Jorge A. Pérez;Gianluigi Zavattaro, Towards Global and Local Types for Adaptation, in: SEFM 2013 Collocated Workshops (part on the 2nd International Workshop on Behavioural Types), Berlin, Springer, 2014, 8368, pp. 3 - 14 (atti di: 2nd International Workshop on Behavioural Types (BEAT 2), Madrid, Spain, September 23-24, 2013) [Contribution to conference proceedings]

Ivan Lanese;Michael Lienhardt;Claudio Antares Mezzina;Alan Schmitt;Jean-Bernard Stefani, Concurrent Flexible Reversibility, in: Programming Languages and Systems - Proceedings of 22nd European Symposium on Programming, ESOP 2013, Berlin Heidelberg, Springer, 2013, 7792, pp. 370 - 390 (atti di: 22nd European Symposium on Programming, Roma, 16-24/3/2013) [Contribution to conference proceedings]

Ivan Lanese;Claudio Antares Mezzina;Jean-Bernard Stefani, Controlled Reversibility and Compensations, in: Reversible Computation, Berlin, Springer, 2013, 7581, pp. 233 - 240 (atti di: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012) [Contribution to conference proceedings]

Ivan Lanese; Gianluigi Zavattaro, Decidability Results for Dynamic Installation of Compensation Handlers, in: Proc. of 15th International Conference, COORDINATION 2013 Models and Languages, 2013, Berlin, Springer, 2013, 7890, pp. 136 - 150 (atti di: 15th International Conference, COORDINATION 2013, Firenze, 3-5/6/2013) [Contribution to conference proceedings]

Ivan Lanese;Luca Bedogni;Marco Di Felice, Internet of Things: a process calculus approach, in: Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13, New York, ACM, 2013, pp. 1339 - 1346 (atti di: 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, 18-22/3/2013) [Contribution to conference proceedings]

M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contribution to conference proceedings]

Latest news

At the moment no news are available.