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 2025\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n AI Techniques in the Microservices Life-Cycle: a Systematic Mapping Study.\n \n \n \n \n\n\n \n Moreschini, S.; Pour, S.; Lanese, I.; Balouek, D.; Bogner, J.; Li, X.; Pecorelli, F.; Soldani, J.; Truyen, E.; and Taibi, D.\n\n\n \n\n\n\n Computing, 107(4): 50. 2025.\n \n\n\n\n
\n\n\n\n \n \n \"AIPaper\n  \n \n \n \"AI 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{computing2025-ai4micro,\nauthor       = {Sergio Moreschini and\n                  Shahrzad Pour and\n                  Ivan Lanese and\n                  Daniel Balouek and\n                  Justus Bogner and\n                  Xiaozhou Li and\n                  Fabiano Pecorelli and\n                  Jacopo Soldani and\n                  Eddy Truyen and\n                  Davide Taibi},\n  title        = {{AI} Techniques in the Microservices Life-Cycle: a Systematic Mapping\n                  Study},\n  journal      = {Computing},\n  volume       = {107},\n  number       = {4},\n  pages        = {50},\n  year         = {2025},\n  url          = {https://doi.org/10.1007/s00607-025-01432-z},\n  doi          = {10.1007/S00607-025-01432-Z},\n  url_pdf   = {fulltext/computing2025-ai4micro.pdf},\n  keywords  = {Microservices, Artificial intelligence}  \n}\n\n\n%-------------2024-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2024\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Towards Quantum Multiparty Session Types.\n \n \n \n \n\n\n \n Lanese, I.; Dal Lago, U.; and Choudhury, V.\n\n\n \n\n\n\n In Madeira, A.; and Knapp, A., editor(s), Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, volume 15280, of Lecture Notes in Computer Science, pages 385–403, 2024. 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 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 
@inproceedings{sefm2024-qmst,\n  author       = {Ivan Lanese and\n                  Ugo {Dal Lago} and\n                  Vikraman Choudhury},\n  editor       = {Alexandre Madeira and\n                  Alexander Knapp},\n  title        = {Towards Quantum Multiparty Session Types},\n  booktitle    = {Software Engineering and Formal Methods - 22nd International Conference,\n                  {SEFM} 2024},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {15280},\n  pages        = {385--403},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-77382-2\\_22},\n  doi          = {10.1007/978-3-031-77382-2\\_22},\n  url_pdf      = {fulltext/sefm2024-qmst.pdf},\n  url_Slides   = {../work/sefm2024-qmst.pdf},\n  keywords     = {Quantum computing, Multiparty session types}  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reversible Debugging of Erlang Programs in CauDEr.\n \n \n \n \n\n\n \n Lanese, I.; and Vidal, G.\n\n\n \n\n\n\n In Boix, E. G.; and Scholliers, C., editor(s), 2nd ACM International Workshop on Future Debugging Techniques, DEBT 2024, pages 30–31, 2024. ACM\n \n\n\n\n
\n\n\n\n \n \n \"ReversiblePaper\n  \n \n \n \"Reversible pdf\n  \n \n \n \"Reversible 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{debt2024-cauder,\n  author       = {Ivan Lanese and\n                  Germ{\\'{a}}n Vidal},\n  editor       = {Elisa Gonzalez Boix and\n                  Christophe Scholliers},\n  title        = {Reversible Debugging of Erlang Programs in CauDEr},\n  booktitle    = {2nd {ACM} International Workshop on Future Debugging\n                  Techniques, {DEBT} 2024},\n  pages        = {30--31},\n  publisher    = {{ACM}},\n  year         = {2024},\n  url          = {https://doi.org/10.1145/3678720.3685319},\n  doi          = {10.1145/3678720.3685319},\n  url_pdf      = {fulltext/debt2024-cauder.pdf},\n  url_Slides   = {../work/debt2024.pdf},\n  keywords     = {Reversible computing, Debugging, Erlang}  \n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An Axiomatic Theory for 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 ACM Trans. Comput. Log., 25(2): 11:1–11:40. 2024.\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n \n \"An 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{tocl2024-axRev,\n  author       = {Ivan Lanese and\n                  Iain C. C. Phillips and\n\t\t  Irek Ulidowski},\n  title        = {An Axiomatic Theory for Reversible Computation},\n  journal      = {{ACM} Trans. Comput. Log.},\n  volume       = {25},\n  number       = {2},\n  pages        = {11:1--11:40},\n  year         = {2024},\n  url          = {https://doi.org/10.1145/3648474},\n  doi          = {10.1145/3648474},\n  url_pdf   = {fulltext/tocl2024-axRev.pdf},\n  keywords  = {Reversible computing, Process calculi, Programming languages}  \n  }\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 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
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reversible Debugging of Concurrent Erlang Programs: Supporting Imperative Primitives.\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 J. Log. Algebraic Methods Program., 138: 100944. 2024.\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 \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{jlamp2024-revImperative,\n  author       = {Pietro Lami and Ivan Lanese and Jean-Bernard Stefani and Claudio {Sacerdoti Coen} and Giovanni Fabbretti},\n  title        = {Reversible Debugging of Concurrent Erlang Programs: Supporting Imperative Primitives},\n  journal      = {J. Log. Algebraic Methods Program.},\n  volume       = {138},\n  pages        = {100944},\n  year         = {2024},\n  url          = {https://doi.org/10.1016/j.jlamp.2024.100944},\n  doi          = {10.1016/j.jlamp.2024.100944},\n  url_pdf      = {fulltext/jlamp2024-revImperative.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 A Small-Step Semantics for Janus.\n \n \n \n \n\n\n \n Lami, P.; Lanese, I.; and Stefani, J.\n\n\n \n\n\n\n In Mogensen, T. Æ.; and Mikulski, L., editor(s), Reversible Computation, volume 14680, of Lecture Notes in Computer Science, pages 105–123, 2024. Springer\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 \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{RC2024-smallStep,\n  author       = {Pietro Lami and Ivan Lanese and Jean{-}Bernard Stefani},\n  editor       = {Torben {\\AE}gidius Mogensen and Lukasz Mikulski},\n  title        = {A Small-Step Semantics for Janus},\n  booktitle    = {Reversible Computation},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14680},\n  pages        = {105--123},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-62076-8\\_8},\n  doi          = {10.1007/978-3-031-62076-8\\_8},\n  url_pdf      = {fulltext/rc2024-smallStep.pdf},\n  url_Slides   = {../work/rc2024-smallStep-Lami.pdf},\n  keywords     = {Reversible computing, Programming languages, Janus}\n  }\n\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 \n Reversibility with Holes.\n \n \n \n \n\n\n \n Fabbretti, G.; Lanese, I.; and Stefani, J.\n\n\n \n\n\n\n In Mogensen, T. Æ.; and Mikulski, L., editor(s), Reversible Computation, volume 14680, of Lecture Notes in Computer Science, pages 69–74, 2024. 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 
@inproceedings{RC2024-holes,\n  author       = {Giovanni Fabbretti and Ivan Lanese and Jean{-}Bernard Stefani},\n  editor       = {Torben {\\AE}gidius Mogensen and Lukasz Mikulski},\n  title        = {Reversibility with Holes},\n  booktitle    = {Reversible Computation},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14680},\n  pages        = {69--74},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-62076-8\\_5},\n  doi          = {10.1007/978-3-031-62076-8\\_5},\n  url_pdf      = {fulltext/rc2024-holes.pdf},\n  url_Slides   = {../work/rc2024-holes-Fabbretti.pdf},\n  keywords     = {Reversible computing, Failures}\n  }\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Causal Debugging for Concurrent Systems.\n \n \n \n \n\n\n \n Lanese, I.; and Gössler, G.\n\n\n \n\n\n\n In Mogensen, T. Æ.; and Mikulski, L., editor(s), Reversible Computation, volume 14680, of Lecture Notes in Computer Science, pages 3–9, 2024. 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 \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{RC2024-tutorial,\n  author       = {Ivan Lanese and Gregor G{\\"{o}}ssler},\n  editor       = {Torben {\\AE}gidius Mogensen and Lukasz Mikulski},\n  title        = {Causal Debugging for Concurrent Systems},\n  booktitle    = {Reversible Computation},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14680},\n  pages        = {3--9},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-62076-8\\_1},\n  doi          = {10.1007/978-3-031-62076-8\\_1},\n  url_pdf      = {fulltext/rc2024-tutorial.pdf},\n  url_Slides   = {../work/rc2024-tutorial.pdf},\n  keywords     = {Reversible computing, Causality}  \n  }\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Choreographic Automata: A Case Study in Healthcare Management.\n \n \n \n \n\n\n \n Pal, S.; Lanese, I.; and Clo, M.\n\n\n \n\n\n\n In Castellani, I.; and Tiezzi, F., editor(s), COORDINATION, volume 14676, of Lecture Notes in Computer Science, pages 3–19, 2024. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ChoreographicPaper\n  \n \n \n \"Choreographic pdf\n  \n \n \n \"Choreographic 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{COORDINATION2024-healthcare,\n  author       = {Sourabh Pal and Ivan Lanese and Massimo Clo},\n  editor       = {Ilaria Castellani and Francesco Tiezzi},\n  title        = {Choreographic Automata: {A} Case Study in Healthcare Management},\n  booktitle    = {{COORDINATION}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14676},\n  pages        = {3--19},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-62697-5\\_1},\n  doi          = {10.1007/978-3-031-62697-5\\_1},\n  url_pdf      = {fulltext/coordination2024-healthcare.pdf},\n  url_Slides   = {../work/coordination2024-healthcare.pdf},\n  keywords     = {Choreographies, Healthcare}  \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, 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 5 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},\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), QEST, 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 1 download\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    = {QEST},\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 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 
@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 (8)\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 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{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 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 
@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
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Forward-Reverse Observational Equivalences in CCSK.\n \n \n \n \n\n\n \n Lanese, I.; and Phillips, I.\n\n\n \n\n\n\n In Yamashita, S.; and Yokoyama, T., editor(s), Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, volume 12805, of Lecture Notes in Computer Science, pages 126–143, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Forward-ReversePaper\n  \n \n \n \"Forward-Reverse pdf\n  \n \n \n \"Forward-Reverse 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 9 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{rc2021-bisim,\n  author       = {Ivan Lanese and\n                  Iain Phillips},\n  editor       = {Shigeru Yamashita and\n                  Tetsuo Yokoyama},\n  title        = {Forward-Reverse Observational Equivalences in {CCSK}},\n  booktitle    = {Reversible Computation - 13th International Conference, {RC} 2021,\n                  Virtual Event, July 7-8, 2021, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12805},\n  pages        = {126--143},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-79837-6\\_8},\n  doi          = {10.1007/978-3-030-79837-6\\_8},\n  url_pdf   = {fulltext/rc2021-axiom.pdf},\n  url_Slides = {../work/rc2021-axioms.pdf},\n  keywords  = {Reversible computing, Process calculi, Behavioural equivalences}  \n}\n\n%-------------2020-------------------------------------------\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 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 
@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%-------------2019-------------------------------------------\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\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, Tools}        \n}\n\n%-------------2018-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A theory of reversibility for Erlang.\n \n \n \n \n\n\n \n Lanese, I.; Nishida, N.; Palacios, A.; and Vidal, G.\n\n\n \n\n\n\n J. Log. Algebraic Methods Program., 100: 71–97. 2018.\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 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{JLAMP2018-revErlang,\n  author       = {Ivan Lanese and\n                  Naoki Nishida and\n                  Adri{\\'{a}}n Palacios and\n                  Germ{\\'{a}}n Vidal},\n  title        = {A theory of reversibility for Erlang},\n  journal      = {J. Log. Algebraic Methods Program.},\n  volume       = {100},\n  pages        = {71--97},\n  year         = {2018},\n  url          = {https://doi.org/10.1016/j.jlamp.2018.06.004},\n  doi          = {10.1016/J.JLAMP.2018.06.004},\n  url_pdf   = {fulltext/jlamp2018-revErlang.pdf},\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 A theory of retractable and speculative contracts.\n \n \n \n \n\n\n \n Barbanera, F.; Lanese, I.; and de'Liguoro , U.\n\n\n \n\n\n\n Sci. Comput. Program., 167: 25–50. 2018.\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 
@article{SCP2018-revContracts,\n  author       = {Franco Barbanera and\n                  Ivan Lanese and\n                  Ugo de'Liguoro},\n  title        = {A theory of retractable and speculative contracts},\n  journal      = {Sci. Comput. Program.},\n  volume       = {167},\n  pages        = {25--50},\n  year         = {2018},\n  url          = {https://doi.org/10.1016/j.scico.2018.06.005},\n  doi          = {10.1016/J.SCICO.2018.06.005},\n  url_pdf   = {fulltext/scp2018-revContracts.pdf},\n  keywords  = {Reversible computing, Contracts, Process calculi}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n CauDEr: A Causal-Consistent Reversible Debugger for Erlang.\n \n \n \n \n\n\n \n Lanese, I.; Nishida, N.; Palacios, A.; and Vidal, G.\n\n\n \n\n\n\n In Gallagher, J. P.; and Sulzmann, M., editor(s), Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, volume 10818, of Lecture Notes in Computer Science, pages 247–263, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"CauDEr:Paper\n  \n \n \n \"CauDEr: pdf\n  \n \n \n \"CauDEr: 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\n
\n 
@inproceedings{FLOPS2018-CauDEr,\n  author       = {Ivan Lanese and\n                  Naoki Nishida and\n                  Adri{\\'{a}}n Palacios and\n                  Germ{\\'{a}}n Vidal},\n  editor       = {John P. Gallagher and\n                  Martin Sulzmann},\n  title        = {CauDEr: {A} Causal-Consistent Reversible Debugger for Erlang},\n  booktitle    = {Functional and Logic Programming - 14th International Symposium, {FLOPS}\n                  2018, Nagoya, Japan, May 9-11, 2018, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {10818},\n  pages        = {247--263},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-319-90686-7\\_16},\n  doi          = {10.1007/978-3-319-90686-7\\_16},\n  url_pdf   = {fulltext/flops2018.pdf},\n  url_Slides = {../work/flops2018-Palacios.pdf},    \n  keywords  = {Erlang, Programming languages, Reversible computing, Debugging, Tools}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Language-based Approach 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 Bui, T., editor(s), 51st Hawaii International Conference on System Sciences, HICSS 2018, Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018, pages 1–10, 2018. ScholarSpace / AIS Electronic Library (AISeL)\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 \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 
@inproceedings{HICSS2018-JIoT,\n  author       = {Maurizio Gabbrielli and\n                  Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Stefano Pio Zingaro},\n  editor       = {Tung Bui},\n  title        = {A Language-based Approach for Interoperability of IoT Platforms},\n  booktitle    = {51st Hawaii International Conference on System Sciences, {HICSS} 2018,\n                  Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018},\n  pages        = {1--10},\n  publisher    = {ScholarSpace / {AIS} Electronic Library (AISeL)},\n  year         = {2018},\n  url          = {https://hdl.handle.net/10125/50603},\n  url_pdf   = {fulltext/hicss2018.pdf},\n  url_Slides = {../work/hicss2018-zingaro.pdf},    \n  keywords  = {Jolie, Programming languages, Internet of Things, Tools}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n ChIP: A Choreographic Integration Process.\n \n \n \n \n\n\n \n Giallorenzo, S.; Lanese, I.; and Russo, D.\n\n\n \n\n\n\n In Panetto, H.; Debruyne, C.; Proper, H. A.; Ardagna, C. A.; Roman, D.; and Meersman, R., editor(s), On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II, volume 11230, of Lecture Notes in Computer Science, pages 22–40, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ChIP:Paper\n  \n \n \n \"ChIP: pdf\n  \n \n \n \"ChIP: 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\n\n\n
\n 
@inproceedings{CoopIS2018,\n  author       = {Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Daniel Russo},\n  editor       = {Herv{\\'{e}} Panetto and\n                  Christophe Debruyne and\n                  Henderik A. Proper and\n                  Claudio Agostino Ardagna and\n                  Dumitru Roman and\n                  Robert Meersman},\n  title        = {ChIP: {A} Choreographic Integration Process},\n  booktitle    = {On the Move to Meaningful Internet Systems. {OTM} 2018 Conferences\n                  - Confederated International Conferences: CoopIS, C{\\&}TC, and\n                  {ODBASE} 2018, Valletta, Malta, October 22-26, 2018, Proceedings,\n                  Part {II}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11230},\n  pages        = {22--40},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-030-02671-4\\_2},\n  doi          = {10.1007/978-3-030-02671-4\\_2},\n  url_pdf   = {fulltext/coopis2018-integration.pdf},\n  url_Slides = {../work/coopis2018-integration-Giallorenzo.pdf},    \n  keywords  = {Choreographies, Programming languages, Software engineering}    \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n From Reversible Semantics to Reversible Debugging.\n \n \n \n \n\n\n \n Lanese, I.\n\n\n \n\n\n\n In Kari, J.; and Ulidowski, I., editor(s), Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, volume 11106, of Lecture Notes in Computer Science, pages 34–46, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"FromPaper\n  \n \n \n \"From pdf\n  \n \n \n \"From 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\n
\n 
@inproceedings{RC2018-invited,\n  author       = {Ivan Lanese},\n  editor       = {Jarkko Kari and\n                  Irek Ulidowski},\n  title        = {From Reversible Semantics to Reversible Debugging},\n  booktitle    = {Reversible Computation - 10th International Conference, {RC} 2018,\n                  Leicester, UK, September 12-14, 2018, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11106},\n  pages        = {34--46},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-319-99498-7\\_2},\n  doi          = {10.1007/978-3-319-99498-7\\_2},\n  url_pdf   = {fulltext/rc2018-invited.pdf},\n  url_Slides = {../work/rc2018-invited.pdf},    \n  keywords  = {Reversible computing, Debugging, Programming languages, Erlang, Tools}      \n}\n\n%-------------2017-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Dynamic Choreographies: Theory And Implementation.\n \n \n \n \n\n\n \n Dalla Preda, M.; Gabbrielli, M.; Giallorenzo, S.; Lanese, I.; and Mauro, J.\n\n\n \n\n\n\n Log. Methods Comput. Sci., 13(2). 2017.\n \n\n\n\n
\n\n\n\n \n \n \"DynamicPaper\n  \n \n \n \"Dynamic 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 \n \n \n \n\n\n\n
\n 
@article{LMCS2017-dynamicChoreo,\n  author       = {Mila {Dalla Preda} and\n                  Maurizio Gabbrielli and\n                  Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Jacopo Mauro},\n  title        = {Dynamic Choreographies: Theory And Implementation},\n  journal      = {Log. Methods Comput. Sci.},\n  volume       = {13},\n  number       = {2},\n  year         = {2017},\n  url          = {https://doi.org/10.23638/LMCS-13(2:1)2017},\n  doi          = {10.23638/LMCS-13(2:1)2017},\n  url_pdf   = {fulltext/lmcs2017-adapt.pdf},    \n  keywords  = {Choreographies, Programming languages, Process calculi, Adaptation, Jolie, Tools}    \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Causal-consistent rollback in a tuple-based language.\n \n \n \n \n\n\n \n Giachino, E.; Lanese, I.; Mezzina, C. A.; and Tiezzi, F.\n\n\n \n\n\n\n J. Log. Algebraic Methods Program., 88: 99–120. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"Causal-consistentPaper\n  \n \n \n \"Causal-consistent 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{jlamp2017-revKlaim,\n  author       = {Elena Giachino and\n                  Ivan Lanese and\n                  Claudio Antares Mezzina and\n                  Francesco Tiezzi},\n  title        = {Causal-consistent rollback in a tuple-based language},\n  journal      = {J. Log. Algebraic Methods Program.},\n  volume       = {88},\n  pages        = {99--120},\n  year         = {2017},\n  url          = {https://doi.org/10.1016/j.jlamp.2016.09.003},\n  doi          = {10.1016/J.JLAMP.2016.09.003},\n  url_pdf   = {fulltext/jlamp2017-klaimrev.pdf},    \n  keywords  = {Process calculi, Reversible computing}    \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Retractable and Speculative Contracts.\n \n \n \n \n\n\n \n Barbanera, F.; Lanese, I.; and de'Liguoro , U.\n\n\n \n\n\n\n In Jacquet, J.; and Massink, M., editor(s), Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, volume 10319, of Lecture Notes in Computer Science, pages 119–137, 2017. Springer\n \n\n\n\n
\n\n\n\n \n \n \"RetractablePaper\n  \n \n \n \"Retractable pdf\n  \n \n \n \"Retractable 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\n\n\n
\n 
@inproceedings{coordination2017,\n  author       = {Franco Barbanera and\n                  Ivan Lanese and\n                  Ugo de'Liguoro},\n  editor       = {Jean{-}Marie Jacquet and\n                  Mieke Massink},\n  title        = {Retractable and Speculative Contracts},\n  booktitle    = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International\n                  Conference, {COORDINATION} 2017, Held as Part of the 12th International\n                  Federated Conference on Distributed Computing Techniques, DisCoTec\n                  2017, Neuch{\\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {10319},\n  pages        = {119--137},\n  publisher    = {Springer},\n  year         = {2017},\n  url          = {https://doi.org/10.1007/978-3-319-59746-1\\_7},\n  doi          = {10.1007/978-3-319-59746-1\\_7},\n  url_pdf   = {fulltext/coordination2017.pdf},\n  url_Slides = {../work/coordination2017.pdf},    \n  keywords  = {Reversible computing, Contracts, Process calculi}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Microservices: How To Make Your Application Scale.\n \n \n \n \n\n\n \n Dragoni, N.; Lanese, I.; Larsen, S. T.; Mazzara, M.; Mustafin, R.; and Safina, L.\n\n\n \n\n\n\n In Petrenko, A. K.; and Voronkov, A., editor(s), Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, volume 10742, of Lecture Notes in Computer Science, pages 95–104, 2017. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Microservices:Paper\n  \n \n \n \"Microservices: pdf\n  \n \n \n \"Microservices: 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{PSI2017-microservices,\n  author       = {Nicola Dragoni and\n                  Ivan Lanese and\n                  Stephan Thordal Larsen and\n                  Manuel Mazzara and\n                  Ruslan Mustafin and\n                  Larisa Safina},\n  editor       = {Alexander K. Petrenko and\n                  Andrei Voronkov},\n  title        = {Microservices: How To Make Your Application Scale},\n  booktitle    = {Perspectives of System Informatics - 11th International Andrei P.\n                  Ershov Informatics Conference, {PSI} 2017, Moscow, Russia, June 27-29,\n                  2017, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {10742},\n  pages        = {95--104},\n  publisher    = {Springer},\n  year         = {2017},\n  url          = {https://doi.org/10.1007/978-3-319-74313-4\\_8},\n  doi          = {10.1007/978-3-319-74313-4\\_8},\n  url_pdf   = {fulltext/psi2017.pdf},\n  url_Slides = {../work/psi2017.pdf},    \n  keywords  = {Microservices}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Most General Property-Preserving Updates.\n \n \n \n \n\n\n \n Bresolin, D.; and Lanese, I.\n\n\n \n\n\n\n In Drewes, F.; Martín-Vide, C.; and Truthe, B., editor(s), Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, volume 10168, of Lecture Notes in Computer Science, pages 367–379, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"MostPaper\n  \n \n \n \"Most pdf\n  \n \n \n \"Most 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{LATA2017,\n  author       = {Davide Bresolin and\n                  Ivan Lanese},\n  editor       = {Frank Drewes and\n                  Carlos Mart{\\'{\\i}}n{-}Vide and\n                  Bianca Truthe},\n  title        = {Most General Property-Preserving Updates},\n  booktitle    = {Language and Automata Theory and Applications - 11th International\n                  Conference, {LATA} 2017, Ume{\\aa}, Sweden, March 6-9, 2017, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {10168},\n  pages        = {367--379},\n  year         = {2017},\n  url          = {https://doi.org/10.1007/978-3-319-53733-7\\_27},\n  doi          = {10.1007/978-3-319-53733-7\\_27},\n  url_pdf   = {fulltext/lata2017.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 Microservices: A Language-Based Approach.\n \n \n \n \n\n\n \n Guidi, C.; Lanese, I.; Mazzara, M.; and Montesi, F.\n\n\n \n\n\n\n In Mazzara, M.; and Meyer, B., editor(s), Present and Ulterior Software Engineering, pages 217–225. Springer, 2017.\n \n\n\n\n
\n\n\n\n \n \n \"Microservices:Paper\n  \n \n \n \"Microservices: 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 
@incollection{book-ms,\n  author       = {Claudio Guidi and\n                  Ivan Lanese and\n                  Manuel Mazzara and\n                  Fabrizio Montesi},\n  editor       = {Manuel Mazzara and\n                  Bertrand Meyer},\n  title        = {Microservices: {A} Language-Based Approach},\n  booktitle    = {Present and Ulterior Software Engineering},\n  pages        = {217--225},\n  publisher    = {Springer},\n  year         = {2017},\n  url          = {https://doi.org/10.1007/978-3-319-67425-4\\_13},\n  doi          = {10.1007/978-3-319-67425-4\\_13},\n  url_pdf      = {fulltext/pause.pdf},\n  keywords     = {Microservices, Programming languages, Jolie}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Programming Adaptive Microservice Applications: An AIOCJ Tutorial.\n \n \n \n \n\n\n \n Giallorenzo, S.; Lanese, I.; Mauro, J.; and Gabbrielli, M.\n\n\n \n\n\n\n In Gay, S.; and Ravara, A., editor(s), Behavioural Types: from Theory to Tools, pages 147–167. River Publishers, 2017.\n \n\n\n\n
\n\n\n\n \n \n \"ProgrammingPaper\n  \n \n \n \"Programming 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\n
\n 
@incollection{book-betty,\n  author       = {Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro and Maurizio Gabbrielli},\n  editor       = {Simon Gay and António Ravara},\n  title        = {Programming Adaptive Microservice Applications: An AIOCJ Tutorial},\n  booktitle    = {Behavioural Types: from Theory to Tools},\n  pages        = {147--167},\n  publisher    = {River Publishers},\n  year         = {2017},\n  url          = {https://doi.org/10.13052/rp-9788793519817},\n  doi          = {10.13052/rp-9788793519817},\n  url_pdf      = {fulltext/bookBETTY-AIOCJ.pdf},\n  keywords     = {Choreographies, Programming languages, Adaptation, Jolie, Tools}    \n}\n\n\n%-------------2016-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Foundations of Session Types and Behavioural Contracts.\n \n \n \n \n\n\n \n Hüttel, H.; Lanese, I.; Vasconcelos, V. T.; Caires, L.; Carbone, M.; Deniélou, P.; Mostrous, D.; Padovani, L.; Ravara, A.; Tuosto, E.; Vieira, H. T.; and Zavattaro, G.\n\n\n \n\n\n\n ACM Comput. Surv., 49(1): 3:1–3:36. 2016.\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 
@article{CSUR2016,\n  author       = {Hans H{\\"{u}}ttel and\n                  Ivan Lanese and\n                  Vasco T. Vasconcelos and\n                  Lu{\\'{\\i}}s Caires and\n                  Marco Carbone and\n                  Pierre{-}Malo Deni{\\'{e}}lou and\n                  Dimitris Mostrous and\n                  Luca Padovani and\n                  Ant{\\'{o}}nio Ravara and\n                  Emilio Tuosto and\n                  Hugo Torres Vieira and\n                  Gianluigi Zavattaro},\n  title        = {Foundations of Session Types and Behavioural Contracts},\n  journal      = {{ACM} Comput. Surv.},\n  volume       = {49},\n  number       = {1},\n  pages        = {3:1--3:36},\n  year         = {2016},\n  url          = {https://doi.org/10.1145/2873052},\n  doi          = {10.1145/2873052},\n  url_pdf      = {fulltext/csur2016-sessionTypes.pdf},\n  keywords     = {Process calculi, Choreographies, Contracts, Multiparty session types}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reversibility in the higher-order π-calculus.\n \n \n \n \n\n\n \n Lanese, I.; Mezzina, C. A.; and Stefani, J.\n\n\n \n\n\n\n Theor. Comput. Sci., 625: 25–84. 2016.\n \n\n\n\n
\n\n\n\n \n \n \"ReversibilityPaper\n  \n \n \n \"Reversibility 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{TCS2016-rhopi,\n  author       = {Ivan Lanese and\n                  Claudio Antares Mezzina and\n                  Jean{-}Bernard Stefani},\n  title        = {Reversibility in the higher-order {\\pi}-calculus},\n  journal      = {Theor. Comput. Sci.},\n  volume       = {625},\n  pages        = {25--84},\n  year         = {2016},\n  url          = {https://doi.org/10.1016/j.tcs.2016.02.019},\n  doi          = {10.1016/J.TCS.2016.02.019},\n  url_pdf      = {fulltext/tcs2016-rhopi.pdf},\n  keywords     = {Process calculi, Reversible computing}      \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Modular Formalization of Reversibility for Concurrent Models and Languages.\n \n \n \n \n\n\n \n Bernadet, A.; and Lanese, I.\n\n\n \n\n\n\n In Bartoletti, M.; Henrio, L.; Knight, S.; and Vieira, H. T., editor(s), Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016, volume 223, of EPTCS, pages 98–112, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n \n \"A slides\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 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 
@inproceedings{ICE2016-bernadet,\n  author       = {Alexis Bernadet and\n                  Ivan Lanese},\n  editor       = {Massimo Bartoletti and\n                  Ludovic Henrio and\n                  Sophia Knight and\n                  Hugo Torres Vieira},\n  title        = {A Modular Formalization of Reversibility for Concurrent Models and\n                  Languages},\n  booktitle    = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,\n                  Heraklion, Greece, 8-9 June 2016},\n  series       = {{EPTCS}},\n  volume       = {223},\n  pages        = {98--112},\n  year         = {2016},\n  url          = {https://doi.org/10.4204/EPTCS.223.7},\n  doi          = {10.4204/EPTCS.223.7},\n  url_slides   = {../work/ice2016.pdf},\n  url_pdf      = {fulltext/ice2016.pdf},\n  keywords     = {Process calculi, Reversible computing}      \n}\n\n%-------------2015-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Developing correct, distributed, adaptive software.\n \n \n \n \n\n\n \n Dalla Preda, M.; Gabbrielli, M.; Giallorenzo, S.; Lanese, I.; and Mauro, J.\n\n\n \n\n\n\n Sci. Comput. Program., 97: 41–46. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"DevelopingPaper\n  \n \n \n \"Developing 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 \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{scp2015,\n  author       = {Mila {Dalla Preda} and\n                  Maurizio Gabbrielli and\n                  Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Jacopo Mauro},\n  title        = {Developing correct, distributed, adaptive software},\n  journal      = {Sci. Comput. Program.},\n  volume       = {97},\n  pages        = {41--46},\n  year         = {2015},\n  url          = {https://doi.org/10.1016/j.scico.2013.11.019},\n  doi          = {10.1016/J.SCICO.2013.11.019},\n  url_pdf      = {fulltext/scp2015.pdf},\n  keywords     = {Adaptation, Choreographies, Software engineering}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.\n \n \n \n \n\n\n \n Lanese, I.; Montesi, F.; and Zavattaro, G.\n\n\n \n\n\n\n In Nicola, R. D.; and Hennicker, R., editor(s), Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, volume 8950, of Lecture Notes in Computer Science, pages 506–521, 2015. 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 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{wirsing2015,\n  author       = {Ivan Lanese and\n                  Fabrizio Montesi and\n                  Gianluigi Zavattaro},\n  editor       = {Rocco De Nicola and\n                  Rolf Hennicker},\n  title        = {The Evolution of Jolie - From Orchestrations to Adaptable Choreographies},\n  booktitle    = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing\n                  on the Occasion of His Retirement from the Chair of Programming and\n                  Software Engineering},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {8950},\n  pages        = {506--521},\n  publisher    = {Springer},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/978-3-319-15545-6\\_29},\n  doi          = {10.1007/978-3-319-15545-6\\_29},\n  url_pdf      = {fulltext/wirsing2015.pdf},\n  url_slides   = {../work/wirsing2015.pdf},\n  keywords     = {Jolie, Programming languages, Adaptation, Choreographies}  \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.\n \n \n \n \n\n\n \n Dalla Preda, M.; Gabbrielli, M.; Giallorenzo, S.; Lanese, I.; and Mauro, J.\n\n\n \n\n\n\n In Holvoet, T.; and Viroli, M., editor(s), Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, volume 9037, of Lecture Notes in Computer Science, pages 67–82, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n \"DynamicPaper\n  \n \n \n \"Dynamic 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 \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{coordination2015-adapt,\n  author       = {Mila {Dalla Preda} and\n                  Maurizio Gabbrielli and\n                  Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Jacopo Mauro},\n  editor       = {Tom Holvoet and\n                  Mirko Viroli},\n  title        = {Dynamic Choreographies - Safe Runtime Updates of Distributed Applications},\n  booktitle    = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International\n                  Conference, {COORDINATION} 2015, Held as Part of the 10th International\n                  Federated Conference on Distributed Computing Techniques, DisCoTec\n                  2015, Grenoble, France, June 2-4, 2015, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {9037},\n  pages        = {67--82},\n  publisher    = {Springer},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/978-3-319-19282-6\\_5},\n  doi          = {10.1007/978-3-319-19282-6\\_5},\n  url_pdf      = {fulltext/coordination2015.pdf},\n  OPTurl_slides   = {https://prezi.com/hyqkvfu6ryug/},\n  keywords  = {Choreographies, Programming languages, Process calculi, Adaptation}      \n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Causal-Consistent Reversibility in a Tuple-Based Language.\n \n \n \n \n\n\n \n Giachino, E.; Lanese, I.; Mezzina, C. A.; and Tiezzi, F.\n\n\n \n\n\n\n In Daneshtalab, M.; Aldinucci, M.; Leppänen, V.; Lilius, J.; and Brorsson, M., editor(s), 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, pages 467–475, 2015. IEEE Computer Society\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 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 
@inproceedings{pdp2015-klaimrev,\n  author       = {Elena Giachino and\n                  Ivan Lanese and\n                  Claudio Antares Mezzina and\n                  Francesco Tiezzi},\n  editor       = {Masoud Daneshtalab and\n                  Marco Aldinucci and\n                  Ville Lepp{\\"{a}}nen and\n                  Johan Lilius and\n                  Mats Brorsson},\n  title        = {Causal-Consistent Reversibility in a Tuple-Based Language},\n  booktitle    = {23rd Euromicro International Conference on Parallel, Distributed,\n                  and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,\n                  2015},\n  pages        = {467--475},\n  publisher    = {{IEEE} Computer Society},\n  year         = {2015},\n  url          = {https://doi.org/10.1109/PDP.2015.98},\n  doi          = {10.1109/PDP.2015.98},\n  url_pdf   = {fulltext/pdp2015.pdf},\n  url_slides   = {../work/pdp2015.pdf},    \n  keywords  = {Process calculi, Reversible computing}    \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Retractable Contracts.\n \n \n \n \n\n\n \n Barbanera, F.; Dezani-Ciancaglini, M.; Lanese, I.; and de'Liguoro , U.\n\n\n \n\n\n\n In Gay, S.; and Alglave, J., editor(s), Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015, volume 203, of EPTCS, pages 61–72, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"RetractablePaper\n  \n \n \n \"Retractable pdf\n  \n \n \n \"Retractable 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{places2015,\n  author       = {Franco Barbanera and\n                  Mariangiola Dezani{-}Ciancaglini and\n                  Ivan Lanese and\n                  Ugo de'Liguoro},\n  editor       = {Simon Gay and\n                  Jade Alglave},\n  title        = {Retractable Contracts},\n  booktitle    = {Proceedings Eighth International Workshop on Programming Language\n                  Approaches to Concurrency- and Communication-cEntric Software, {PLACES}\n                  2015, London, UK, 18th April 2015},\n  series       = {{EPTCS}},\n  volume       = {203},\n  pages        = {61--72},\n  year         = {2015},\n  url          = {https://doi.org/10.4204/EPTCS.203.5},\n  doi          = {10.4204/EPTCS.203.5},\n  url_pdf   = {fulltext/places2015.pdf},\n  url_Slides = {../work/places2015.pdf},    \n  keywords  = {Reversible computing, Contracts, Process calculi}        \n}\n\n%-------------2014-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Causal-Consistent Reversibility.\n \n \n \n \n\n\n \n Lanese, I.; Mezzina, C. A.; and Tiezzi, F.\n\n\n \n\n\n\n Bull. EATCS, 114. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"Causal-ConsistentPaper\n  \n \n \n \"Causal-Consistent pdf\n  \n \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{BEATCS14,\n  author       = {Ivan Lanese and\n                  Claudio Antares Mezzina and\n                  Francesco Tiezzi},\n  title        = {Causal-Consistent Reversibility},\n  journal      = {Bull. {EATCS}},\n  volume       = {114},\n  year         = {2014},\n  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/305},\n  url_pdf      = {fulltext/beatcs2014.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 The stream-based service-centred calculus: a foundation for service-oriented programming.\n \n \n \n \n\n\n \n Cruz-Filipe, L.; Lanese, I.; Martins, F.; Ravara, A.; and Vasconcelos, V. T.\n\n\n \n\n\n\n Formal Aspects Comput., 26(5): 865–918. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n \n \"The 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{FAC2014,\n  author       = {Lu{\\'{\\i}}s Cruz{-}Filipe and\n                  Ivan Lanese and\n                  Francisco Martins and\n                  Ant{\\'{o}}nio Ravara and\n                  Vasco Thudichum Vasconcelos},\n  title        = {The stream-based service-centred calculus: a foundation for service-oriented\n                  programming},\n  journal      = {Formal Aspects Comput.},\n  volume       = {26},\n  number       = {5},\n  pages        = {865--918},\n  year         = {2014},\n  url          = {https://doi.org/10.1007/s00165-013-0284-5},\n  doi          = {10.1007/S00165-013-0284-5},\n  url_pdf      = {fulltext/faoc2014.pdf},    \n  keywords     = {Web services, Process calculi, Behavioural equivalences}        \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Causal-Consistent Reversible Debugging.\n \n \n \n \n\n\n \n Giachino, E.; Lanese, I.; and Mezzina, C. A.\n\n\n \n\n\n\n In Gnesi, S.; and Rensink, A., editor(s), Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, volume 8411, of Lecture Notes in Computer Science, pages 370–384, 2014. 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 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 
@inproceedings{FASE2014,\n  author       = {Elena Giachino and\n                  Ivan Lanese and\n                  Claudio Antares Mezzina},\n  editor       = {Stefania Gnesi and\n                  Arend Rensink},\n  title        = {Causal-Consistent Reversible Debugging},\n  booktitle    = {Fundamental Approaches to Software Engineering - 17th International\n                  Conference, {FASE} 2014, Held as Part of the European Joint Conferences\n                  on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,\n                  April 5-13, 2014, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {8411},\n  pages        = {370--384},\n  publisher    = {Springer},\n  year         = {2014},\n  url          = {https://doi.org/10.1007/978-3-642-54804-8\\_26},\n  doi          = {10.1007/978-3-642-54804-8\\_26},\n  url_pdf      = {fulltext/fase2014.pdf},\n  url_Slides = {../work/fase2014-mezzina.pdf},    \n  keywords  = {Reversible computing, Programming languages, Debugging, Tools}        \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Fault Model Design Space for Cooperative Concurrency.\n \n \n \n \n\n\n \n Lanese, I.; Lienhardt, M.; Bravetti, M.; Johnsen, E. B.; Schlatte, R.; Stolz, V.; and Zavattaro, G.\n\n\n \n\n\n\n In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, volume 8803, of Lecture Notes in Computer Science, pages 22–36, 2014. Springer\n \n\n\n\n
\n\n\n\n \n \n \"FaultPaper\n  \n \n \n \"Fault pdf\n  \n \n \n \"Fault 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{ISOLA2014,\n  author       = {Ivan Lanese and\n                  Michael Lienhardt and\n                  Mario Bravetti and\n                  Einar Broch Johnsen and\n                  Rudolf Schlatte and\n                  Volker Stolz and\n                  Gianluigi Zavattaro},\n  editor       = {Tiziana Margaria and\n                  Bernhard Steffen},\n  title        = {Fault Model Design Space for Cooperative Concurrency},\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.\n                  Specialized Techniques and Applications - 6th International Symposium,\n                  ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,\n                  Part {II}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {8803},\n  pages        = {22--36},\n  publisher    = {Springer},\n  year         = {2014},\n  url          = {https://doi.org/10.1007/978-3-662-45231-8\\_3},\n  doi          = {10.1007/978-3-662-45231-8\\_3},\n  url_pdf      = {fulltext/isola2014.pdf},\n  url_Slides = {../work/isola2014.pdf},    \n  keywords  = {Transactions, Programming languages}        \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.\n \n \n \n \n\n\n \n Dalla Preda, M.; Giallorenzo, S.; Lanese, I.; Mauro, J.; and Gabbrielli, M.\n\n\n \n\n\n\n In Combemale, B.; Pearce, D. J.; Barais, O.; and Vinju, J. J., editor(s), Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings, volume 8706, of Lecture Notes in Computer Science, pages 161–170, 2014. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AIOCJ:Paper\n  \n \n \n \"AIOCJ: pdf\n  \n \n \n \"AIOCJ: 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\n\n\n
\n 
@inproceedings{SLE2014,\n  author       = {Mila {Dalla Preda} and\n                  Saverio Giallorenzo and\n                  Ivan Lanese and\n                  Jacopo Mauro and\n                  Maurizio Gabbrielli},\n  editor       = {Beno{\\^{\\i}}t Combemale and\n                  David J. Pearce and\n                  Olivier Barais and\n                  Jurgen J. Vinju},\n  title        = {{AIOCJ:} {A} Choreographic Framework for Safe Adaptive Distributed\n                  Applications},\n  booktitle    = {Software Language Engineering - 7th International Conference, {SLE}\n                  2014, V{\\"{a}}ster{\\aa}s, Sweden, September 15-16, 2014. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {8706},\n  pages        = {161--170},\n  publisher    = {Springer},\n  year         = {2014},\n  url          = {https://doi.org/10.1007/978-3-319-11245-9\\_9},\n  doi          = {10.1007/978-3-319-11245-9\\_9},\n  url_pdf      = {fulltext/sle2014.pdf},\n  url_Slides = {../work/sle2014-giallorenzo.pdf},    \n  keywords  = {Choreographies, Adaptation, Programming languages, Tools}         \n}\n\n%-------------2013-------------------------------------------\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Decidability Results for Dynamic Installation of Compensation Handlers.\n \n \n \n \n\n\n \n Lanese, I.; and Zavattaro, G.\n\n\n \n\n\n\n In Nicola, R. D.; and Julien, C., editor(s), Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, volume 7890, of Lecture Notes in Computer Science, pages 136–150, 2013. Springer\n \n\n\n\n
\n\n\n\n \n \n \"DecidabilityPaper\n  \n \n \n \"Decidability pdf\n  \n \n \n \"Decidability 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{COORDINATION2013,\n  author       = {Ivan Lanese and\n                  Gianluigi Zavattaro},\n  editor       = {Rocco De Nicola and\n                  Christine Julien},\n  title        = {Decidability Results for Dynamic Installation of Compensation Handlers},\n  booktitle    = {Coordination Models and Languages, 15th International Conference,\n                  {COORDINATION} 2013, Held as Part of the 8th International Federated\n                  Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,\n                  Italy, June 3-5, 2013. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {7890},\n  pages        = {136--150},\n  publisher    = {Springer},\n  year         = {2013},\n  url          = {https://doi.org/10.1007/978-3-642-38493-6\\_10},\n  doi          = {10.1007/978-3-642-38493-6\\_10},\n  url_pdf      = {fulltext/coordination2013.pdf},\n  url_Slides = {../work/coordination2013.pdf},    \n  keywords  = {Transactions, Process calculi}         \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Concurrent Flexible Reversibility.\n \n \n \n \n\n\n \n Lanese, I.; Lienhardt, M.; Mezzina, C. A.; Schmitt, A.; and Stefani, J.\n\n\n \n\n\n\n In Felleisen, M.; and Gardner, P., editor(s), Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, volume 7792, of Lecture Notes in Computer Science, pages 370–390, 2013. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ConcurrentPaper\n  \n \n \n \"Concurrent pdf\n  \n \n \n \"Concurrent 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{ESOP2013,\n  author       = {Ivan Lanese and\n                  Michael Lienhardt and\n                  Claudio Antares Mezzina and\n                  Alan Schmitt and\n                  Jean{-}Bernard Stefani},\n  editor       = {Matthias Felleisen and\n                  Philippa Gardner},\n  title        = {Concurrent Flexible Reversibility},\n  booktitle    = {Programming Languages and Systems - 22nd European Symposium on Programming,\n                  {ESOP} 2013, Held as Part of the European Joint Conferences on Theory\n                  and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,\n                  2013. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {7792},\n  pages        = {370--390},\n  publisher    = {Springer},\n  year         = {2013},\n  url          = {https://doi.org/10.1007/978-3-642-37036-6\\_21},\n  doi          = {10.1007/978-3-642-37036-6\\_21},\n  url_pdf      = {fulltext/esop2013.pdf},\n  url_Slides = {../work/esop2013.pdf},    \n  keywords  = {Reversible computing, Process calculi, Transactions}           \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Internet of things: a process calculus approach.\n \n \n \n \n\n\n \n Lanese, I.; Bedogni, L.; and Di Felice, M.\n\n\n \n\n\n\n In Shin, S. Y.; and Maldonado, J. C., editor(s), Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, pages 1339–1346, 2013. ACM\n \n\n\n\n
\n\n\n\n \n \n \"InternetPaper\n  \n \n \n \"Internet pdf\n  \n \n \n \"Internet 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\n
\n 
@inproceedings{SAC2013,\n  author       = {Ivan Lanese and\n                  Luca Bedogni and\n                  Marco {Di Felice}},\n  editor       = {Sung Y. Shin and\n                  Jos{\\'{e}} Carlos Maldonado},\n  title        = {Internet of things: a process calculus approach},\n  booktitle    = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,\n                  {SAC} '13, Coimbra, Portugal, March 18-22, 2013},\n  pages        = {1339--1346},\n  publisher    = {{ACM}},\n  year         = {2013},\n  url          = {https://doi.org/10.1145/2480362.2480615},\n  doi          = {10.1145/2480362.2480615},\n  url_pdf      = {fulltext/sac2013.pdf},\n  url_Slides = {../work/sac2013.pdf},    \n  keywords  = {Internet of Things, Process calculi, Behavioural equivalences}             \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Global and Local Types for Adaptation.\n \n \n \n \n\n\n \n Bravetti, M.; Carbone, M.; Hildebrandt, T. T.; Lanese, I.; Mauro, J.; Pérez, J. A.; and Zavattaro, G.\n\n\n \n\n\n\n In Counsell, S.; and Núñez, M., editor(s), Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368, of Lecture Notes in Computer Science, pages 3–14, 2013. 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 6 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{BEAT2013,\n  author       = {Mario Bravetti and\n                  Marco Carbone and\n                  Thomas T. Hildebrandt and\n                  Ivan Lanese and\n                  Jacopo Mauro and\n                  Jorge A. P{\\'{e}}rez and\n                  Gianluigi Zavattaro},\n  editor       = {Steve Counsell and\n                  Manuel N{\\'{u}}{\\~{n}}ez},\n  title        = {Towards Global and Local Types for Adaptation},\n  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:\n                  BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,\n                  September 23-24, 2013, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {8368},\n  pages        = {3--14},\n  publisher    = {Springer},\n  year         = {2013},\n  url          = {https://doi.org/10.1007/978-3-319-05032-4\\_1},\n  doi          = {10.1007/978-3-319-05032-4\\_1},\n  url_pdf      = {fulltext/beatii2013.pdf},\n  url_Slides = {../work/beatII2013.pdf},    \n  keywords  = {Multiparty session types, Adaptation, Process calculi}             \n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Amending Choreographies.\n \n \n \n \n\n\n \n Lanese, I.; Montesi, F.; and Zavattaro, G.\n\n\n \n\n\n\n In Ravara, A.; and Silva, J., editor(s), Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013, volume 123, of EPTCS, pages 34–48, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"AmendingPaper\n  \n \n \n \"Amending pdf\n  \n \n \n \"Amending 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{WWV2013,\n  author       = {Ivan Lanese and\n                  Fabrizio Montesi and\n                  Gianluigi Zavattaro},\n  editor       = {Ant{\\'{o}}nio Ravara and\n                  Josep Silva},\n  title        = {Amending Choreographies},\n  booktitle    = {Proceedings 9th International Workshop on Automated Specification\n                  and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th\n                  June 2013},\n  series       = {{EPTCS}},\n  volume       = {123},\n  pages        = {34--48},\n  year         = {2013},\n  url          = {https://doi.org/10.4204/EPTCS.123.5},\n  doi          = {10.4204/EPTCS.123.5},\n  url_pdf      = {fulltext/wwv2013.pdf},\n  url_Slides = {../work/wwv2013.pdf},    \n  keywords  = {Choreographies, Process calculi}             \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);