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
Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S., The Reversible Temporal Process Language, in: Formal Techniques for Distributed Objects, Components, and Systems - 42nd {IFIP} {WG} 6.1 International Conference, FORTE 2022, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2022, 13273, pp. 31 - 49 (atti di: 42nd IFIP WG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, ita, 2022) [Contribution to conference proceedings]Open Access
Fabbretti G.; Lanese I.; Stefani J.-B., Causal-Consistent Debugging of Distributed Erlang Programs, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, 2021, 12805, pp. 79 - 95 (atti di: 13th International Conference on Reversible Computation, RC 2021, Nagoya, Japan (online due to covid), July 7 - July 8, 2021) [Contribution to conference proceedings]Open Access
