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
Lanese I.; Palacios A.; Vidal G., Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs, «FUNDAMENTA INFORMATICAE», 2021, 178, pp. 229 - 266 [Scientific article]Open Access
Barbanera F.; Dezani-Ciancaglini M.; Lanese I.; Tuosto E., Composition and decomposition of multiparty sessions, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2021, 119, Article number: 100620 , pp. 1 - 34 [Scientific article]Open Access
Orlando S.; Pasquale V.D.; Barbanera F.; Lanese I.; Tuosto E., Corinne, a Tool for Choreography Automata, in: Formal Aspects of Component Software. FACS 2021, Cham, Springer Science and Business Media Deutschland GmbH, 2021, 13077, pp. 82 - 92 (atti di: 17th International Conference on Formal Aspects of Component Software, FACS 2021, Grenoble, France (online due to covid), 2021) [Contribution to conference proceedings]Open Access
Lanese I.; Phillips I., Forward-Reverse Observational Equivalences in CCSK, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, 2021, 12805, pp. 126 - 143 (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
Lanese I.; Schultz U.; Ulidowski I., Reversible Execution for Robustness in Embodied AI and Industrial Robots, «IT PROFESSIONAL», 2021, 23, Article number: 9464113 , pp. 12 - 17 [Scientific article]Open Access
Bresolin D.; Lanese I., Static and dynamic property-preserving updates, «INFORMATION AND COMPUTATION», 2021, 279, Article number: 104611 , pp. 1 - 24 [Scientific article]Open Access
