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%2Fdblp.uni-trier.de%2Fpid%2F215%2F9758.bib&fullnames=1&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%2Fdblp.uni-trier.de%2Fpid%2F215%2F9758.bib&fullnames=1&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%2Fdblp.uni-trier.de%2Fpid%2F215%2F9758.bib&fullnames=1&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

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

To the site owner:

\n\n

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

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

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2024\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Compositional verification of priority systems using sharp bisimulation.\n \n \n \n \n\n\n \n Luca Di Stefano; and Frédéric Lang.\n\n\n \n\n\n\n Formal Methods Syst. Des., 62(1): 1–40. 2024.\n \n\n\n\n
\n\n\n\n \n \n \"CompositionalPaper\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 
@article{DBLP:journals/fmsd/StefanoL24,\n  author       = {Luca Di Stefano and\n                  Fr{\\'{e}}d{\\'{e}}ric Lang},\n  title        = {Compositional verification of priority systems using sharp bisimulation},\n  journal      = {Formal Methods Syst. Des.},\n  volume       = {62},\n  number       = {1},\n  pages        = {1--40},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/s10703-023-00422-1},\n  doi          = {10.1007/S10703-023-00422-1},\n  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/fmsd/StefanoL24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification.\n \n \n \n \n\n\n \n Luca Di Stefano; and Omar Inverso.\n\n\n \n\n\n\n In Tiziana Margaria; and Bernhard Steffen., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I, volume 15219, of Lecture Notes in Computer Science, pages 253–270, 2024. Springer\n \n\n\n\n
\n\n\n\n \n \n \"EmergingPaper\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 
@inproceedings{DBLP:conf/isola/StefanoI24,\n  author       = {Luca Di Stefano and\n                  Omar Inverso},\n  editor       = {Tiziana Margaria and\n                  Bernhard Steffen},\n  title        = {Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification},\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.\n                  REoCAS Colloquium in Honor of Rocco De Nicola - 12th International\n                  Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,\n                  Part {I}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {15219},\n  pages        = {253--270},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-73709-1\\_16},\n  doi          = {10.1007/978-3-031-73709-1\\_16},\n  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/isola/StefanoI24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Attributed Point-to-Point Communication in R-CHECK.\n \n \n \n \n\n\n \n Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano; and Nir Piterman.\n\n\n \n\n\n\n In Tiziana Margaria; and Bernhard Steffen., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II, volume 15220, of Lecture Notes in Computer Science, pages 333–350, 2024. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AttributedPaper\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 
@inproceedings{DBLP:conf/isola/AlrahmanASP24,\n  author       = {Yehia Abd Alrahman and\n                  Shaun Azzopardi and\n                  Luca Di Stefano and\n                  Nir Piterman},\n  editor       = {Tiziana Margaria and\n                  Bernhard Steffen},\n  title        = {Attributed Point-to-Point Communication in {R-CHECK}},\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.\n                  Rigorous Engineering of Collective Adaptive Systems - 12th International\n                  Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,\n                  Part {II}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {15220},\n  pages        = {333--350},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-75107-3\\_20},\n  doi          = {10.1007/978-3-031-75107-3\\_20},\n  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/isola/AlrahmanASP24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024.\n \n \n \n \n\n\n \n Luca Di Stefano.,\n editor.\n \n\n\n \n\n\n\n ACM. 2024.\n \n\n\n\n
\n\n\n\n \n \n \"ProceedingsPaper\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 
@proceedings{DBLP:conf/ftfjp/2024,\n  editor       = {Luca Di Stefano},\n  title        = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques\n                  for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September\n                  2024},\n  publisher    = {{ACM}},\n  year         = {2024},\n  url          = {https://doi.org/10.1145/3678721},\n  doi          = {10.1145/3678721},\n  isbn         = {979-8-4007-1111-4},\n  timestamp    = {Thu, 10 Oct 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ftfjp/2024.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2023\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Modelling flocks of birds and colonies of ants from the bottom up.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Serenella Valiani.\n\n\n \n\n\n\n Int. J. Softw. Tools Technol. Transf., 25(5): 675–691. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"ModellingPaper\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 
@article{DBLP:journals/sttt/NicolaSIV23,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Serenella Valiani},\n  title        = {Modelling flocks of birds and colonies of ants from the bottom up},\n  journal      = {Int. J. Softw. Tools Technol. Transf.},\n  volume       = {25},\n  number       = {5},\n  pages        = {675--691},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/s10009-023-00731-0},\n  doi          = {10.1007/S10009-023-00731-0},\n  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/sttt/NicolaSIV23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Language support for verifying reconfigurable interacting systems.\n \n \n \n \n\n\n \n Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano; and Nir Piterman.\n\n\n \n\n\n\n Int. J. Softw. Tools Technol. Transf., 25(5): 765–784. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"LanguagePaper\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 
@article{DBLP:journals/sttt/AlrahmanASP23,\n  author       = {Yehia Abd Alrahman and\n                  Shaun Azzopardi and\n                  Luca Di Stefano and\n                  Nir Piterman},\n  title        = {Language support for verifying reconfigurable interacting systems},\n  journal      = {Int. J. Softw. Tools Technol. Transf.},\n  volume       = {25},\n  number       = {5},\n  pages        = {765--784},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/s10009-023-00729-8},\n  doi          = {10.1007/S10009-023-00729-8},\n  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Serenella Valiani.\n\n\n \n\n\n\n In Jun Pang; and Joachim Niehren., editor(s), Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings, volume 14137, of Lecture Notes in Computer Science, pages 44–61, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"IntuitivePaper\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 
@inproceedings{DBLP:conf/cmsb/NicolaSIV23,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Serenella Valiani},\n  editor       = {Jun Pang and\n                  Joachim Niehren},\n  title        = {Intuitive Modelling and Formal Analysis of Collective Behaviour in\n                  Foraging Ants},\n  booktitle    = {Computational Methods in Systems Biology - 21st International Conference,\n                  {CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14137},\n  pages        = {44--61},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-42697-1\\_4},\n  doi          = {10.1007/978-3-031-42697-1\\_4},\n  timestamp    = {Fri, 15 Sep 2023 15:00:48 +0200},\n  biburl       = {https://dblp.org/rec/conf/cmsb/NicolaSIV23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Compositional Verification of Stigmergic Collective Systems.\n \n \n \n \n\n\n \n Luca Di Stefano; and Frédéric Lang.\n\n\n \n\n\n\n In Cezara Dragoi; Michael Emmi; and Jingbo Wang., editor(s), Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings, volume 13881, of Lecture Notes in Computer Science, pages 155–176, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"CompositionalPaper\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 
@inproceedings{DBLP:conf/vmcai/StefanoL23,\n  author       = {Luca Di Stefano and\n                  Fr{\\'{e}}d{\\'{e}}ric Lang},\n  editor       = {Cezara Dragoi and\n                  Michael Emmi and\n                  Jingbo Wang},\n  title        = {Compositional Verification of Stigmergic Collective Systems},\n  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 24th International\n                  Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13881},\n  pages        = {155--176},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-24950-1\\_8},\n  doi          = {10.1007/978-3-031-24950-1\\_8},\n  timestamp    = {Wed, 29 May 2024 09:08:46 +0200},\n  biburl       = {https://dblp.org/rec/conf/vmcai/StefanoL23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n LTL Synthesis on Infinite-State Arenas defined by Programs.\n \n \n \n \n\n\n \n Shaun Azzopardi; Nir Piterman; Gerardo Schneider; and Luca Di Stefano.\n\n\n \n\n\n\n CoRR, abs/2307.09776. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"LTLPaper\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 
@article{DBLP:journals/corr/abs-2307-09776,\n  author       = {Shaun Azzopardi and\n                  Nir Piterman and\n                  Gerardo Schneider and\n                  Luca Di Stefano},\n  title        = {{LTL} Synthesis on Infinite-State Arenas defined by Programs},\n  journal      = {CoRR},\n  volume       = {abs/2307.09776},\n  year         = {2023},\n  url          = {https://doi.org/10.48550/arXiv.2307.09776},\n  doi          = {10.48550/ARXIV.2307.09776},\n  eprinttype    = {arXiv},\n  eprint       = {2307.09776},\n  timestamp    = {Tue, 25 Jul 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-09776.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Automated replication of tuple spaces via static analysis.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Aline Uwimbabazi.\n\n\n \n\n\n\n Sci. Comput. Program., 223: 102863. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\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 
@article{DBLP:journals/scp/NicolaSIU22,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Aline Uwimbabazi},\n  title        = {Automated replication of tuple spaces via static analysis},\n  journal      = {Sci. Comput. Program.},\n  volume       = {223},\n  pages        = {102863},\n  year         = {2022},\n  url          = {https://doi.org/10.1016/j.scico.2022.102863},\n  doi          = {10.1016/J.SCICO.2022.102863},\n  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/scp/NicolaSIU22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verification of Distributed Systems via Sequential Emulation.\n \n \n \n \n\n\n \n Luca Di Stefano; Rocco De Nicola; and Omar Inverso.\n\n\n \n\n\n\n ACM Trans. Softw. Eng. Methodol., 31(3): 37:1–37:41. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"VerificationPaper\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 
@article{DBLP:journals/tosem/StefanoNI22,\n  author       = {Luca Di Stefano and\n                  Rocco De Nicola and\n                  Omar Inverso},\n  title        = {Verification of Distributed Systems via Sequential Emulation},\n  journal      = {{ACM} Trans. Softw. Eng. Methodol.},\n  volume       = {31},\n  number       = {3},\n  pages        = {37:1--37:41},\n  year         = {2022},\n  url          = {https://doi.org/10.1145/3490387},\n  doi          = {10.1145/3490387},\n  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/tosem/StefanoNI22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Process Algebras and Flocks of Birds.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Serenella Valiani.\n\n\n \n\n\n\n In Nils Jansen; Mariëlle Stoelinga; and Petra Bos., editor(s), A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, volume 13560, of Lecture Notes in Computer Science, pages 512–523, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ProcessPaper\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 
@inproceedings{DBLP:conf/birthday/NicolaSIV22,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Serenella Valiani},\n  editor       = {Nils Jansen and\n                  Mari{\\"{e}}lle Stoelinga and\n                  Petra van den Bos},\n  title        = {Process Algebras and Flocks of Birds},\n  booktitle    = {A Journey from Process Algebra via Timed Automata to Model Learning\n                  - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th\n                  Birthday},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13560},\n  pages        = {512--523},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-15629-8\\_27},\n  doi          = {10.1007/978-3-031-15629-8\\_27},\n  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/birthday/NicolaSIV22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Modelling Flocks of Birds from the Bottom Up.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Serenella Valiani.\n\n\n \n\n\n\n In Tiziana Margaria; and Bernhard Steffen., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III, volume 13703, of Lecture Notes in Computer Science, pages 82–96, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ModellingPaper\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 
@inproceedings{DBLP:conf/isola/NicolaSIV22,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Serenella Valiani},\n  editor       = {Tiziana Margaria and\n                  Bernhard Steffen},\n  title        = {Modelling Flocks of Birds from the Bottom Up},\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.\n                  Adaptation and Learning - 11th International Symposium, ISoLA 2022,\n                  Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13703},\n  pages        = {82--96},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-19759-8\\_6},\n  doi          = {10.1007/978-3-031-19759-8\\_6},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.\n \n \n \n \n\n\n \n Luca Di Stefano; and Frédéric Lang.\n\n\n \n\n\n\n In Tiziana Margaria; and Bernhard Steffen., editor(s), Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, volume 13036, of Lecture Notes in Computer Science, pages 473–489, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n \"VerifyingPaper\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 
@inproceedings{DBLP:conf/isola/StefanoL21,\n  author       = {Luca Di Stefano and\n                  Fr{\\'{e}}d{\\'{e}}ric Lang},\n  editor       = {Tiziana Margaria and\n                  Bernhard Steffen},\n  title        = {Verifying Temporal Properties of Stigmergic Collective Systems Using\n                  {CADP}},\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation\n                  - 10th International Symposium on Leveraging Applications of Formal\n                  Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13036},\n  pages        = {473--489},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-89159-6\\_29},\n  doi          = {10.1007/978-3-030-89159-6\\_29},\n  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/isola/StefanoL21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation (Version 1.0).\n \n \n \n \n\n\n \n Luca Di Stefano; Rocco De Nicola; and Omar Inverso.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.5348289, September 2021.\n Accessed on YYYY-MM-DD.\n\n\n\n
\n\n\n\n \n \n \"ReplicationPaper\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 
@misc{DBLP:data/10/StefanoNI21,\n  author       = {Luca Di Stefano and\n                  Rocco De Nicola and\n                  Omar Inverso},\n  title        = {Replication Package for the paper: Verification of Distributed Systems\n                  via Sequential Emulation (Version 1.0)},\n  publisher    = {Zenodo},\n  year         = {2021},\n  month        = sep,\n  howpublished = {\\url{https://doi.org/10.5281/zenodo.5348289}},\n  note         = {Accessed on YYYY-MM-DD.},\n  url          = {https://doi.org/10.5281/zenodo.5348289},\n  doi          = {10.5281/ZENODO.5348289},\n  timestamp    = {Wed, 02 Oct 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/data/10/StefanoNI21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Multi-agent systems with virtual stigmergy.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; and Omar Inverso.\n\n\n \n\n\n\n Sci. Comput. Program., 187: 102345. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Multi-agentPaper\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 
@article{DBLP:journals/scp/NicolaSI20,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso},\n  title        = {Multi-agent systems with virtual stigmergy},\n  journal      = {Sci. Comput. Program.},\n  volume       = {187},\n  pages        = {102345},\n  year         = {2020},\n  url          = {https://doi.org/10.1016/j.scico.2019.102345},\n  doi          = {10.1016/J.SCICO.2019.102345},\n  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/scp/NicolaSI20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Combining SLiVER with CADP to Analyze Multi-agent Systems.\n \n \n \n \n\n\n \n Luca Di Stefano; Frédéric Lang; and Wendelin Serwe.\n\n\n \n\n\n\n In Simon Bliudze; and Laura Bocchi., 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 370–385, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"CombiningPaper\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 
@inproceedings{DBLP:conf/coordination/StefanoLS20,\n  author       = {Luca Di Stefano and\n                  Fr{\\'{e}}d{\\'{e}}ric Lang and\n                  Wendelin Serwe},\n  editor       = {Simon Bliudze and\n                  Laura Bocchi},\n  title        = {Combining SLiVER with {CADP} to Analyze Multi-agent Systems},\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        = {370--385},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-50029-0\\_23},\n  doi          = {10.1007/978-3-030-50029-0\\_23},\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/coordination/StefanoLS20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Toward Formal Models and Languages for Verifiable Multi-Robot Systems.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; and Omar Inverso.\n\n\n \n\n\n\n Frontiers Robotics AI, 5: 94. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"TowardPaper\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 
@article{DBLP:journals/firai/NicolaSI18,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso},\n  title        = {Toward Formal Models and Languages for Verifiable Multi-Robot Systems},\n  journal      = {Frontiers Robotics {AI}},\n  volume       = {5},\n  pages        = {94},\n  year         = {2018},\n  url          = {https://doi.org/10.3389/frobt.2018.00094},\n  doi          = {10.3389/FROBT.2018.00094},\n  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/firai/NicolaSI18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Multi-agent Systems with Virtual Stigmergy.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; and Omar Inverso.\n\n\n \n\n\n\n In Manuel Mazzara; Iulian Ober; and Gwen Salaün., editor(s), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, volume 11176, of Lecture Notes in Computer Science, pages 351–366, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Multi-agentPaper\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 
@inproceedings{DBLP:conf/staf/NicolaSI18,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso},\n  editor       = {Manuel Mazzara and\n                  Iulian Ober and\n                  Gwen Sala{\\"{u}}n},\n  title        = {Multi-agent Systems with Virtual Stigmergy},\n  booktitle    = {Software Technologies: Applications and Foundations - {STAF} 2018\n                  Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised\n                  Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11176},\n  pages        = {351--366},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-030-04771-9\\_26},\n  doi          = {10.1007/978-3-030-04771-9\\_26},\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/staf/NicolaSI18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards formal models and languages for verifiable Multi-Robot Systems.\n \n \n \n \n\n\n \n Rocco De Nicola; Luca Di Stefano; and Omar Inverso.\n\n\n \n\n\n\n CoRR, abs/1804.08091. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\n  \n \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 
@article{DBLP:journals/corr/abs-1804-08091,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso},\n  title        = {Towards formal models and languages for verifiable Multi-Robot Systems},\n  journal      = {CoRR},\n  volume       = {abs/1804.08091},\n  year         = {2018},\n  url          = {http://arxiv.org/abs/1804.08091},\n  eprinttype    = {arXiv},\n  eprint       = {1804.08091},\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-08091.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps.\n \n \n \n \n\n\n \n Luca Di Stefano; Eliseo Clementini; and Enrico Stagnini.\n\n\n \n\n\n\n In Paolo Fogliaroni; Andrea Ballatore; and Eliseo Clementini., editor(s), Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, COSIT 2017, September 4-8, 2017, L'Aquila, Italy, of Lecture Notes in Geoinformation and Cartography, pages 41–43, 2017. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ReactivePaper\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 
@inproceedings{DBLP:conf/cosit/StefanoCS17,\n  author       = {Luca Di Stefano and\n                  Eliseo Clementini and\n                  Enrico Stagnini},\n  editor       = {Paolo Fogliaroni and\n                  Andrea Ballatore and\n                  Eliseo Clementini},\n  title        = {Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of\n                  Depth Maps},\n  booktitle    = {Proceedings of Workshops and Posters at the 13th International Conference\n                  on Spatial Information Theory, {COSIT} 2017, September 4-8, 2017,\n                  L'Aquila, Italy},\n  series       = {Lecture Notes in Geoinformation and Cartography},\n  pages        = {41--43},\n  publisher    = {Springer},\n  year         = {2017},\n  url          = {https://doi.org/10.1007/978-3-319-63946-8\\_10},\n  doi          = {10.1007/978-3-319-63946-8\\_10},\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/cosit/StefanoCS17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\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"}; document.write(bibbase_data.data);