var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fwww.cs.unibo.it%2F~lanese%2Fnewpublications%2Fmybib.bib&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fwww.cs.unibo.it%2F~lanese%2Fnewpublications%2Fmybib.bib&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fwww.cs.unibo.it%2F~lanese%2Fnewpublications%2Fmybib.bib&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2024\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n revTPL: The Reversible Temporal Process Language.\n \n \n \n \n\n\n \n Bocchi, L.; Lanese, I.; Mezzina, C. A.; and Yuen, S.\n\n\n \n\n\n\n Log. Methods Comput. Sci., 20(1). 2024.\n \n\n\n\n
\n\n\n\n \n \n \"revTPL:Paper\n  \n \n \n \"revTPL: pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 11 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{lmcs2024-revtpl,\n  author       = {Laura Bocchi and\n                  Ivan Lanese and\n                  Claudio Antares Mezzina and\n                  Shoji Yuen},\n  title        = {revTPL: The Reversible Temporal Process Language},\n  journal      = {Log. Methods Comput. Sci.},\n  volume       = {20},\n  number       = {1},\n  year         = {2024},\n  url          = {https://doi.org/10.46298/lmcs-20(1:11)2024},\n  doi          = {10.46298/LMCS-20(1:11)2024},\n  url_pdf      = {fulltext/lmcs2024-revtpl.pdf},\n  keywords     = {Reversible computing, Process calculi, Time}\n}\n\n%-------------2023-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2023\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Theory of Formal Choreographic Languages.\n \n \n \n \n\n\n \n Barbanera, F.; Lanese, I.; and Tuosto, E.\n\n\n \n\n\n\n Log. Methods Comput. Sci., 19(3). 2023.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n \n \"A pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{lmcs2023-chorlang,\n  author    = {Franco Barbanera and\n               Ivan Lanese and\n               Emilio Tuosto},\n  title     = {A Theory of Formal Choreographic Languages},\n  journal   = {Log. Methods Comput. Sci.},\n  volume    = {19},\n  number    = {3},\n  year      = {2023},\n  url       = {https://doi.org/10.46298/lmcs-19(3:9)2023},\n  doi       = {10.46298/LMCS-19(3:9)2023},\n  url_pdf   = {fulltext/lmcs2023-chorlang.pdf},\n  keywords  = {Choreographies, Formal languages, Multiparty session types, Automata}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Composition of synchronous communicating systems.\n \n \n \n \n\n\n \n Barbanera, F.; Lanese, I.; and Tuosto, E.\n\n\n \n\n\n\n J. Log. Algebraic Methods Program., 135: 100890. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"CompositionPaper\n  \n \n \n \"Composition pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@article{jlamp2023-synchComp,\n  author       = {Franco Barbanera and\n                  Ivan Lanese and\n\t\t  Emilio Tuosto},\n  title        = {Composition of synchronous communicating systems},\n  journal      = {J. Log. Algebraic Methods Program.},\n  volume       = {135},\n  pages        = {100890},\n  year         = {2023},\n  url          = {https://doi.org/10.1016/j.jlamp.2023.100890},\n  doi          = {10.1016/J.JLAMP.2023.100890},\n  url_pdf      = {fulltext/jlamp2023-synchComp.pdf},\n  keywords     = {Automata, Compositionality},\n  }\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards a Taxonomy for Reversible Computation Approaches.\n \n \n \n \n\n\n \n Glück, R.; Lanese, I.; Mezzina, C. A.; Miszczak, J. A.; Phillips, I. C. C.; Ulidowski, I.; and Vidal, G.\n\n\n \n\n\n\n In Kutrib, M.; and Meyer, U., editor(s), Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, volume 13960, of Lecture Notes in Computer Science, pages 24–39, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\n  \n \n \n \"Towards pdf\n  \n \n \n \"Towards slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n\n\n\n
\n 
@inproceedings{GluckLMMPUV23,\n  author       = {Robert Gl{\\"{u}}ck and\n                  Ivan Lanese and\n                  Claudio Antares Mezzina and\n                  Jaroslaw Adam Miszczak and\n                  Iain C. C. Phillips and\n                  Irek Ulidowski and\n                  Germ{\\'{a}}n Vidal},\n  editor       = {Martin Kutrib and\n                  Uwe Meyer},\n  title        = {Towards a Taxonomy for Reversible Computation Approaches},\n  booktitle    = {Reversible Computation - 15th International Conference, {RC} 2023,\n                  Giessen, Germany, July 18-19, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13960},\n  pages        = {24--39},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-38100-3_3},\n  doi          = {10.1007/978-3-031-38100-3_3},\n  url_pdf      = {fulltext/rc2023-taxonomy.pdf},\n  url_Slides   = {../work/rc2023-taxonomy.pdf},\n  keywords     = {Reversible computing}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Causal Reversibility Implies Time Reversibility.\n \n \n \n \n\n\n \n Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; and Sacerdoti Coen, C.\n\n\n \n\n\n\n In Jansen, N.; and Tribastone, M., editor(s), Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, volume 14287, of Lecture Notes in Computer Science, pages 270–287, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"CausalPaper\n  \n \n \n \"Causal pdf\n  \n \n \n \"Causal slides\n  \n \n \n \"Causal artifact\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n\n\n\n
\n 
@inproceedings{BernardoLMMRC23,\n  author       = {Marco Bernardo and\n                  Ivan Lanese and\n                  Andrea Marin and\n                  Claudio Antares Mezzina and\n                  Sabina Rossi and\n                  Claudio {Sacerdoti Coen}},\n  editor       = {Nils Jansen and\n                  Mirco Tribastone},\n  title        = {Causal Reversibility Implies Time Reversibility},\n  booktitle    = {Quantitative Evaluation of Systems - 20th International Conference,\n                  {QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14287},\n  pages        = {270--287},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-43835-6\\_19},\n  doi          = {10.1007/978-3-031-43835-6\\_19},\n  url_pdf      = {fulltext/qest2023.pdf},\n  url_Slides   = {../work/qest2023-Bernardo.pdf},\n  url_Artifact = {https://github.com/sacerdot/Causal2TimedFormalization},\n  keywords     = {Reversible computing}\n}\n\n%-------------2022-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Reversible Computing in Debugging of Erlang Programs.\n \n \n \n \n\n\n \n Lanese, I.; Schultz, U. P.; and Ulidowski, I.\n\n\n \n\n\n\n IT Professional, 24(1): 74–80. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"ReversiblePaper\n  \n \n \n \"Reversible pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{itprof2022-debugging,\n  author    = {Ivan Lanese and\n               Ulrik Pagh Schultz and\n               Irek Ulidowski},\n  title     = {Reversible Computing in Debugging of Erlang Programs},\n  journal   = {{IT} Professional},\n  volume    = {24},\n  number    = {1},\n  pages     = {74--80},\n  year      = {2022},\n  url       = {https://doi.org/10.1109/MITP.2021.3117920},\n  doi       = {10.1109/MITP.2021.3117920},\n  url_pdf   = {fulltext/itprofessional2022-debugging.pdf},\n  keywords  = {Reversible computing, Debugging, Erlang, Programming languages}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Formal Choreographic Languages.\n \n \n \n \n\n\n \n Barbanera, F.; Lanese, I.; and Tuosto, E.\n\n\n \n\n\n\n In ter Beek , M. H.; and Sirjani, M., editor(s), COORDINATION, volume 13271, of Lecture Notes in Computer Science, pages 121–139, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"FormalPaper\n  \n \n \n \"Formal pdf\n  \n \n \n \"Formal slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{coordination2022,\n  author    = {Franco Barbanera and\n               Ivan Lanese and\n               Emilio Tuosto},\n  editor    = {Maurice H. {ter Beek} and\n               Marjan Sirjani},\n  title     = {Formal Choreographic Languages},\n  booktitle = {{COORDINATION}},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {13271},\n  pages     = {121--139},\n  publisher = {Springer},\n  year      = {2022},\n  url       = {https://doi.org/10.1007/978-3-031-08143-9\\_8},\n  doi       = {10.1007/978-3-031-08143-9\\_8},\n  url_pdf   = {fulltext/coordination2022-chorlang.pdf},\n  url_Slides = {../work/coordination2022-chorlang.pdf},\n  keywords  = {Choreographies, Formal languages, Multiparty session types, Automata}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Design-By-Contract for Flexible Multiparty Session Protocols.\n \n \n \n \n\n\n \n Gheri, L.; Lanese, I.; Sayers, N.; Tuosto, E.; and Yoshida, N.\n\n\n \n\n\n\n In Ali, K.; and Vitek, J., editor(s), ECOOP, volume 222, of LIPIcs, pages 8:1–8:28, 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n \n\n\n\n
\n\n\n\n \n \n \"Design-By-ContractPaper\n  \n \n \n \"Design-By-Contract pdf\n  \n \n \n \"Design-By-Contract slides\n  \n \n \n \"Design-By-Contract artifact\n  \n \n \n \"Design-By-Contract artifactpdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{ecoop2022,\n  author    = {Lorenzo Gheri and Ivan Lanese and Neil Sayers and Emilio Tuosto and Nobuko Yoshida},\n  editor    = {Karim Ali and Jan Vitek},\n  title     = {Design-By-Contract for Flexible Multiparty Session Protocols},\n  booktitle = {{ECOOP}},\n  series    = {LIPIcs},\n  volume    = {222},\n  pages     = {8:1--8:28},\n  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r Informatik},\n  year      = {2022},\n  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.8},\n  doi       = {10.4230/LIPIcs.ECOOP.2022.8},\n  url_pdf   = {fulltext/ecoop2022-designByContract.pdf},\n  url_Slides = {../work/ecoop2022-designByContract-Tuosto.pdf},\n  url_Artifact = {https://github.com/Tooni/CAScript-Artifact},\n  url_ArtifactPdf = {fulltext/ecoop2022-designByContract-artifact.pdf},\n  keywords  = {Automata, Multiparty session types, Choreographies, Programming languages, Tools}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Reversible Temporal Process Language.\n \n \n \n \n\n\n \n Bocchi, L.; Lanese, I.; Mezzina, C. A.; and Yuen, S.\n\n\n \n\n\n\n In Mousavi, M. R.; and Philippou, A., editor(s), FORTE, volume 13273, of Lecture Notes in Computer Science, pages 31–49, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n \n \"The pdf\n  \n \n \n \"The slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 16 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{forte2022,\n  author    = {Laura Bocchi and Ivan Lanese and Claudio Antares Mezzina and Shoji Yuen},\n  editor    = {Mohammad Reza Mousavi and Anna Philippou},\n  title     = {The Reversible Temporal Process Language},\n  booktitle = {{FORTE}},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {13273},\n  pages     = {31--49},\n  publisher = {Springer},\n  year      = {2022},\n  url       = {https://doi.org/10.1007/978-3-031-08679-3\\_3},\n  doi       = {10.1007/978-3-031-08679-3\\_3},\n  url_pdf   = {fulltext/forte2022-revtpl.pdf},\n  url_Slides = {../work/forte2022Mezzina-revtpl.pdf},\n  keywords  = {Reversible computing, Process calculi, Time}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Generation of a Reversible Semantics for Erlang in Maude.\n \n \n \n \n\n\n \n Fabbretti, G.; Lanese, I.; and Stefani, J.\n\n\n \n\n\n\n In Riesco, A.; and Zhang, M., editor(s), ICFEM, volume 13478, of Lecture Notes in Computer Science, pages 106–122, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"GenerationPaper\n  \n \n \n \"Generation pdf\n  \n \n \n \"Generation slides\n  \n \n \n \"Generation artifact\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{icfem2022,\n  author    = {Giovanni Fabbretti and Ivan Lanese and Jean{-}Bernard Stefani},\n  editor    = {Adri{\\'{a}}n Riesco and Min Zhang},\n  title     = {Generation of a Reversible Semantics for Erlang in Maude},\n  booktitle = {{ICFEM}},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {13478},\n  pages     = {106--122},\n  publisher = {Springer},\n  year      = {2022},\n  url       = {https://doi.org/10.1007/978-3-031-17244-1\\_7},\n  doi       = {10.1007/978-3-031-17244-1\\_7},\n  url_pdf   = {fulltext/icfem2022.pdf},\n  url_Slides = {../work/icfem2022-Fabbretti.pdf},\n  url_Artifact = {https://github.com/gfabbretti8/formalization-in-maude-of-erlang},\n  keywords  = {Reversible computing, Maude, Erlang, Programming languages}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A MAPE-K Approach to Autonomic Microservices.\n \n \n \n \n\n\n \n Bucchiarone, A.; Guidi, C.; Lanese, I.; Bencomo, N.; and Spillner, J.\n\n\n \n\n\n\n In ICSA Companion, pages 100–103, 2022. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n \n \"A pdf\n  \n \n \n \"A youtube\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{icsa2022,\n  author    = {Antonio Bucchiarone and Claudio Guidi and Ivan Lanese and Nelly Bencomo and Josef Spillner},\n  title     = {A {MAPE-K} Approach to Autonomic Microservices},\n  booktitle = {{ICSA} Companion},\n  pages     = {100--103},\n  publisher = {{IEEE}},\n  year      = {2022},\n  url       = {https://doi.org/10.1109/ICSA-C54293.2022.00025},\n  doi       = {10.1109/ICSA-C54293.2022.00025},\n  url_pdf   = {fulltext/icsa-c2022-autonomic.pdf},\n  url_youtube = {https://www.youtube.com/watch?v=1CiLGQquOY0},\n  keywords  = {Microservices, Artificial intelligence}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On Formal Choreographic Modelling: A Case Study in EU Business Processes.\n \n \n \n \n\n\n \n Coto, A.; Barbanera, F.; Lanese, I.; Rossi, D.; and Tuosto, E.\n\n\n \n\n\n\n In Margaria, T.; and Steffen, B., editor(s), ISOLA, volume 13701, of Lecture Notes in Computer Science, pages 205–219, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\n  \n \n \n \"On pdf\n  \n \n \n \"On slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n\n\n\n
\n 
@inproceedings{isola2022,\n  author    = {Alex Coto and Franco Barbanera and Ivan Lanese and\n                  Davide Rossi and Emilio Tuosto},\n  editor    = {Tiziana Margaria and Bernhard Steffen},\n  title     = {On Formal Choreographic Modelling: {A} Case Study\n                  in {EU} Business Processes},\n  booktitle = {{ISOLA}},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {13701},\n  pages     = {205--219},\n  publisher = {Springer},\n  year      = {2022},\n  url       = {https://doi.org/10.1007/978-3-031-19849-6\\_13},\n  doi       = {10.1007/978-3-031-19849-6\\_13},\n  url_pdf   = {fulltext/isola2022.pdf},\n  url_Slides = {../work/isola2022-Tuosto.pdf},\n  keywords  = {Choreographies}\n}\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reversibility in Erlang: Imperative Constructs.\n \n \n \n \n\n\n \n Lami, P.; Lanese, I.; Stefani, J.; Sacerdoti Coen, C.; and Fabbretti, G.\n\n\n \n\n\n\n In Mezzina, C. A.; and Podlaski, K., editor(s), RC, volume 13354, of Lecture Notes in Computer Science, pages 187–203, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ReversibilityPaper\n  \n \n \n \"Reversibility pdf\n  \n \n \n \"Reversibility slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{RC2022,\n  author    = {Pietro Lami and Ivan Lanese and Jean{-}Bernard Stefani and Claudio {Sacerdoti Coen} and Giovanni Fabbretti},\n  editor    = {Claudio Antares Mezzina and Krzysztof Podlaski},\n  title     = {Reversibility in Erlang: Imperative Constructs},\n  booktitle = {{RC}},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {13354},\n  pages     = {187--203},\n  publisher = {Springer},\n  year      = {2022},\n  url       = {https://doi.org/10.1007/978-3-031-09005-9\\_13},\n  doi       = {10.1007/978-3-031-09005-9\\_13},\n  url_pdf   = {fulltext/rc2022-imperative.pdf},\n  url_Slides = {../work/rc2022imperative-Lami.pdf},\n  keywords  = {Reversible computing, Debugging, Erlang, Programming languages}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On Composing Communicating Systems.\n \n \n \n \n\n\n \n Barbanera, F.; Lanese, I.; and Tuosto, E.\n\n\n \n\n\n\n In Aubert, C.; Di Giusto, C.; Safina, L.; and Scalas, A., editor(s), ICE, volume 365, of EPTCS, pages 53–68, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\n  \n \n \n \"On pdf\n  \n \n \n \"On slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{ice2022,\n  author    = {Franco Barbanera and\n               Ivan Lanese and\n               Emilio Tuosto},\n  editor    = {Cl{\\'{e}}ment Aubert and\n               Cinzia {Di Giusto} and\n               Larisa Safina and\n               Alceste Scalas},\n  title     = {On Composing Communicating Systems},\n  booktitle = {{ICE}},\n  series    = {{EPTCS}},\n  volume    = {365},\n  pages     = {53--68},\n  year      = {2022},\n  url       = {https://doi.org/10.4204/EPTCS.365.4},\n  doi       = {10.4204/EPTCS.365.4},\n  url_pdf   = {fulltext/ice2022.pdf},\n  url_Slides = {../work/ice2022-Barbanera.pdf},\n  keywords  = {Automata, Compositionality}\n}\n\n%-------------2021-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Static versus Dynamic Reversibility in CCS.\n \n \n \n \n\n\n \n Lanese, I.; Medic, D.; and Mezzina, C. A.\n\n\n \n\n\n\n Acta Informatica, 58(1-2): 1–34. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"StaticPaper\n  \n \n \n \"Static pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@article{actainf2021,\n  author    = {Ivan Lanese and Doriana Medic and Claudio Antares Mezzina},\n  title     = {Static versus Dynamic Reversibility in {CCS}},\n  journal   = {Acta Informatica},\n  volume    = {58},\n  number    = {1-2},\n  pages     = {1--34},\n  year      = {2021},\n  url       = {https://doi.org/10.1007/s00236-019-00346-6},\n  doi       = {10.1007/s00236-019-00346-6},\n  url_pdf   = {fulltext/actainf2021-CCSKvsRCCS.pdf},\n  keywords  = {Reversible computing, Process calculi}\n  }\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs.\n \n \n \n \n\n\n \n Lanese, I.; Palacios, A.; and Vidal, G.\n\n\n \n\n\n\n Fundamenta Informaticae, 178(3): 229–266. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Causal-ConsistentPaper\n  \n \n \n \"Causal-Consistent pdf\n  \n \n \n \"Causal-Consistent slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{fi2021,\n  author    = {Ivan Lanese and Adri{\\'{a}}n Palacios and Germ{\\'{a}}n Vidal},\n  title     = {Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs},\n  journal   = {Fundamenta Informaticae},\n  volume    = {178},\n  number    = {3},\n  pages     = {229--266},\n  year      = {2021},\n  url       = {https://doi.org/10.3233/FI-2021-2005},\n  doi       = {10.3233/FI-2021-2005},\n  url_pdf   = {fulltext/fi2021-replay.pdf},\n  url_Slides = {../work/forte2019-replay.pdf},\n  keywords  = {Reversible computing, Debugging, Erlang, Programming languages}\n}\t\t\t\t\t\t\t         \n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Static and Dynamic Property-Preserving Updates.\n \n \n \n \n\n\n \n Bresolin, D.; and Lanese, I.\n\n\n \n\n\n\n Information and Computation, 279: 104611. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"StaticPaper\n  \n \n \n \"Static pdf\n  \n \n \n \"Static slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@article{iandc2021,\n  author    = {Davide Bresolin and Ivan Lanese},\n  title     = {Static and Dynamic Property-Preserving Updates},\n  journal   = {Information and Computation},\n  volume    = {279},\n  pages     = {104611},\n  year      = {2021},\n  url       = {https://doi.org/10.1016/j.ic.2020.104611},\n  doi       = {10.1016/j.ic.2020.104611},\n  url_pdf   = {fulltext/ic2021-update.pdf},\n  url_Slides = {../work/lata2017-Bresolin.pdf},\n  keywords  = {Automata, Adaptation}\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reversible Execution for Robustness in Embodied AI and Industrial Robots.\n \n \n \n \n\n\n \n Lanese, I.; Schultz, U. P.; and Ulidowski, I.\n\n\n \n\n\n\n IT Professional, 23(3): 12–17. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"ReversiblePaper\n  \n \n \n \"Reversible pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{itprof2021-robots,\n  author    = {Ivan Lanese and Ulrik Pagh Schultz and Irek Ulidowski},\n  title     = {Reversible Execution for Robustness in Embodied {AI} and Industrial Robots},\n  journal   = {{IT} Professional},\n  volume    = {23},\n  number    = {3},\n  pages     = {12--17},\n  year      = {2021},\n  url       = {https://doi.org/10.1109/MITP.2021.3073757},\n  doi       = {10.1109/MITP.2021.3073757},\n  url_pdf   = {fulltext/itprofessional2021-robots.pdf},\n  keywords  = {Reversible computing, Artificial intelligence, Robotics}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Composition and decomposition of multiparty sessions.\n \n \n \n \n\n\n \n Barbanera, F.; Dezani-Ciancaglini, M.; Lanese, I.; and Tuosto, E.\n\n\n \n\n\n\n J. Log. Algebraic Methods Program., 119: 100620. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"CompositionPaper\n  \n \n \n \"Composition pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{jlamp2021,\n  author    = {Franco Barbanera and Mariangiola Dezani{-}Ciancaglini and Ivan Lanese and Emilio Tuosto},\n  title     = {Composition and decomposition of multiparty sessions},\n  journal   = {J. Log. Algebraic Methods Program.},\n  volume    = {119},\n  pages     = {100620},\n  year      = {2021},\n  url       = {https://doi.org/10.1016/j.jlamp.2020.100620},\n  doi       = {10.1016/j.jlamp.2020.100620},\t\t\t\t\t\t\t   \n  url_pdf   = {fulltext/jlamp2021-opengt.pdf},\n  keywords  = {Multiparty session types, Process calculi, Compositionality}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Corinne, a Tool for Choreography Automata.\n \n \n \n \n\n\n \n Orlando, S.; Di Pasquale, V.; Barbanera, F.; Lanese, I.; and Tuosto, E.\n\n\n \n\n\n\n In Salaün, G.; and Wijs, A., editor(s), FACS, volume 13077, of Lecture Notes in Computer Science, pages 82–92, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Corinne,Paper\n  \n \n \n \"Corinne, pdf\n  \n \n \n \"Corinne, slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{facs2021-corinne,\n  author    = {Simone Orlando and Vairo {Di Pasquale} and Franco Barbanera and Ivan Lanese and Emilio Tuosto},\n  editor    = {Gwen Sala{\\"{u}}n and Anton Wijs},\n  title     = {Corinne, a Tool for Choreography Automata},\n  booktitle = {{FACS}},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {13077},\n  pages     = {82--92},\n  publisher = {Springer},\n  year      = {2021},\n  url       = {https://doi.org/10.1007/978-3-030-90636-8\\_5},\n  doi       = {10.1007/978-3-030-90636-8\\_5},\n  url_pdf   = {fulltext/facs2021-corinne.pdf},\n  url_Slides = {../work/facs2021.pdf},\n  keywords  = {Choreographies, Automata, Tools}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Causal-Consistent Debugging of Distributed Erlang Programs.\n \n \n \n \n\n\n \n Fabbretti, G.; Lanese, I.; and Stefani, J.\n\n\n \n\n\n\n In Yamashita, S.; and Yokoyama, T., editor(s), RC, volume 12805, of Lecture Notes in Computer Science, pages 79–95, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Causal-ConsistentPaper\n  \n \n \n \"Causal-Consistent pdf\n  \n \n \n \"Causal-Consistent slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{rc2021-distributed,\n  author    = {Giovanni Fabbretti and Ivan Lanese and Jean{-}Bernard Stefani},\n  editor    = {Shigeru Yamashita and Tetsuo Yokoyama},\n  title     = {Causal-Consistent Debugging of Distributed Erlang Programs},\n  booktitle = {{RC}},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {12805},\n  pages     = {79--95},\n  publisher = {Springer},\n  year      = {2021},\n  url       = {https://doi.org/10.1007/978-3-030-79837-6\\_5},\n  doi       = {10.1007/978-3-030-79837-6\\_5},\n  url_pdf   = {fulltext/rc2021-distributed.pdf},\n  url_Slides = {../work/rc2021-distributed-Fabbretti.pdf},\n  keywords  = {Reversible computing, Debugging, Erlang, Programming languages}\n}\n\n%-------------2021-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.\n \n \n \n \n\n\n \n Giallorenzo, S.; Lanese, I.; Montesi, F.; Sangiorgi, D.; and Zingaro, S. P.\n\n\n \n\n\n\n In de Boer, F. S.; and Mauro, J., editor(s), Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy, volume 86, of OASIcs, pages 5:1–5:21, 2020. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n \n \"The pdf\n  \n \n \n \"The slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{gabbrielli60,\n  author       = {Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Fabrizio Montesi and\n                  Davide Sangiorgi and\n                  Stefano Pio Zingaro},\n  editor       = {Frank S. de Boer and\n                  Jacopo Mauro},\n  title        = {The Servers of Serverless Computing: {A} Formal Revisitation of Functions\n                  as a Service},\n  booktitle    = {Recent Developments in the Design and Implementation of Programming\n                  Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},\n  series       = {OASIcs},\n  volume       = {86},\n  pages        = {5:1--5:21},\n  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r Informatik},\n  year         = {2020},\n  url          = {https://doi.org/10.4230/OASIcs.Gabbrielli.5},\n  doi          = {10.4230/OASICS.GABBRIELLI.5},\n  url_pdf   = {fulltext/gabbrielli60-serverless.pdf},\n  url_Slides = {../work/gabbrielli60-Giallorenzo.pdf},\n  keywords  = {Serverless computing, Process calculi}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A General Approach to Derive Uncontrolled Reversible Semantics.\n \n \n \n \n\n\n \n Lanese, I.; and Medic, D.\n\n\n \n\n\n\n In Konnov, I.; and Kovács, L., editor(s), 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), volume 171, of LIPIcs, pages 33:1–33:24, 2020. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n \n \"A pdf\n  \n \n \n \"A slides\n  \n \n \n \"A video\n  \n \n \n \"A teaser\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{concur2020,\n  author       = {Ivan Lanese and\n                  Doriana Medic},\n  editor       = {Igor Konnov and\n                  Laura Kov{\\'{a}}cs},\n  title        = {A General Approach to Derive Uncontrolled Reversible Semantics},\n  booktitle    = {31st International Conference on Concurrency Theory, {CONCUR} 2020,\n                  September 1-4, 2020, Vienna, Austria (Virtual Conference)},\n  series       = {LIPIcs},\n  volume       = {171},\n  pages        = {33:1--33:24},\n  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r Informatik},\n  year         = {2020},\n  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.33},\n  doi          = {10.4230/LIPICS.CONCUR.2020.33},\n  url_pdf   = {fulltext/concur2020-revFramework.pdf},\n  url_Slides = {../work/concur2020-Medic.pdf},\n  url_Video = {../work/concur2020presentation-Medic.mp4},\n  url_Teaser = {../work/concur2020teaser-Medic.mp4},  \n  keywords  = {Reversible computing, Programming languages, Process calculi, Erlang}  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Choreography Automata.\n \n \n \n \n\n\n \n Barbanera, F.; Lanese, I.; and Tuosto, E.\n\n\n \n\n\n\n In Bliudze, S.; and Bocchi, L., editor(s), Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, volume 12134, of Lecture Notes in Computer Science, pages 86–106, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ChoreographyPaper\n  \n \n \n \"Choreography pdf\n  \n \n \n \"Choreography slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{coordination2020-chorAuto,\n  author       = {Franco Barbanera and\n                  Ivan Lanese and\n                  Emilio Tuosto},\n  editor       = {Simon Bliudze and\n                  Laura Bocchi},\n  title        = {Choreography Automata},\n  booktitle    = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International\n                  Conference, {COORDINATION} 2020, Held as Part of the 15th International\n                  Federated Conference on Distributed Computing Techniques, DisCoTec\n                  2020, Valletta, Malta, June 15-19, 2020, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12134},\n  pages        = {86--106},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-50029-0\\_6},\n  doi          = {10.1007/978-3-030-50029-0\\_6},\n  url_pdf   = {fulltext/coordination2020-chorAuto.pdf},\n  url_Slides = {../work/coordination2020Barbanera-chorAuto.pdf},\n  keywords  = {Choreographies, Automata}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An Axiomatic Approach to Reversible Computation.\n \n \n \n \n\n\n \n Lanese, I.; Phillips, I. C. C.; and Ulidowski, I.\n\n\n \n\n\n\n In Goubault-Larrecq, J.; and König, B., editor(s), Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, volume 12077, of Lecture Notes in Computer Science, pages 442–461, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n \n \"An pdf\n  \n \n \n \"An slides\n  \n \n \n \"An video\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{fossacs2020,\n  author       = {Ivan Lanese and\n                  Iain C. C. Phillips and\n                  Irek Ulidowski},\n  editor       = {Jean Goubault{-}Larrecq and\n                  Barbara K{\\"{o}}nig},\n  title        = {An Axiomatic Approach to Reversible Computation},\n  booktitle    = {Foundations of Software Science and Computation Structures - 23rd\n                  International Conference, {FOSSACS} 2020, Held as Part of the European\n                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,\n                  Dublin, Ireland, April 25-30, 2020, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12077},\n  pages        = {442--461},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-45231-5\\_23},\n  doi          = {10.1007/978-3-030-45231-5\\_23},\n  url_pdf   = {fulltext/fossacs2020.pdf},\n  url_Slides = {../work/fossacs2020.pdf},\n  url_Video = {../work/fossacs2020.mp4},\n  keywords  = {Reversible computing, Process calculi, Programming languages}  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Composing Communicating Systems, Synchronously.\n \n \n \n \n\n\n \n Barbanera, F.; Lanese, I.; and Tuosto, E.\n\n\n \n\n\n\n In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, volume 12476, of Lecture Notes in Computer Science, pages 39–59, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ComposingPaper\n  \n \n \n \"Composing pdf\n  \n \n \n \"Composing slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{isola2020,\n  author       = {Franco Barbanera and\n                  Ivan Lanese and\n                  Emilio Tuosto},\n  editor       = {Tiziana Margaria and\n                  Bernhard Steffen},\n  title        = {Composing Communicating Systems, Synchronously},\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:\n                  Verification Principles - 9th International Symposium on Leveraging\n                  Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October\n                  20-30, 2020, Proceedings, Part {I}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12476},\n  pages        = {39--59},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-61362-4\\_3},\n  doi          = {10.1007/978-3-030-61362-4\\_3},\n  url_pdf   = {fulltext/isola2020-compositionality.pdf},\n  url_Slides = {../work/isola2020.pdf},\n  keywords  = {Automata, Compositionality}  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Foundations of Reversible Computation.\n \n \n \n \n\n\n \n Aman, B.; Ciobanu, G.; Glück, R.; Kaarsgaard, R.; Kari, J.; Kutrib, M.; Lanese, I.; Mezzina, C. A.; Mikulski, L.; Nagarajan, R.; Phillips, I. C. C.; Pinna, G. M.; Prigioniero, L.; Ulidowski, I.; and Vidal, G.\n\n\n \n\n\n\n In Ulidowski, I.; Lanese, I.; Schultz, U. P.; and Ferreira, C., editor(s), Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, volume 12070, of Lecture Notes in Computer Science, pages 1–40. Springer, 2020.\n \n\n\n\n
\n\n\n\n \n \n \"FoundationsPaper\n  \n \n \n \"Foundations pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@incollection{COSTrevBook-foundations,\n  author       = {Bogdan Aman and\n                  Gabriel Ciobanu and\n                  Robert Gl{\\"{u}}ck and\n                  Robin Kaarsgaard and\n                  Jarkko Kari and\n                  Martin Kutrib and\n                  Ivan Lanese and\n                  Claudio Antares Mezzina and\n                  Lukasz Mikulski and\n                  Rajagopal Nagarajan and\n                  Iain C. C. Phillips and\n                  G. Michele Pinna and\n                  Luca Prigioniero and\n                  Irek Ulidowski and\n                  Germ{\\'{a}}n Vidal},\n  editor       = {Irek Ulidowski and\n                  Ivan Lanese and\n                  Ulrik Pagh Schultz and\n                  Carla Ferreira},\n  title        = {Foundations of Reversible Computation},\n  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected\n                  Results of the {COST} Action {IC1405}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12070},\n  pages        = {1--40},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-47361-7\\_1},\n  doi          = {10.1007/978-3-030-47361-7\\_1},\n  url_pdf   = {fulltext/COSTrevBook-foundations.pdf},\n  keywords  = {Automata, Process calculi, Reversible computing, Petri nets}    \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Software and Reversible Systems: A Survey of Recent Activities.\n \n \n \n \n\n\n \n Mezzina, C. A.; Schlatte, R.; Glück, R.; Haulund, T.; Hoey, J.; Cservenka, M. H.; Lanese, I.; Mogensen, T. Æ.; Siljak, H.; Schultz, U. P.; and Ulidowski, I.\n\n\n \n\n\n\n In Ulidowski, I.; Lanese, I.; Schultz, U. P.; and Ferreira, C., editor(s), Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, volume 12070, of Lecture Notes in Computer Science, pages 41–59. Springer, 2020.\n \n\n\n\n
\n\n\n\n \n \n \"SoftwarePaper\n  \n \n \n \"Software pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@incollection{COSTrevBook-software,\n  author       = {Claudio Antares Mezzina and\n                  Rudolf Schlatte and\n                  Robert Gl{\\"{u}}ck and\n                  Tue Haulund and\n                  James Hoey and\n                  Martin Holm Cservenka and\n                  Ivan Lanese and\n                  Torben {\\AE}. Mogensen and\n                  Harun Siljak and\n                  Ulrik Pagh Schultz and\n                  Irek Ulidowski},\n  editor       = {Irek Ulidowski and\n                  Ivan Lanese and\n                  Ulrik Pagh Schultz and\n                  Carla Ferreira},\n  title        = {Software and Reversible Systems: {A} Survey of Recent Activities},\n  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected\n                  Results of the {COST} Action {IC1405}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12070},\n  pages        = {41--59},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-47361-7\\_2},\n  doi          = {10.1007/978-3-030-47361-7\\_2},\n  url_pdf   = {fulltext/COSTrevBook-software.pdf},\n  keywords  = {Reversible computing, Programming languages}    \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs.\n \n \n \n \n\n\n \n Hoey, J.; Lanese, I.; Nishida, N.; Ulidowski, I.; and Vidal, G.\n\n\n \n\n\n\n In Ulidowski, I.; Lanese, I.; Schultz, U. P.; and Ferreira, C., editor(s), Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, volume 12070, of Lecture Notes in Computer Science, pages 108–127. Springer, 2020.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n \n \"A pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@incollection{COSTrevBook-debugging,\n  author       = {James Hoey and\n                  Ivan Lanese and\n                  Naoki Nishida and\n                  Irek Ulidowski and\n                  Germ{\\'{a}}n Vidal},\n  editor       = {Irek Ulidowski and\n                  Ivan Lanese and\n                  Ulrik Pagh Schultz and\n                  Carla Ferreira},\n  title        = {A Case Study for Reversible Computing: Reversible Debugging of Concurrent\n                  Programs},\n  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected\n                  Results of the {COST} Action {IC1405}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12070},\n  pages        = {108--127},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-47361-7\\_5},\n  doi          = {10.1007/978-3-030-47361-7\\_5},\n  url_pdf   = {fulltext/COSTrevBook-debugging.pdf},\n  keywords  = {Reversible computing, Programming languages, Debugging, Tools}      \n}\n\n%-------------2020-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Reversing Unbounded Petri Nets.\n \n \n \n \n\n\n \n Mikulski, L.; and Lanese, I.\n\n\n \n\n\n\n In Donatelli, S.; and Haar, S., editor(s), Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings, volume 11522, of Lecture Notes in Computer Science, pages 213–233, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ReversingPaper\n  \n \n \n \"Reversing pdf\n  \n \n \n \"Reversing slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{PETRINETS19,\n  author       = {Lukasz Mikulski and\n                  Ivan Lanese},\n  editor       = {Susanna Donatelli and\n                  Stefan Haar},\n  title        = {Reversing Unbounded Petri Nets},\n  booktitle    = {Application and Theory of Petri Nets and Concurrency - 40th International\n                  Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,\n                  Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11522},\n  pages        = {213--233},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-21571-2\\_13},\n  doi          = {10.1007/978-3-030-21571-2\\_13},\n  url_pdf   = {fulltext/petrinets2019-unbounded.pdf},\n  url_Slides = {../work/petriNets2019-Mikulski.ppsx},  \n  keywords  = {Reversible computing, Petri nets}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Playing with Bisimulation in Erlang.\n \n \n \n \n\n\n \n Lanese, I.; Sangiorgi, D.; and Zavattaro, G.\n\n\n \n\n\n\n In Boreale, M.; Corradini, F.; Loreti, M.; and Pugliese, R., editor(s), Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, volume 11665, of Lecture Notes in Computer Science, pages 71–91, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"PlayingPaper\n  \n \n \n \"Playing pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{DeNicola65,\n  author       = {Ivan Lanese and\n                  Davide Sangiorgi and\n                  Gianluigi Zavattaro},\n  editor       = {Michele Boreale and\n                  Flavio Corradini and\n                  Michele Loreti and\n                  Rosario Pugliese},\n  title        = {Playing with Bisimulation in Erlang},\n  booktitle    = {Models, Languages, and Tools for Concurrent and Distributed Programming\n                  - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th\n                  Birthday},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11665},\n  pages        = {71--91},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-21485-2\\_6},\n  doi          = {10.1007/978-3-030-21485-2\\_6},\n url_pdf   = {fulltext/rocco65-ErlangBisim.pdf},\n  keywords  = {Programming languages, Behavioural equivalences, Erlang}        \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.\n \n \n \n \n\n\n \n Gabbrielli, M.; Giallorenzo, S.; Lanese, I.; and Mauro, J.\n\n\n \n\n\n\n In Alvim, M. S.; Chatzikokolakis, K.; Olarte, C.; and Valencia, F., editor(s), The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, volume 11760, of Lecture Notes in Computer Science, pages 118–138, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"GuessPaper\n  \n \n \n \"Guess pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{palamidessi60,\n  author       = {Maurizio Gabbrielli and\n                  Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Jacopo Mauro},\n  editor       = {M{\\'{a}}rio S. Alvim and\n                  Kostas Chatzikokolakis and\n                  Carlos Olarte and\n                  Frank Valencia},\n  title        = {Guess Who's Coming: Runtime Inclusion of Participants in Choreographies},\n  booktitle    = {The Art of Modelling Computational Systems: {A} Journey from Logic\n                  and Concurrency to Security and Privacy - Essays Dedicated to Catuscia\n                  Palamidessi on the Occasion of Her 60th Birthday},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11760},\n  pages        = {118--138},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-31175-9\\_8},\n  doi          = {10.1007/978-3-030-31175-9\\_8},\n url_pdf   = {fulltext/palamidessi-fest.pdf},\n  keywords  = {Programming languages, Adaptation, Choreographies, Tools}          \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n No More, No Less - A Formal Model for Serverless Computing.\n \n \n \n \n\n\n \n Gabbrielli, M.; Giallorenzo, S.; Lanese, I.; Montesi, F.; Peressotti, M.; and Zingaro, S. P.\n\n\n \n\n\n\n In Nielson, H. R.; and Tuosto, E., editor(s), Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, volume 11533, of Lecture Notes in Computer Science, pages 148–157, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"NoPaper\n  \n \n \n \"No pdf\n  \n \n \n \"No slides\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{COORDINATION2019-serverless,\n  author       = {Maurizio Gabbrielli and\n                  Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Fabrizio Montesi and\n                  Marco Peressotti and\n                  Stefano Pio Zingaro},\n  editor       = {Hanne Riis Nielson and\n                  Emilio Tuosto},\n  title        = {No More, No Less - {A} Formal Model for Serverless Computing},\n  booktitle    = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International\n                  Conference, {COORDINATION} 2019, Held as Part of the 14th International\n                  Federated Conference on Distributed Computing Techniques, DisCoTec\n                  2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11533},\n  pages        = {148--157},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-22397-7\\_9},\n  doi          = {10.1007/978-3-030-22397-7\\_9},\n  url_pdf   = {fulltext/coordination2019-serverless.pdf},\n  url_Slides = {../work/coordination2019Giallorenzo-serverless.pdf},  \n  keywords  = {Process calculi, Serverless computing}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Causal-Consistent Replay Debugging for Message Passing Programs.\n \n \n \n \n\n\n \n Lanese, I.; Palacios, A.; and Vidal, G.\n\n\n \n\n\n\n In Pérez, J. A.; and Yoshida, N., editor(s), Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, volume 11535, of Lecture Notes in Computer Science, pages 167–184, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Causal-ConsistentPaper\n  \n \n \n \"Causal-Consistent pdf\n  \n \n \n \"Causal-Consistent slides\n  \n \n \n \"Causal-Consistent demo material\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{FORTE2019-replay,\n  author       = {Ivan Lanese and\n                  Adri{\\'{a}}n Palacios and\n                  Germ{\\'{a}}n Vidal},\n  editor       = {Jorge A. P{\\'{e}}rez and\n                  Nobuko Yoshida},\n  title        = {Causal-Consistent Replay Debugging for Message Passing Programs},\n  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems\n                  - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held\n                  as Part of the 14th International Federated Conference on Distributed\n                  Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June\n                  17-21, 2019, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11535},\n  pages        = {167--184},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-21759-4\\_10},\n  doi          = {10.1007/978-3-030-21759-4\\_10},\n  url_pdf   = {fulltext/forte2019-replay.pdf},\n  url_Slides = {../work/forte2019-replay.pdf},\n  url_Demo_Material = {../work/forte2019-replay.tgz},    \n  keywords  = {Erlang, Programming languages, Reversible computing}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Linguistic abstractions for interoperability of IoT platforms.\n \n \n \n \n\n\n \n Gabbrielli, M.; Giallorenzo, S.; Lanese, I.; and Zingaro, S. P.\n\n\n \n\n\n\n In Tim A. Majchrzak, C. M.; and Grønli, T., editor(s), Towards Integrated Web, Mobile, and IoT Technology: Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018, volume 347, of Lecture Notes in Business Information Processing, pages 83–114, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"LinguisticPaper\n  \n \n \n \"Linguistic pdf\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{gabbrielli2019linguistic,\n  author={Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Zingaro, Stefano Pio},\n  editor={Tim A. Majchrzak, Cristian Mateos, Francesco Poggi and Tor-Morten Grønli},\n  title={Linguistic abstractions for interoperability of IoT platforms},\n  booktitle={Towards Integrated Web, Mobile, and IoT Technology: Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018},\n  series={Lecture Notes in Business Information Processing},\n  volume={347},\n  pages={83--114},\n  publisher={Springer},\n  year={2019},\n  url={https://doi.org/10.1007/978-3-030-28430-5_5},\n  doi={10.1007/978-3-030-28430-5_5},\n  url_pdf   = {fulltext/hicss2018-extended.pdf},  \n  keywords  = {Jolie, Programming languages, Internet of Things}        \n}\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);