Foto del docente

Ivan Lanese

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Hoey J.; Lanese I.; Nishida N.; Ulidowski I.; Vidal G., A case study for reversible computing: Reversible debugging of concurrent programs, in: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 108 - 127 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]Open Access

Lanese I.; Medic D., A general approach to derive uncontrolled reversible semantics, in: 31st International Conference on Concurrency Theory (CONCUR 2020), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 171, pp. 1 - 24 (atti di: 31st International Conference on Concurrency Theory, CONCUR 2020, Austria (online causa covid), 2020) [Contributo in Atti di convegno]Open Access

Lanese I.; Phillips I.; Ulidowski I., An Axiomatic Approach to Reversible Computation, in: FoSSaCS 2020: Foundations of Software Science and Computation Structures, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12077, pp. 442 - 461 (atti di: 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Ireland (suppressed due to covid), 2020) [Contributo in Atti di convegno]Open Access

Barbanera F.; Lanese I.; Tuosto E., Choreography automata, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12134, pp. 86 - 106 (atti di: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Online due to covid-19, planned in La Valletta (Malta), 15-19/06/2020) [Contributo in Atti di convegno]Open Access

Barbanera F.; Lanese I.; Tuosto E., Composing Communicating Systems, Synchronously, in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. ISoLA 2020., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12476, pp. 39 - 59 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Greece, 2020) [Contributo in Atti di convegno]Open Access

Aman B.; Ciobanu G.; Gluck R.; Kaarsgaard R.; Kari J.; Kutrib M.; Lanese I.; Mezzina C.A.; Mikulski L.; Nagarajan R.; Phillips I.; Pinna G.M.; Prigioniero L.; Ulidowski I.; Vidal G., Foundations of reversible computation, in: Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 1 - 40 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]Open Access

Mezzina C.A.; Schlatte R.; Gluck R.; Haulund T.; Hoey J.; Holm Cservenka M.; Lanese I.; Mogensen T.AE.; Siljak H.; Schultz U.P.; Ulidowski I., Software and reversible systems: A survey of recent activities, in: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 41 - 59 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]Open Access

Bresolin D.; Lanese I., Static and dynamic property-preserving updates, «INFORMATION AND COMPUTATION», 2020, To appear, pp. 1 - 24 [articolo]

Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro, The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service, in: Recent Developments in the Design and Implementation of Programming Languages, Dagstuhl, Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 21 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contributo in Atti di convegno]Open Access

Lanese I.; Palacios A.; Vidal G., Causal-Consistent Replay Debugging for Message Passing Programs, in: Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11535, pp. 167 - 184 (atti di: 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, 2019) [Contributo in Atti di convegno]Open Access

Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J., Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Cham, Springer, 2019, pp. 118 - 138 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [capitolo di libro]Open Access

Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Zingaro, Stefano Pio, Linguistic Abstractions for Interoperability of IoT Platforms, in: Towards Integrated Web, Mobile, and IoT Technology, Cham, Majchrzak, Tim A. and Mateos, Cristian and Poggi, Francesco and Gr{o}nli, Tor-Morten, 2019, pp. 83 - 114 (LECTURE NOTES IN BUSINESS INFORMATION PROCESSING) [capitolo di libro]

Gabbrielli M.; Giallorenzo S.; Lanese I.; Montesi F.; Peressotti M.; Zingaro S.P., No more, no less: A formal model for serverless computing, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11533, pp. 148 - 157 (atti di: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, dnk, 2019) [Contributo in Atti di convegno]

Lanese I.; Sangiorgi D.; Zavattaro G., Playing with bisimulation in erlang, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Cham, Springer Verlag, 2019, pp. 71 - 91 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [capitolo di libro]

Mikulski L.; Lanese I., Reversing Unbounded Petri Nets, in: 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11522, pp. 213 - 233 (atti di: 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, Aachen, Germany, 2019) [Contributo in Atti di convegno]Open Access

Ultimi avvisi

Al momento non sono presenti avvisi.