Foto del docente

Ivan Lanese

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

Lanese I.; Phillips I.; Ulidowski I., An Axiomatic Theory for Reversible Computation, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2024, 25, Article number: 11 , pp. 1 - 40 [Scientific article]

Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni, Reversible debugging of concurrent Erlang programs: Supporting imperative primitives, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2024, 138, pp. 1 - 37 [Scientific article]

Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S., revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE, «LOGICAL METHODS IN COMPUTER SCIENCE», 2024, 20, pp. 11 - 35 [Scientific article]

Barbanera F.; Lanese I.; Tuosto E., A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES, «LOGICAL METHODS IN COMPUTER SCIENCE», 2023, 19, pp. 1 - 36 [Scientific article]Open Access

Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C., Causal Reversibility Implies Time Reversibility, in: Quantitative Evaluation of Systems, Cham, Springer Science and Business Media Deutschland GmbH, 2023, 14287, pp. 270 - 287 (atti di: 20th International Conference on Quantitative Evaluation of SysTems, QEST 2023, Antwerp, Belgium, 20-22/9/92023) [Contribution to conference proceedings]

Barbanera F.; Lanese I.; Tuosto E., Composition of synchronous communicating systems, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2023, 135, Article number: 100890 , pp. 1 - 33 [Scientific article]

Glück R.; Lanese I.; Mezzina C.A.; Miszczak J.A.; Phillips I.; Ulidowski I.; Vidal G., Towards a Taxonomy for Reversible Computation Approaches, in: Reversible Computation, 2023, 13960 LNCS, pp. 24 - 39 (atti di: Reversible Computation, Giessen, Germany, 18-19/7/2023) [Contribution to conference proceedings]

Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J., A MAPE-K Approach to Autonomic Microservices, in: 2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 100 - 103 (atti di: 19th IEEE International Conference on Software Architecture Companion, ICSA-C 2022, usa, 2022) [Contribution to conference proceedings]Open Access

Gheri L.; Lanese I.; Sayers N.; Tuosto E.; Yoshida N., Design-By-Contract for Flexible Multiparty Session Protocols, in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022, 222, pp. 1 - 28 (atti di: 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, 6 - 10 June 2022) [Contribution to conference proceedings]Open Access

Barbanera F.; Lanese I.; Tuosto E., Formal Choreographic Languages, in: COORDINATION 2022: Coordination Models and Languages, Cham, Springer, 2022, 13271, pp. 121 - 139 (atti di: COORDINATION, Lucca, 14-16/6/2022) [Contribution to conference proceedings]Open Access

Fabbretti G.; Lanese I.; Stefani J.-B., Generation of a Reversible Semantics for Erlang in Maude, in: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Cham, Springer Science and Business Media Deutschland GmbH, 2022, 13478, pp. 106 - 122 (atti di: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, esp, 2022) [Contribution to conference proceedings]Open Access

Barbanera F.; Lanese I.; Tuosto E., On Composing Communicating Systems, in: Proceedings 15th Interaction and Concurrency Experience, Open Publishing Association, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2022, 365, pp. 53 - 68 (atti di: 15th Interaction and Concurrency Experience, ICE 2022, Lucca, 17th June 2022) [Contribution to conference proceedings]Open Access

Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto, On Formal Choreographic Modelling: A Case Study in EU Business Processes, in: Leveraging Applications of Formal Methods, Verification and Validation.Verification Principles - 11th International Symposium, ISoLA 2022,Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}, Cham, Springer, 2022, 13701, pp. 205 - 219 (atti di: ISOLA 2022, Greece, 22-30 October 2022) [Contribution to conference proceedings]Open Access

Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G., Reversibility in Erlang: Imperative Constructs, in: Reversible Computation 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings, 2022, 13354 LNCS, pp. 187 - 203 (atti di: Reversible Computation, Urbino, 5-6/07/2022) [Contribution to conference proceedings]

Lanese I.; Schultz U.P.; Ulidowski I., Reversible Computing in Debugging of Erlang Programs, «IT PROFESSIONAL», 2022, 24, pp. 74 - 80 [Scientific article]Open Access

Latest news

At the moment no news are available.