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://dblp.org/pid/134/9527.bib&jsonp=1&fullnames=1&filter=authors:Ferrando&jsonp=1&folding=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https://dblp.org/pid/134/9527.bib&jsonp=1&fullnames=1&filter=authors:Ferrando&jsonp=1&folding=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://dblp.org/pid/134/9527.bib&jsonp=1&fullnames=1&filter=authors:Ferrando&jsonp=1&folding=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
  3. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
  4. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2024\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n CoRR, abs/2403.02170. 2024.\n \n\n\n\n
\n\n\n\n \n \n \"VITAMIN:Paper\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-2403-02170,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  title        = {{VITAMIN:} {A} Compositional Framework for Model Checking of Multi-Agent\n                  Systems},\n  journal      = {CoRR},\n  volume       = {abs/2403.02170},\n  year         = {2024},\n  url          = {https://doi.org/10.48550/arXiv.2403.02170},\n  doi          = {10.48550/ARXIV.2403.02170},\n  eprinttype    = {arXiv},\n  eprint       = {2403.02170},\n  timestamp    = {Tue, 02 Apr 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-02170.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 (25)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information.\n \n \n \n \n\n\n \n Francesco Belardinelli; Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n Artif. Intell., 316: 103847. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\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
@article{DBLP:journals/ai/BelardinelliFM23,\n  author       = {Francesco Belardinelli and\n                  Angelo Ferrando and\n                  Vadim Malvone},\n  title        = {An abstraction-refinement framework for verifying strategic properties\n                  in multi-agent systems with imperfect information},\n  journal      = {Artif. Intell.},\n  volume       = {316},\n  pages        = {103847},\n  year         = {2023},\n  url          = {https://doi.org/10.1016/j.artint.2022.103847},\n  doi          = {10.1016/J.ARTINT.2022.103847},\n  timestamp    = {Wed, 08 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ai/BelardinelliFM23.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 Special issue for the 23rd workshop \"from objects to agents\" (WOA 2022).\n \n \n \n \n\n\n \n Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n Intelligenza Artificiale, 17(1): 3–5. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"SpecialPaper\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/ia/FerrandoM23,\n  author       = {Angelo Ferrando and\n                  Viviana Mascardi},\n  title        = {Special issue for the 23rd workshop "from objects to agents" {(WOA}\n                  2022)},\n  journal      = {Intelligenza Artificiale},\n  volume       = {17},\n  number       = {1},\n  pages        = {3--5},\n  year         = {2023},\n  url          = {https://doi.org/10.3233/IA-230015},\n  doi          = {10.3233/IA-230015},\n  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ia/FerrandoM23.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 Incrementally predictive runtime verification.\n \n \n \n \n\n\n \n Angelo Ferrando; and Giorgio Delzanno.\n\n\n \n\n\n\n J. Log. Comput., 33(4): 796–817. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"IncrementallyPaper\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/logcom/FerrandoD23,\n  author       = {Angelo Ferrando and\n                  Giorgio Delzanno},\n  title        = {Incrementally predictive runtime verification},\n  journal      = {J. Log. Comput.},\n  volume       = {33},\n  number       = {4},\n  pages        = {796--817},\n  year         = {2023},\n  url          = {https://doi.org/10.1093/logcom/exad012},\n  doi          = {10.1093/LOGCOM/EXAD012},\n  timestamp    = {Tue, 18 Jul 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/logcom/FerrandoD23.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 RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications.\n \n \n \n \n\n\n \n Débora C. Engelmann; Angelo Ferrando; Alison R. Panisson; Davide Ancona; Rafael H. Bordini; and Viviana Mascardi.\n\n\n \n\n\n\n Robotics, 12(2): 49. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"RV4JaCaPaper\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
@article{DBLP:journals/robotics/EngelmannFPABM23,\n  author       = {D{\\'{e}}bora C. Engelmann and\n                  Angelo Ferrando and\n                  Alison R. Panisson and\n                  Davide Ancona and\n                  Rafael H. Bordini and\n                  Viviana Mascardi},\n  title        = {RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and\n                  Robotic Applications},\n  journal      = {Robotics},\n  volume       = {12},\n  number       = {2},\n  pages        = {49},\n  year         = {2023},\n  url          = {https://doi.org/10.3390/robotics12020049},\n  doi          = {10.3390/ROBOTICS12020049},\n  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/robotics/EngelmannFPABM23.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 a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems.\n \n \n \n \n\n\n \n Angelo Ferrando.\n\n\n \n\n\n\n In Riccardo De Benedictis; Matteo Castiglioni; Diodato Ferraioli; Vadim Malvone; Marco Maratea; Enrico Scala; Luciano Serafini; Ivan Serina; Elisa Tosello; Alessandro Umbrico; and Mauro Vallati., editor(s), Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy, volume 3585, of CEUR Workshop Proceedings, 2023. CEUR-WS.org\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
@inproceedings{DBLP:conf/aiia/000123,\n  author       = {Angelo Ferrando},\n  editor       = {Riccardo De Benedictis and\n                  Matteo Castiglioni and\n                  Diodato Ferraioli and\n                  Vadim Malvone and\n                  Marco Maratea and\n                  Enrico Scala and\n                  Luciano Serafini and\n                  Ivan Serina and\n                  Elisa Tosello and\n                  Alessandro Umbrico and\n                  Mauro Vallati},\n  title        = {Towards a Coalition Refinement Approach in the Strategic Verification\n                  of Multi-Agent Systems},\n  booktitle    = {Proceedings of the the Italian Workshop on Planning and Scheduling,\n                  {RCRA} Workshop on Experimental evaluation of algorithms for solving\n                  problems with combinatorial explosion, and {SPIRIT} Workshop on Strategies,\n                  Prediction, Interaction, and Reasoning in Italy {(IPS-RCRA-SPIRIT}\n                  2023) co-located with 22nd International Conference of the Italian\n                  Association for Artificial Intelligence AIxIA 2023, November 7-9th,\n                  2023, Rome, Italy},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3585},\n  publisher    = {CEUR-WS.org},\n  year         = {2023},\n  url          = {https://ceur-ws.org/Vol-3585/paper21\\_SPIRIT11.pdf},\n  timestamp    = {Tue, 02 Jan 2024 17:44:44 +0100},\n  biburl       = {https://dblp.org/rec/conf/aiia/000123.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 the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Noa Agmon; Bo An; Alessandro Ricci; and William Yeoh., editor(s), Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pages 793–801, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\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
@inproceedings{DBLP:conf/atal/0001M23,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Noa Agmon and\n                  Bo An and\n                  Alessandro Ricci and\n                  William Yeoh},\n  title        = {Towards the Verification of Strategic Properties in Multi-Agent Systems\n                  with Imperfect Information},\n  booktitle    = {Proceedings of the 2023 International Conference on Autonomous Agents\n                  and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May\n                  2023 - 2 June 2023},\n  pages        = {793--801},\n  publisher    = {{ACM}},\n  year         = {2023},\n  url          = {https://dl.acm.org/doi/10.5555/3545946.3598713},\n  doi          = {10.5555/3545946.3598713},\n  timestamp    = {Tue, 23 May 2023 14:27:14 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/0001M23.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 Failure Handling in BDI Plans via Runtime Enforcement.\n \n \n \n \n\n\n \n Angelo Ferrando; and Rafael C. Cardoso.\n\n\n \n\n\n\n In Kobi Gal; Ann Nowé; Grzegorz J. Nalepa; Roy Fairstein; and Roxana Radulescu., editor(s), ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), volume 372, of Frontiers in Artificial Intelligence and Applications, pages 716–723, 2023. IOS Press\n \n\n\n\n
\n\n\n\n \n \n \"FailurePaper\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/ecai/0001023,\n  author       = {Angelo Ferrando and\n                  Rafael C. Cardoso},\n  editor       = {Kobi Gal and\n                  Ann Now{\\'{e}} and\n                  Grzegorz J. Nalepa and\n                  Roy Fairstein and\n                  Roxana Radulescu},\n  title        = {Failure Handling in {BDI} Plans via Runtime Enforcement},\n  booktitle    = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,\n                  September 30 - October 4, 2023, Krak{\\'{o}}w, Poland - Including 12th\n                  Conference on Prestigious Applications of Intelligent Systems {(PAIS}\n                  2023)},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {372},\n  pages        = {716--723},\n  publisher    = {{IOS} Press},\n  year         = {2023},\n  url          = {https://doi.org/10.3233/FAIA230336},\n  doi          = {10.3233/FAIA230336},\n  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ecai/0001023.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 Forward Responsibility in BDI Agents.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; Joe Collenette; Louise A. Dennis; and Michael Fisher.\n\n\n \n\n\n\n In Andrei Ciortea; Mehdi Dastani; and Jieting Luo., editor(s), Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers, volume 14378, of Lecture Notes in Computer Science, pages 3–22, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\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/emas/CardosoFCDF23,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Joe Collenette and\n                  Louise A. Dennis and\n                  Michael Fisher},\n  editor       = {Andrei Ciortea and\n                  Mehdi Dastani and\n                  Jieting Luo},\n  title        = {Towards Forward Responsibility in {BDI} Agents},\n  booktitle    = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}\n                  2023, London, UK, May 29-30, 2023, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14378},\n  pages        = {3--22},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-48539-8\\_1},\n  doi          = {10.1007/978-3-031-48539-8\\_1},\n  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/emas/CardosoFCDF23.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 Fantastic MASs and Where to Find Them: First Results and Lesson Learned.\n \n \n \n \n\n\n \n Daniela Briola; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Andrei Ciortea; Mehdi Dastani; and Jieting Luo., editor(s), Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers, volume 14378, of Lecture Notes in Computer Science, pages 233–252, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"FantasticPaper\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/emas/BriolaFM23,\n  author       = {Daniela Briola and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Andrei Ciortea and\n                  Mehdi Dastani and\n                  Jieting Luo},\n  title        = {Fantastic MASs and Where to Find Them: First Results and Lesson Learned},\n  booktitle    = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}\n                  2023, London, UK, May 29-30, 2023, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14378},\n  pages        = {233--252},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-48539-8\\_16},\n  doi          = {10.1007/978-3-031-48539-8\\_16},\n  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/emas/BriolaFM23.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 Integrating Ontologies and Cognitive Conversational Agents in On2Conv.\n \n \n \n \n\n\n \n Zeinab Namakizadeh Esfahani; Débora Cristina Engelmann; Angelo Ferrando; Massimiliano Margarone; and Viviana Mascardi.\n\n\n \n\n\n\n In Vadim Malvone; and Aniello Murano., editor(s), Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, volume 14282, of Lecture Notes in Computer Science, pages 66–82, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"IntegratingPaper\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/eumas/EsfahaniEFMM23,\n  author       = {Zeinab Namakizadeh Esfahani and\n                  D{\\'{e}}bora Cristina Engelmann and\n                  Angelo Ferrando and\n                  Massimiliano Margarone and\n                  Viviana Mascardi},\n  editor       = {Vadim Malvone and\n                  Aniello Murano},\n  title        = {Integrating Ontologies and Cognitive Conversational Agents in On2Conv},\n  booktitle    = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,\n                  Italy, September 14-15, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14282},\n  pages        = {66--82},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-43264-4\\_5},\n  doi          = {10.1007/978-3-031-43264-4\\_5},\n  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/eumas/EsfahaniEFMM23.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 Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition.\n \n \n \n \n\n\n \n Leandro Buss Becker; Anthony Downs; Craig Schlenoff; Justin Albrecht; Zeid Kootbally; Angelo Ferrando; Rafael C. Cardoso; and Michael Fisher.\n\n\n \n\n\n\n In Vadim Malvone; and Aniello Murano., editor(s), Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, volume 14282, of Lecture Notes in Computer Science, pages 214–227, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"UsingPaper\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/eumas/BeckerDSAKFCF23,\n  author       = {Leandro Buss Becker and\n                  Anthony Downs and\n                  Craig Schlenoff and\n                  Justin Albrecht and\n                  Zeid Kootbally and\n                  Angelo Ferrando and\n                  Rafael C. Cardoso and\n                  Michael Fisher},\n  editor       = {Vadim Malvone and\n                  Aniello Murano},\n  title        = {Using a {BDI} Agent to Represent a Human on the Factory Floor of the\n                  {ARIAC} 2023 Industrial Automation Competition},\n  booktitle    = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,\n                  Italy, September 14-15, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14282},\n  pages        = {214--227},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-43264-4\\_14},\n  doi          = {10.1007/978-3-031-43264-4\\_14},\n  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/eumas/BeckerDSAKFCF23.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 AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO.\n \n \n \n \n\n\n \n Mahyar Sadeghi Garjan; Tommy Chaanine; Cecilia Pasquale; Vito Paolo Pastore; and Angelo Ferrando.\n\n\n \n\n\n\n In Vadim Malvone; and Aniello Murano., editor(s), Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, volume 14282, of Lecture Notes in Computer Science, pages 396–405, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AGAMAS:Paper\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/eumas/GarjanCPPF23,\n  author       = {Mahyar Sadeghi Garjan and\n                  Tommy Chaanine and\n                  Cecilia Pasquale and\n                  Vito Paolo Pastore and\n                  Angelo Ferrando},\n  editor       = {Vadim Malvone and\n                  Aniello Murano},\n  title        = {{AGAMAS:} {A} New Agent-Oriented Traffic Simulation Framework for\n                  {SUMO}},\n  booktitle    = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,\n                  Italy, September 14-15, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14282},\n  pages        = {396--405},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-43264-4\\_25},\n  doi          = {10.1007/978-3-031-43264-4\\_25},\n  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/eumas/GarjanCPPF23.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 Runtime Verification of Hash Code in Mutable Classes.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Aaron Tomb., editor(s), Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pages 25–31, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n \"RuntimePaper\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/ftfjp/Ancona0M23,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Aaron Tomb},\n  title        = {Runtime Verification of Hash Code in Mutable Classes},\n  booktitle    = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques\n                  for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},\n  pages        = {25--31},\n  publisher    = {{ACM}},\n  year         = {2023},\n  url          = {https://doi.org/10.1145/3605156.3606452},\n  doi          = {10.1145/3605156.3606452},\n  timestamp    = {Mon, 17 Jul 2023 13:06:47 +0200},\n  biburl       = {https://dblp.org/rec/conf/ftfjp/Ancona0M23.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 Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives.\n \n \n \n \n\n\n \n Davide Catta; Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Ana Paula Rocha; Luc Steels; and H. Jaap Herik., editor(s), Agents and Artificial Intelligence - 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers, volume 14546, of Lecture Notes in Computer Science, pages 72–94, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"CoalitionPaper\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/icaart/CattaFM23,\n  author       = {Davide Catta and\n                  Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Ana Paula Rocha and\n                  Luc Steels and\n                  H. Jaap van den Herik},\n  title        = {Coalition Alternating-Time Temporal Logic: {A} Logic to Find Good\n                  Coalitions to Achieve Strategic Objectives},\n  booktitle    = {Agents and Artificial Intelligence - 15th International Conference,\n                  {ICAART} 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected\n                  Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14546},\n  pages        = {72--94},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-55326-4\\_4},\n  doi          = {10.1007/978-3-031-55326-4\\_4},\n  timestamp    = {Mon, 25 Mar 2024 20:43:52 +0100},\n  biburl       = {https://dblp.org/rec/conf/icaart/CattaFM23.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 How to Find Good Coalitions to Achieve Strategic Objectives.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Ana Paula Rocha; Luc Steels; and H. Jaap Herik., editor(s), Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 1, Lisbon, Portugal, February 22-24, 2023, pages 105–113, 2023. SCITEPRESS\n \n\n\n\n
\n\n\n\n \n \n \"HowPaper\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/icaart/0001M23,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Ana Paula Rocha and\n                  Luc Steels and\n                  H. Jaap van den Herik},\n  title        = {How to Find Good Coalitions to Achieve Strategic Objectives},\n  booktitle    = {Proceedings of the 15th International Conference on Agents and Artificial\n                  Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February\n                  22-24, 2023},\n  pages        = {105--113},\n  publisher    = {{SCITEPRESS}},\n  year         = {2023},\n  url          = {https://doi.org/10.5220/0011778700003393},\n  doi          = {10.5220/0011778700003393},\n  timestamp    = {Tue, 09 May 2023 16:56:35 +0200},\n  biburl       = {https://dblp.org/rec/conf/icaart/0001M23.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 Scalable Verification of Strategy Logic through Three-Valued Abstraction.\n \n \n \n \n\n\n \n Francesco Belardinelli; Angelo Ferrando; Wojciech Jamroga; Vadim Malvone; and Aniello Murano.\n\n\n \n\n\n\n In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pages 46–54, 2023. ijcai.org\n \n\n\n\n
\n\n\n\n \n \n \"ScalablePaper\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/ijcai/Belardinelli0JM23,\n  author       = {Francesco Belardinelli and\n                  Angelo Ferrando and\n                  Wojciech Jamroga and\n                  Vadim Malvone and\n                  Aniello Murano},\n  title        = {Scalable Verification of Strategy Logic through Three-Valued Abstraction},\n  booktitle    = {Proceedings of the Thirty-Second International Joint Conference on\n                  Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,\n                  SAR, China},\n  pages        = {46--54},\n  publisher    = {ijcai.org},\n  year         = {2023},\n  url          = {https://doi.org/10.24963/ijcai.2023/6},\n  doi          = {10.24963/IJCAI.2023/6},\n  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},\n  biburl       = {https://dblp.org/rec/conf/ijcai/Belardinelli0JM23.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 A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs.\n \n \n \n \n\n\n \n Tommy Chaanine; Angelo Ferrando; C. Pasquale; Vito Paolo Pastore; Mahyar Sadeghi Garjan; and S. Siri.\n\n\n \n\n\n\n In 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022, pages 5198–5203, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"APaper\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/itsc/Chaanine0PPGS23,\n  author       = {Tommy Chaanine and\n                  Angelo Ferrando and\n                  C. Pasquale and\n                  Vito Paolo Pastore and\n                  Mahyar Sadeghi Garjan and\n                  S. Siri},\n  title        = {A Control-Oriented Highway Traffic Model with Multiple Clusters of\n                  CAVs},\n  booktitle    = {25th {IEEE} International Conference on Intelligent Transportation\n                  Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},\n  pages        = {5198--5203},\n  publisher    = {{IEEE}},\n  year         = {2023},\n  url          = {https://doi.org/10.1109/ITSC57777.2023.10421830},\n  doi          = {10.1109/ITSC57777.2023.10421830},\n  timestamp    = {Thu, 22 Feb 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/itsc/Chaanine0PPGS23.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 HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification.\n \n \n \n \n\n\n \n Angelo Ferrando; and Giorgio Delzanno.\n\n\n \n\n\n\n In Olivier Bournez; Enrico Formenti; and Igor Potapov., editor(s), Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings, volume 14235, of Lecture Notes in Computer Science, pages 171–182, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"HyperMonitor:Paper\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/rp/FerrandoD23,\n  author       = {Angelo Ferrando and\n                  Giorgio Delzanno},\n  editor       = {Olivier Bournez and\n                  Enrico Formenti and\n                  Igor Potapov},\n  title        = {HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification},\n  booktitle    = {Reachability Problems - 17th International Conference, {RP} 2023,\n                  Nice, France, October 11-13, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14235},\n  pages        = {171--182},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-45286-4\\_13},\n  doi          = {10.1007/978-3-031-45286-4\\_13},\n  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/rp/FerrandoD23.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 RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.\n \n \n \n \n\n\n \n Angelo Ferrando; Andrea Gatti; and Viviana Mascardi.\n\n\n \n\n\n\n In Davide Ancona; and Giorgio Audrito., editor(s), Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023, pages 1–8, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n \"RV4Rasa:Paper\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/vortex/0001GM23,\n  author       = {Angelo Ferrando and\n                  Andrea Gatti and\n                  Viviana Mascardi},\n  editor       = {Davide Ancona and\n                  Giorgio Audrito},\n  title        = {RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for\n                  Verifying ChatBots in Rasa},\n  booktitle    = {Proceedings of the 6th International Workshop on Verification and\n                  Monitoring at Runtime Execution, {VORTEX} 2023, Seattle, WA, USA,\n                  18 July 2023},\n  pages        = {1--8},\n  publisher    = {{ACM}},\n  year         = {2023},\n  url          = {https://doi.org/10.1145/3605159.3605855},\n  doi          = {10.1145/3605159.3605855},\n  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/vortex/0001GM23.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 HYASM: A Tool to Verify Hierarchical Systems.\n \n \n \n \n\n\n \n Angelo Ferrando; Vadim Malvone; Aniello Murano; and Silvia Stranieri.\n\n\n \n\n\n\n In IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, Paris, France, December 14-16, 2023, pages 1–6, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"HYASM:Paper\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/wetice/FerrandoMMS23,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone and\n                  Aniello Murano and\n                  Silvia Stranieri},\n  title        = {{HYASM:} {A} Tool to Verify Hierarchical Systems},\n  booktitle    = {{IEEE} International Conference on Enabling Technologies: Infrastructure\n                  for Collaborative Enterprises, {WETICE} 2023, Paris, France, December\n                  14-16, 2023},\n  pages        = {1--6},\n  publisher    = {{IEEE}},\n  year         = {2023},\n  url          = {https://doi.org/10.1109/WETICE57085.2023.10477788},\n  doi          = {10.1109/WETICE57085.2023.10477788},\n  timestamp    = {Mon, 08 Apr 2024 17:30:24 +0200},\n  biburl       = {https://dblp.org/rec/conf/wetice/FerrandoMMS23.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 RMLGym: a Formal Reward Machine Framework for Reinforcement Learning.\n \n \n \n \n\n\n \n Hisham Unniyankal; Francesco Belardinelli; Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Rino Falcone; Cristiano Castelfranchi; Alessandro Sapienza; and Filippo Cantucci., editor(s), Proceedings of the 24th Workshop \"From Objects to Agents\", Roma, Italy, November 6-8, 2023, volume 3579, of CEUR Workshop Proceedings, pages 1–16, 2023. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"RMLGym:Paper\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
@inproceedings{DBLP:conf/woa/UnniyankalB0M23,\n  author       = {Hisham Unniyankal and\n                  Francesco Belardinelli and\n                  Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Rino Falcone and\n                  Cristiano Castelfranchi and\n                  Alessandro Sapienza and\n                  Filippo Cantucci},\n  title        = {RMLGym: a Formal Reward Machine Framework for Reinforcement Learning},\n  booktitle    = {Proceedings of the 24th Workshop "From Objects to Agents", Roma, Italy,\n                  November 6-8, 2023},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3579},\n  pages        = {1--16},\n  publisher    = {CEUR-WS.org},\n  year         = {2023},\n  url          = {https://ceur-ws.org/Vol-3579/paper1.pdf},\n  timestamp    = {Thu, 14 Dec 2023 18:10:23 +0100},\n  biburl       = {https://dblp.org/rec/conf/woa/UnniyankalB0M23.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 Runtime Verification for Trustworthy Computing.\n \n \n \n \n\n\n \n Robert Abela; Christian Colombo; Axel Curmi; Mattea Fenech; Mark Vella; and Angelo Ferrando.\n\n\n \n\n\n\n In Angelo Ferrando; and Rafael Cardoso., editor(s), Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023, volume 391, of EPTCS, pages 49–62, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"RuntimePaper\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:journals/corr/abs-2310-02341,\n  author       = {Robert Abela and\n                  Christian Colombo and\n                  Axel Curmi and\n                  Mattea Fenech and\n                  Mark Vella and\n                  Angelo Ferrando},\n  editor       = {Angelo Ferrando and\n                  Rafael Cardoso},\n  title        = {Runtime Verification for Trustworthy Computing},\n  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable\n                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},\n  series       = {{EPTCS}},\n  volume       = {391},\n  pages        = {49--62},\n  year         = {2023},\n  url          = {https://doi.org/10.4204/EPTCS.391.7},\n  doi          = {10.4204/EPTCS.391.7},\n  timestamp    = {Mon, 06 Nov 2023 15:17:28 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02341.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 3vLTL: A Tool to Generate Automata for Three-valued LTL.\n \n \n \n \n\n\n \n Francesco Belardinelli; Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Marie Farrell; Matt Luckcuck; Mario Gleirscher; and Maike Schwammberger., editor(s), Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023, volume 395, of EPTCS, pages 180–187, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"3vLTL:Paper\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:journals/corr/abs-2311-09787,\n  author       = {Francesco Belardinelli and\n                  Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Marie Farrell and\n                  Matt Luckcuck and\n                  Mario Gleirscher and\n                  Maike Schwammberger},\n  title        = {3vLTL: {A} Tool to Generate Automata for Three-valued {LTL}},\n  booktitle    = {Proceedings Fifth International Workshop on Formal Methods for Autonomous\n                  Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of\n                  November 2023},\n  series       = {{EPTCS}},\n  volume       = {395},\n  pages        = {180--187},\n  year         = {2023},\n  url          = {https://doi.org/10.4204/EPTCS.395.13},\n  doi          = {10.4204/EPTCS.395.13},\n  timestamp    = {Fri, 22 Dec 2023 16:43:30 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-09787.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 Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In David Scott Warren; Verónica Dahl; Thomas Eiter; Manuel V. Hermenegildo; Robert A. Kowalski; and Francesca Rossi., editor(s), Prolog: The Next 50 Years, volume 13900, of Lecture Notes in Computer Science, pages 300–317. Springer, 2023.\n \n\n\n\n
\n\n\n\n \n \n \"ExploitingPaper\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
@incollection{DBLP:series/lncs/Ancona0M23,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {David Scott Warren and\n                  Ver{\\'{o}}nica Dahl and\n                  Thomas Eiter and\n                  Manuel V. Hermenegildo and\n                  Robert A. Kowalski and\n                  Francesca Rossi},\n  title        = {Exploiting Logic Programming for Runtime Verification: Current and\n                  Future Perspectives},\n  booktitle    = {Prolog: The Next 50 Years},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13900},\n  pages        = {300--317},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-35254-6\\_25},\n  doi          = {10.1007/978-3-031-35254-6\\_25},\n  timestamp    = {Tue, 23 Jan 2024 13:25:47 +0100},\n  biburl       = {https://dblp.org/rec/series/lncs/Ancona0M23.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 Scalable Verification of Strategy Logic through Three-valued Abstraction.\n \n \n \n \n\n\n \n Francesco Belardinelli; Angelo Ferrando; Wojciech Jamroga; Vadim Malvone; and Aniello Murano.\n\n\n \n\n\n\n CoRR, abs/2310.17219. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"ScalablePaper\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-2310-17219,\n  author       = {Francesco Belardinelli and\n                  Angelo Ferrando and\n                  Wojciech Jamroga and\n                  Vadim Malvone and\n                  Aniello Murano},\n  title        = {Scalable Verification of Strategy Logic through Three-valued Abstraction},\n  journal      = {CoRR},\n  volume       = {abs/2310.17219},\n  year         = {2023},\n  url          = {https://doi.org/10.48550/arXiv.2310.17219},\n  doi          = {10.48550/ARXIV.2310.17219},\n  eprinttype    = {arXiv},\n  eprint       = {2310.17219},\n  timestamp    = {Thu, 02 Nov 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-17219.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 (15)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study.\n \n \n \n \n\n\n \n Gianvito Losapio; Federico Minutoli; Viviana Mascardi; and Angelo Ferrando.\n\n\n \n\n\n\n Intelligenza Artificiale, 16(1): 49–67. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"SmartPaper\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/ia/LosapioMMF22,\n  author       = {Gianvito Losapio and\n                  Federico Minutoli and\n                  Viviana Mascardi and\n                  Angelo Ferrando},\n  title        = {Smart balancing of E-scooter sharing systems via deep reinforcement\n                  learning: a preliminary study},\n  journal      = {Intelligenza Artificiale},\n  volume       = {16},\n  number       = {1},\n  pages        = {49--67},\n  year         = {2022},\n  url          = {https://doi.org/10.3233/IA-210126},\n  doi          = {10.3233/IA-210126},\n  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ia/LosapioMMF22.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 Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper).\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Riccardo De Benedictis; Nicola Gatti; Marco Maratea; Andrea Micheli; Aniello Murano; Enrico Scala; Luciano Serafini; Ivan Serina; Alessandro Umbrico; and Mauro Vallati., editor(s), Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy, volume 3345, of CEUR Workshop Proceedings, 2022. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"GivePaper\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
@inproceedings{DBLP:conf/aiia/0001M22,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Riccardo De Benedictis and\n                  Nicola Gatti and\n                  Marco Maratea and\n                  Andrea Micheli and\n                  Aniello Murano and\n                  Enrico Scala and\n                  Luciano Serafini and\n                  Ivan Serina and\n                  Alessandro Umbrico and\n                  Mauro Vallati},\n  title        = {Give Me a Hand: How to Use Model Checking for Multi-Agent Systems\n                  to Help Runtime Verification and Vice Versa (Short Paper)},\n  booktitle    = {Proceedings of the 10th Italian workshop on Planning and Scheduling\n                  {(IPS} 2022), {RCRA} Incontri {E} Confronti (RiCeRcA 2022), and the\n                  workshop on Strategies, Prediction, Interaction, and Reasoning in\n                  Italy {(SPIRIT} 2022) co-located with 21st International Conference\n                  of the Italian Association for Artificial Intelligence (AIxIA 2022),\n                  November 28 - December 2, 2022, University of Udine, Udine, Italy},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3345},\n  publisher    = {CEUR-WS.org},\n  year         = {2022},\n  url          = {https://ceur-ws.org/Vol-3345/paper16\\_Spirit5.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},\n  biburl       = {https://dblp.org/rec/conf/aiia/0001M22.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 Safety Shields, an Automated Failure Handling Mechanism for BDI Agents.\n \n \n \n \n\n\n \n Angelo Ferrando; and Rafael C. Cardoso.\n\n\n \n\n\n\n In Piotr Faliszewski; Viviana Mascardi; Catherine Pelachaud; and Matthew E. Taylor., editor(s), 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022, pages 1589–1591, 2022. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)\n \n\n\n\n
\n\n\n\n \n \n \"SafetyPaper\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
@inproceedings{DBLP:conf/atal/0001C22,\n  author       = {Angelo Ferrando and\n                  Rafael C. Cardoso},\n  editor       = {Piotr Faliszewski and\n                  Viviana Mascardi and\n                  Catherine Pelachaud and\n                  Matthew E. Taylor},\n  title        = {Safety Shields, an Automated Failure Handling Mechanism for {BDI}\n                  Agents},\n  booktitle    = {21st International Conference on Autonomous Agents and Multiagent\n                  Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},\n  pages        = {1589--1591},\n  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems\n                  {(IFAAMAS)}},\n  year         = {2022},\n  url          = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1589.pdf},\n  doi          = {10.5555/3535850.3536044},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/0001C22.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 Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Roberta Calegari; Giovanni Ciatto; and Andrea Omicini., editor(s), Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022, volume 3204, of CEUR Workshop Proceedings, pages 154–170, 2022. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"ExploitingPaper\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
@inproceedings{DBLP:conf/cilc/AnconaFM22,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Roberta Calegari and\n                  Giovanni Ciatto and\n                  Andrea Omicini},\n  title        = {Exploiting Probabilistic Trace Expressions for Decentralized Runtime\n                  Verification with Gaps},\n  booktitle    = {Proceedings of the 37th Italian Conference on Computational Logic,\n                  Bologna, Italy, June 29 - July 1, 2022},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3204},\n  pages        = {154--170},\n  publisher    = {CEUR-WS.org},\n  year         = {2022},\n  url          = {https://ceur-ws.org/Vol-3204/paper\\_17.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},\n  biburl       = {https://dblp.org/rec/conf/cilc/AnconaFM22.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 Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Dorothea Baumeister; and Jörg Rothe., editor(s), Multi-Agent Systems - 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14-16, 2022, Proceedings, volume 13442, of Lecture Notes in Computer Science, pages 22–40, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"MindPaper\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/eumas/AnconaFM22,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Dorothea Baumeister and\n                  J{\\"{o}}rg Rothe},\n  title        = {Mind the Gap! Runtime Verification of Partially Observable MASs with\n                  Probabilistic Trace Expressions},\n  booktitle    = {Multi-Agent Systems - 19th European Conference, {EUMAS} 2022, D{\\"{u}}sseldorf,\n                  Germany, September 14-16, 2022, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13442},\n  pages        = {22--40},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-20614-6\\_2},\n  doi          = {10.1007/978-3-031-20614-6\\_2},\n  timestamp    = {Wed, 21 Dec 2022 18:19:12 +0100},\n  biburl       = {https://dblp.org/rec/conf/eumas/AnconaFM22.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 Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic.\n \n \n \n \n\n\n \n Giorgio Delzanno; Angelo Ferrando; Giovanna Guerrini; Matteo Pusceddu; and Giovanni Zanone.\n\n\n \n\n\n\n In Giovanni Fulantelli; Daniel Burgos; Gabriella Casalino; Marta Cimitile; Giosuè Lo Bosco; and Davide Taibi., editor(s), Higher Education Learning Methodologies and Technologies Online - 4th International Conference, HELMeTO 2022, Palermo, Italy, September 21-23, 2022, Revised Selected Papers, volume 1779, of Communications in Computer and Information Science, pages 497–508, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"CodingPaper\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/helmeto/Delzanno0GPZ22,\n  author       = {Giorgio Delzanno and\n                  Angelo Ferrando and\n                  Giovanna Guerrini and\n                  Matteo Pusceddu and\n                  Giovanni Zanone},\n  editor       = {Giovanni Fulantelli and\n                  Daniel Burgos and\n                  Gabriella Casalino and\n                  Marta Cimitile and\n                  Giosu{\\`{e}} Lo Bosco and\n                  Davide Taibi},\n  title        = {Coding Maps: {A} Distance Laboratory on Computational Thinking Inspired\n                  by Modal Logic},\n  booktitle    = {Higher Education Learning Methodologies and Technologies Online -\n                  4th International Conference, HELMeTO 2022, Palermo, Italy, September\n                  21-23, 2022, Revised Selected Papers},\n  series       = {Communications in Computer and Information Science},\n  volume       = {1779},\n  pages        = {497--508},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-29800-4\\_38},\n  doi          = {10.1007/978-3-031-29800-4\\_38},\n  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/helmeto/Delzanno0GPZ22.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 RVPLAN: Runtime Verification of Assumptions in Automated Planning.\n \n \n \n \n\n\n \n Angelo Ferrando; and Rafael C. Cardoso.\n\n\n \n\n\n\n In Ana Paula Rocha; Luc Steels; and H. Jaap Herik., editor(s), Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 2, Online Streaming, February 3-5, 2022, pages 67–77, 2022. SCITEPRESS\n \n\n\n\n
\n\n\n\n \n \n \"RVPLAN:Paper\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
@inproceedings{DBLP:conf/icaart/FerrandoC22,\n  author       = {Angelo Ferrando and\n                  Rafael C. Cardoso},\n  editor       = {Ana Paula Rocha and\n                  Luc Steels and\n                  H. Jaap van den Herik},\n  title        = {{RVPLAN:} Runtime Verification of Assumptions in Automated Planning},\n  booktitle    = {Proceedings of the 14th International Conference on Agents and Artificial\n                  Intelligence, {ICAART} 2022, Volume 2, Online Streaming, February\n                  3-5, 2022},\n  pages        = {67--77},\n  publisher    = {{SCITEPRESS}},\n  year         = {2022},\n  url          = {https://doi.org/10.5220/0010776500003116},\n  doi          = {10.5220/0010776500003116},\n  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icaart/FerrandoC22.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 Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.\n \n \n \n \n\n\n \n Marie Farrell; Nikos Mavrakis; Angelo Ferrando; Clare Dixon; and Yang Gao.\n\n\n \n\n\n\n In Maurice H. Beek; and Rosemary Monahan., editor(s), Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, volume 13274, of Lecture Notes in Computer Science, pages 39–44, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Journal-First:Paper\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/ifm/FarrellMFDG22,\n  author       = {Marie Farrell and\n                  Nikos Mavrakis and\n                  Angelo Ferrando and\n                  Clare Dixon and\n                  Yang Gao},\n  editor       = {Maurice H. ter Beek and\n                  Rosemary Monahan},\n  title        = {Journal-First: Formal Modelling and Runtime Verification of Autonomous\n                  Grasping for Active Debris Removal},\n  booktitle    = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,\n                  Lugano, Switzerland, June 7-10, 2022, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13274},\n  pages        = {39--44},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-07727-2\\_3},\n  doi          = {10.1007/978-3-031-07727-2\\_3},\n  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/ifm/FarrellMFDG22.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 the Combination of Model Checking and Runtime Verification on Multi-agent Systems.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Frank Dignum; Philippe Mathieu; Juan Manuel Corchado; and Fernando Prieta., editor(s), Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection - 20th International Conference, PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings, volume 13616, of Lecture Notes in Computer Science, pages 140–152, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\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/paams/FerrandoM22,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Frank Dignum and\n                  Philippe Mathieu and\n                  Juan Manuel Corchado and\n                  Fernando de la Prieta},\n  title        = {Towards the Combination of Model Checking and Runtime Verification\n                  on Multi-agent Systems},\n  booktitle    = {Advances in Practical Applications of Agents, Multi-Agent Systems,\n                  and Complex Systems Simulation. The {PAAMS} Collection - 20th International\n                  Conference, {PAAMS} 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13616},\n  pages        = {140--152},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-18192-4\\_12},\n  doi          = {10.1007/978-3-031-18192-4\\_12},\n  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/paams/FerrandoM22.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 Runtime Verification with Imperfect Information Through Indistinguishability Relations.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Bernd-Holger Schlingloff; and Ming Chai., editor(s), Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, volume 13550, of Lecture Notes in Computer Science, pages 335–351, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"RuntimePaper\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/sefm/FerrandoM22,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Bernd{-}Holger Schlingloff and\n                  Ming Chai},\n  title        = {Runtime Verification with Imperfect Information Through Indistinguishability\n                  Relations},\n  booktitle    = {Software Engineering and Formal Methods - 20th International Conference,\n                  {SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13550},\n  pages        = {335--351},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-17108-6\\_21},\n  doi          = {10.1007/978-3-031-17108-6\\_21},\n  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/sefm/FerrandoM22.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 RV4JaCa - Runtime Verification for Multi-Agent Systems.\n \n \n \n \n\n\n \n Débora C. Engelmann; Angelo Ferrando; Alison R. Panisson; Davide Ancona; Rafael H. Bordini; and Viviana Mascardi.\n\n\n \n\n\n\n In Rafael C. Cardoso; Angelo Ferrando; Fabio Papacchini; Mehrnoosh Askarpour; and Louise A. Dennis., editor(s), Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022, volume 362, of EPTCS, pages 23–36, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"RV4JaCaPaper\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:journals/corr/abs-2207-09708,\n  author       = {D{\\'{e}}bora C. Engelmann and\n                  Angelo Ferrando and\n                  Alison R. Panisson and\n                  Davide Ancona and\n                  Rafael H. Bordini and\n                  Viviana Mascardi},\n  editor       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Fabio Papacchini and\n                  Mehrnoosh Askarpour and\n                  Louise A. Dennis},\n  title        = {RV4JaCa - Runtime Verification for Multi-Agent Systems},\n  booktitle    = {Proceedings of the Second Workshop on Agents and Robots for reliable\n                  Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July\n                  2022},\n  series       = {{EPTCS}},\n  volume       = {362},\n  pages        = {23--36},\n  year         = {2022},\n  url          = {https://doi.org/10.4204/EPTCS.362.5},\n  doi          = {10.4204/EPTCS.362.5},\n  timestamp    = {Wed, 28 Sep 2022 08:59:54 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-09708.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 Extending Attack-Fault Trees with Runtime Verification.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; and Michael Fisher.\n\n\n \n\n\n\n In Matt Luckcuck; and Marie Farrell., editor(s), Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022, volume 371, of EPTCS, pages 193–207, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"ExtendingPaper\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:journals/corr/abs-2209-14044,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Michael Fisher},\n  editor       = {Matt Luckcuck and\n                  Marie Farrell},\n  title        = {Extending Attack-Fault Trees with Runtime Verification},\n  booktitle    = {Proceedings Fourth International Workshop on Formal Methods for Autonomous\n                  Systems {(FMAS)} and Fourth International Workshop on Automated and\n                  verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,\n                  and Fourth International Workshop on Automated and verifiable Software\n                  sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September\n                  2022},\n  series       = {{EPTCS}},\n  volume       = {371},\n  pages        = {193--207},\n  year         = {2022},\n  url          = {https://doi.org/10.4204/EPTCS.371.14},\n  doi          = {10.4204/EPTCS.371.14},\n  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-14044.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 the Combination of Model Checking and Runtime Verification on Multi-Agent Systems.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n CoRR, abs/2202.09344. 2022.\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-2202-09344,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  title        = {Towards the Combination of Model Checking and Runtime Verification\n                  on Multi-Agent Systems},\n  journal      = {CoRR},\n  volume       = {abs/2202.09344},\n  year         = {2022},\n  url          = {https://arxiv.org/abs/2202.09344},\n  eprinttype    = {arXiv},\n  eprint       = {2202.09344},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-09344.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 A Compositional Approach to Verifying Modular Robotic Systems.\n \n \n \n \n\n\n \n Matt Luckcuck; Marie Farrell; Angelo Ferrando; Rafael C. Cardoso; Louise A. Dennis; and Michael Fisher.\n\n\n \n\n\n\n CoRR, abs/2208.05507. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\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-2208-05507,\n  author       = {Matt Luckcuck and\n                  Marie Farrell and\n                  Angelo Ferrando and\n                  Rafael C. Cardoso and\n                  Louise A. Dennis and\n                  Michael Fisher},\n  title        = {A Compositional Approach to Verifying Modular Robotic Systems},\n  journal      = {CoRR},\n  volume       = {abs/2208.05507},\n  year         = {2022},\n  url          = {https://doi.org/10.48550/arXiv.2208.05507},\n  doi          = {10.48550/ARXIV.2208.05507},\n  eprinttype    = {arXiv},\n  eprint       = {2208.05507},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-05507.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 Ain't No Stopping Us Monitoring Now.\n \n \n \n \n\n\n \n Luca Ciccone; Francesco Dagnino; and Angelo Ferrando.\n\n\n \n\n\n\n CoRR, abs/2211.11544. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Ain'tPaper\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-2211-11544,\n  author       = {Luca Ciccone and\n                  Francesco Dagnino and\n                  Angelo Ferrando},\n  title        = {Ain't No Stopping Us Monitoring Now},\n  journal      = {CoRR},\n  volume       = {abs/2211.11544},\n  year         = {2022},\n  url          = {https://doi.org/10.48550/arXiv.2211.11544},\n  doi          = {10.48550/ARXIV.2211.11544},\n  eprinttype    = {arXiv},\n  eprint       = {2211.11544},\n  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-11544.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 (22)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Review of Agent-Based Programming for Multi-Agent Systems.\n \n \n \n \n\n\n \n Rafael C. Cardoso; and Angelo Ferrando.\n\n\n \n\n\n\n Comput., 10(2): 16. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\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
@article{DBLP:journals/computers/CardosoF21,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando},\n  title        = {A Review of Agent-Based Programming for Multi-Agent Systems},\n  journal      = {Comput.},\n  volume       = {10},\n  number       = {2},\n  pages        = {16},\n  year         = {2021},\n  url          = {https://doi.org/10.3390/computers10020016},\n  doi          = {10.3390/COMPUTERS10020016},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/computers/CardosoF21.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 Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.\n \n \n \n \n\n\n \n Marie Farrell; Nikos Mavrakis; Angelo Ferrando; Clare Dixon; and Yang Gao.\n\n\n \n\n\n\n Frontiers Robotics AI, 8: 639282. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"FormalPaper\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/FarrellMFDG21,\n  author       = {Marie Farrell and\n                  Nikos Mavrakis and\n                  Angelo Ferrando and\n                  Clare Dixon and\n                  Yang Gao},\n  title        = {Formal Modelling and Runtime Verification of Autonomous Grasping for\n                  Active Debris Removal},\n  journal      = {Frontiers Robotics {AI}},\n  volume       = {8},\n  pages        = {639282},\n  year         = {2021},\n  url          = {https://doi.org/10.3389/frobt.2021.639282},\n  doi          = {10.3389/FROBT.2021.639282},\n  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/firai/FarrellMFDG21.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 Bridging the gap between single- and multi-model predictive runtime verification.\n \n \n \n \n\n\n \n Angelo Ferrando; Rafael C. Cardoso; Marie Farrell; Matt Luckcuck; Fabio Papacchini; Michael Fisher; and Viviana Mascardi.\n\n\n \n\n\n\n Formal Methods Syst. Des., 59(1): 44–76. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"BridgingPaper\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/FerrandoCFLPFM21,\n  author       = {Angelo Ferrando and\n                  Rafael C. Cardoso and\n                  Marie Farrell and\n                  Matt Luckcuck and\n                  Fabio Papacchini and\n                  Michael Fisher and\n                  Viviana Mascardi},\n  title        = {Bridging the gap between single- and multi-model predictive runtime\n                  verification},\n  journal      = {Formal Methods Syst. Des.},\n  volume       = {59},\n  number       = {1},\n  pages        = {44--76},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/s10703-022-00395-7},\n  doi          = {10.1007/S10703-022-00395-7},\n  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/fmsd/FerrandoCFLPFM21.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 Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker.\n \n \n \n \n\n\n \n Sylvain Conchon; Giorgio Delzanno; and Angelo Ferrando.\n\n\n \n\n\n\n Fundam. Informaticae, 178(4): 347–378. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"DeclarativePaper\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/fuin/ConchonDF21,\n  author       = {Sylvain Conchon and\n                  Giorgio Delzanno and\n                  Angelo Ferrando},\n  title        = {Declarative Parameterized Verification of Distributed Protocols via\n                  the Cubicle Model Checker},\n  journal      = {Fundam. Informaticae},\n  volume       = {178},\n  number       = {4},\n  pages        = {347--378},\n  year         = {2021},\n  url          = {https://doi.org/10.3233/FI-2021-2010},\n  doi          = {10.3233/FI-2021-2010},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/fuin/ConchonDF21.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 Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; Daniela Briola; Claudio Menghi; and Tobias Ahlbrecht.\n\n\n \n\n\n\n J. Sens. Actuator Networks, 10(2): 33. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"AgentsPaper\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
@article{DBLP:journals/jsan/CardosoFBMA21,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Daniela Briola and\n                  Claudio Menghi and\n                  Tobias Ahlbrecht},\n  title        = {Agents and Robots for Reliable Engineered Autonomy: {A} Perspective\n                  from the Organisers of {AREA} 2020},\n  journal      = {J. Sens. Actuator Networks},\n  volume       = {10},\n  number       = {2},\n  pages        = {33},\n  year         = {2021},\n  url          = {https://doi.org/10.3390/jsan10020033},\n  doi          = {10.3390/JSAN10020033},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/jsan/CardosoFBMA21.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 Special Issue: Agents and Robots for Reliable Engineered Autonomy.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; Daniela Briola; Claudio Menghi; and Tobias Ahlbrecht.\n\n\n \n\n\n\n J. Sens. Actuator Networks, 10(3): 47. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"SpecialPaper\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
@article{DBLP:journals/jsan/CardosoFBMA21a,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Daniela Briola and\n                  Claudio Menghi and\n                  Tobias Ahlbrecht},\n  title        = {Special Issue: Agents and Robots for Reliable Engineered Autonomy},\n  journal      = {J. Sens. Actuator Networks},\n  volume       = {10},\n  number       = {3},\n  pages        = {47},\n  year         = {2021},\n  url          = {https://doi.org/10.3390/jsan10030047},\n  doi          = {10.3390/JSAN10030047},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/jsan/CardosoFBMA21a.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 An Overview of Verification and Validation Challenges for Inspection Robots.\n \n \n \n \n\n\n \n Michael Fisher; Rafael C. Cardoso; Emily C. Collins; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando; Xiaowei Huang; Mike Jump; Georgios Kourtis; Alexei Lisitsa; Matt Luckcuck; Shan Luo; Vincent Pagé; Fabio Papacchini; and Matt Webster.\n\n\n \n\n\n\n Robotics, 10(2): 67. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\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
@article{DBLP:journals/robotics/FisherCCDDDFFHJ21,\n  author       = {Michael Fisher and\n                  Rafael C. Cardoso and\n                  Emily C. Collins and\n                  Christopher Dadswell and\n                  Louise A. Dennis and\n                  Clare Dixon and\n                  Marie Farrell and\n                  Angelo Ferrando and\n                  Xiaowei Huang and\n                  Mike Jump and\n                  Georgios Kourtis and\n                  Alexei Lisitsa and\n                  Matt Luckcuck and\n                  Shan Luo and\n                  Vincent Pag{\\'{e}} and\n                  Fabio Papacchini and\n                  Matt Webster},\n  title        = {An Overview of Verification and Validation Challenges for Inspection\n                  Robots},\n  journal      = {Robotics},\n  volume       = {10},\n  number       = {2},\n  pages        = {67},\n  year         = {2021},\n  url          = {https://doi.org/10.3390/robotics10020067},\n  doi          = {10.3390/ROBOTICS10020067},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/robotics/FisherCCDDDFFHJ21.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 RML: Theory and practice of a domain specific language for runtime verification.\n \n \n \n \n\n\n \n Davide Ancona; Luca Franceschini; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n Sci. Comput. Program., 205: 102610. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"RML:Paper\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/AnconaFFM21,\n  author       = {Davide Ancona and\n                  Luca Franceschini and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  title        = {{RML:} Theory and practice of a domain specific language for runtime\n                  verification},\n  journal      = {Sci. Comput. Program.},\n  volume       = {205},\n  pages        = {102610},\n  year         = {2021},\n  url          = {https://doi.org/10.1016/j.scico.2021.102610},\n  doi          = {10.1016/J.SCICO.2021.102610},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/scp/AnconaFFM21.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 Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.\n \n \n \n \n\n\n \n Angelo Ferrando; Louise A. Dennis; Rafael C. Cardoso; Michael Fisher; Davide Ancona; and Viviana Mascardi.\n\n\n \n\n\n\n ACM Trans. Softw. Eng. Methodol., 30(4): 43:1–43:43. 2021.\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 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{DBLP:journals/tosem/FerrandoDCFAM21,\n  author       = {Angelo Ferrando and\n                  Louise A. Dennis and\n                  Rafael C. Cardoso and\n                  Michael Fisher and\n                  Davide Ancona and\n                  Viviana Mascardi},\n  title        = {Toward a Holistic Approach to Verification and Validation of Autonomous\n                  Cognitive Systems},\n  journal      = {{ACM} Trans. Softw. Eng. Methodol.},\n  volume       = {30},\n  number       = {4},\n  pages        = {43:1--43:43},\n  year         = {2021},\n  url          = {https://doi.org/10.1145/3447246},\n  doi          = {10.1145/3447246},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/tosem/FerrandoDCFAM21.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 Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Frank Dignum; Alessio Lomuscio; Ulle Endriss; and Ann Nowé., editor(s), AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021, pages 1764–1766, 2021. ACM\n \n\n\n\n
\n\n\n\n \n \n \"StrategyPaper\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/atal/FerrandoM21,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Frank Dignum and\n                  Alessio Lomuscio and\n                  Ulle Endriss and\n                  Ann Now{\\'{e}}},\n  title        = {Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under\n                  Imperfect Information and Perfect Recall},\n  booktitle    = {{AAMAS} '21: 20th International Conference on Autonomous Agents and\n                  Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},\n  pages        = {1764--1766},\n  publisher    = {{ACM}},\n  year         = {2021},\n  url          = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1764.pdf},\n  doi          = {10.5555/3463952.3464230},\n  timestamp    = {Wed, 20 Jul 2022 17:03:47 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/FerrandoM21.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 Incrementally Predictive Runtime Verification.\n \n \n \n \n\n\n \n Angelo Ferrando; and Giorgio Delzanno.\n\n\n \n\n\n\n In Stefania Monica; and Federico Bergenti., editor(s), Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021, volume 3002, of CEUR Workshop Proceedings, pages 92–106, 2021. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"IncrementallyPaper\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
@inproceedings{DBLP:conf/cilc/FerrandoD21,\n  author       = {Angelo Ferrando and\n                  Giorgio Delzanno},\n  editor       = {Stefania Monica and\n                  Federico Bergenti},\n  title        = {Incrementally Predictive Runtime Verification},\n  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,\n                  Parma, Italy, September 7-9, 2021},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3002},\n  pages        = {92--106},\n  publisher    = {CEUR-WS.org},\n  year         = {2021},\n  url          = {https://ceur-ws.org/Vol-3002/paper25.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},\n  biburl       = {https://dblp.org/rec/conf/cilc/FerrandoD21.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 Implementing Ethical Governors in BDI.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; Louise A. Dennis; and Michael Fisher.\n\n\n \n\n\n\n In Natasha Alechina; Matteo Baldoni; and Brian Logan., editor(s), Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers, volume 13190, of Lecture Notes in Computer Science, pages 22–41, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ImplementingPaper\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/emas/CardosoFD021,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Louise A. Dennis and\n                  Michael Fisher},\n  editor       = {Natasha Alechina and\n                  Matteo Baldoni and\n                  Brian Logan},\n  title        = {Implementing Ethical Governors in {BDI}},\n  booktitle    = {Engineering Multi-Agent Systems - 9th International Workshop, {EMAS}\n                  2021, Virtual Event, May 3-4, 2021, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13190},\n  pages        = {22--41},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-97457-2\\_2},\n  doi          = {10.1007/978-3-030-97457-2\\_2},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/emas/CardosoFD021.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 StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms.\n \n \n \n \n\n\n \n Angelo Ferrando; and Fabio Papacchini.\n\n\n \n\n\n\n In Natasha Alechina; Matteo Baldoni; and Brian Logan., editor(s), Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers, volume 13190, of Lecture Notes in Computer Science, pages 114–136, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n \"StreamB:Paper\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/emas/FerrandoP21,\n  author       = {Angelo Ferrando and\n                  Fabio Papacchini},\n  editor       = {Natasha Alechina and\n                  Matteo Baldoni and\n                  Brian Logan},\n  title        = {StreamB: {A} Declarative Language for Automatically Processing Data\n                  Streams in Abstract Environments for Agent Platforms},\n  booktitle    = {Engineering Multi-Agent Systems - 9th International Workshop, {EMAS}\n                  2021, Virtual Event, May 3-4, 2021, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13190},\n  pages        = {114--136},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-97457-2\\_7},\n  doi          = {10.1007/978-3-030-97457-2\\_7},\n  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/emas/FerrandoP21.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 Agile Tasking of Robotic Systems with Explicit Autonomy.\n \n \n \n \n\n\n \n Rafael C. Cardoso; John L. Michaloski; Craig Schlenoff; Angelo Ferrando; Louise A. Dennis; and Michael Fisher.\n\n\n \n\n\n\n In Eric Bell; and Fazel Keshtkar., editor(s), Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, North Miami Beach, Florida, USA, May 17-19, 2021, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"AgilePaper\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/flairs/CardosoMSFD021,\n  author       = {Rafael C. Cardoso and\n                  John L. Michaloski and\n                  Craig Schlenoff and\n                  Angelo Ferrando and\n                  Louise A. Dennis and\n                  Michael Fisher},\n  editor       = {Eric Bell and\n                  Fazel Keshtkar},\n  title        = {Agile Tasking of Robotic Systems with Explicit Autonomy},\n  booktitle    = {Proceedings of the Thirty-Fourth International Florida Artificial\n                  Intelligence Research Society Conference, North Miami Beach, Florida,\n                  USA, May 17-19, 2021},\n  year         = {2021},\n  url          = {https://doi.org/10.32473/flairs.v34i1.128481},\n  doi          = {10.32473/FLAIRS.V34I1.128481},\n  timestamp    = {Wed, 26 Oct 2022 08:35:05 +0200},\n  biburl       = {https://dblp.org/rec/conf/flairs/CardosoMSFD021.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 Combine Model Checking and Runtime Verification in Multi-Agent Systems.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Claudio Sacerdoti Coen; and Ivano Salvo., editor(s), Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021, volume 3072, of CEUR Workshop Proceedings, pages 302–310, 2021. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"CombinePaper\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
@inproceedings{DBLP:conf/ictcs/FerrandoM21,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  editor       = {Claudio Sacerdoti Coen and\n                  Ivano Salvo},\n  title        = {Combine Model Checking and Runtime Verification in Multi-Agent Systems},\n  booktitle    = {Proceedings of the 22nd Italian Conference on Theoretical Computer\n                  Science, Bologna, Italy, September 13-15, 2021},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3072},\n  pages        = {302--310},\n  publisher    = {CEUR-WS.org},\n  year         = {2021},\n  url          = {https://ceur-ws.org/Vol-3072/paper25.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},\n  biburl       = {https://dblp.org/rec/conf/ictcs/FerrandoM21.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 Increasing confidence in autonomous systems.\n \n \n \n \n\n\n \n Michael Fisher; Angelo Ferrando; and Rafael C. Cardoso.\n\n\n \n\n\n\n In Wolfgang Ahrendt; Davide Ancona; and Adrian Francalanza., editor(s), VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021, pages 1–4, 2021. ACM\n \n\n\n\n
\n\n\n\n \n \n \"IncreasingPaper\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/issta/0001FC21,\n  author       = {Michael Fisher and\n                  Angelo Ferrando and\n                  Rafael C. Cardoso},\n  editor       = {Wolfgang Ahrendt and\n                  Davide Ancona and\n                  Adrian Francalanza},\n  title        = {Increasing confidence in autonomous systems},\n  booktitle    = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop\n                  on Verification and mOnitoring at Runtime EXecution, Virtual Event,\n                  Denmark, 12 July 2021},\n  pages        = {1--4},\n  publisher    = {{ACM}},\n  year         = {2021},\n  url          = {https://doi.org/10.1145/3464974.3468452},\n  doi          = {10.1145/3464974.3468452},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/issta/0001FC21.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 RVPLAN: a general purpose framework for replanning using runtime verification.\n \n \n \n \n\n\n \n Angelo Ferrando; and Rafael C. Cardoso.\n\n\n \n\n\n\n In Wolfgang Ahrendt; Davide Ancona; and Adrian Francalanza., editor(s), VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021, pages 22–25, 2021. ACM\n \n\n\n\n
\n\n\n\n \n \n \"RVPLAN:Paper\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/issta/FerrandoC21,\n  author       = {Angelo Ferrando and\n                  Rafael C. Cardoso},\n  editor       = {Wolfgang Ahrendt and\n                  Davide Ancona and\n                  Adrian Francalanza},\n  title        = {{RVPLAN:} a general purpose framework for replanning using runtime\n                  verification},\n  booktitle    = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop\n                  on Verification and mOnitoring at Runtime EXecution, Virtual Event,\n                  Denmark, 12 July 2021},\n  pages        = {22--25},\n  publisher    = {{ACM}},\n  year         = {2021},\n  url          = {https://doi.org/10.1145/3464974.3468447},\n  doi          = {10.1145/3464974.3468447},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/issta/FerrandoC21.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 Automated Planning and BDI Agents: A Case Study.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; and Fabio Papacchini.\n\n\n \n\n\n\n In Frank Dignum; Juan Manuel Corchado; and Fernando Prieta., editor(s), Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection - 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings, volume 12946, of Lecture Notes in Computer Science, pages 52–63, 2021. Springer\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 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/paams/CardosoFP21,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Fabio Papacchini},\n  editor       = {Frank Dignum and\n                  Juan Manuel Corchado and\n                  Fernando de la Prieta},\n  title        = {Automated Planning and {BDI} Agents: {A} Case Study},\n  booktitle    = {Advances in Practical Applications of Agents, Multi-Agent Systems,\n                  and Social Good. The {PAAMS} Collection - 19th International Conference,\n                  {PAAMS} 2021, Salamanca, Spain, October 6-8, 2021, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12946},\n  pages        = {52--63},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-85739-4\\_5},\n  doi          = {10.1007/978-3-030-85739-4\\_5},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/paams/CardosoFP21.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 Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning.\n \n \n \n \n\n\n \n Gianvito Losapio; Federico Minutoli; Viviana Mascardi; and Angelo Ferrando.\n\n\n \n\n\n\n In Roberta Calegari; Giovanni Ciatto; Enrico Denti; Andrea Omicini; and Giovanni Sartor., editor(s), Proceedings of the 22nd Workshop \"From Objects to Agents\", Bologna, Italy, September 1-3, 2021, volume 2963, of CEUR Workshop Proceedings, pages 83–97, 2021. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"SmartPaper\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
@inproceedings{DBLP:conf/woa/LosapioMMF21,\n  author       = {Gianvito Losapio and\n                  Federico Minutoli and\n                  Viviana Mascardi and\n                  Angelo Ferrando},\n  editor       = {Roberta Calegari and\n                  Giovanni Ciatto and\n                  Enrico Denti and\n                  Andrea Omicini and\n                  Giovanni Sartor},\n  title        = {Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement\n                  Learning},\n  booktitle    = {Proceedings of the 22nd Workshop "From Objects to Agents", Bologna,\n                  Italy, September 1-3, 2021},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2963},\n  pages        = {83--97},\n  publisher    = {CEUR-WS.org},\n  year         = {2021},\n  url          = {https://ceur-ws.org/Vol-2963/paper16.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:40 +0100},\n  biburl       = {https://dblp.org/rec/conf/woa/LosapioMMF21.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 Partial Monitoring: It is Always too Soon to Give Up.\n \n \n \n \n\n\n \n Angelo Ferrando; and Rafael C. Cardoso.\n\n\n \n\n\n\n In Marie Farrell; and Matt Luckcuck., editor(s), Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021, volume 348, of EPTCS, pages 38–53, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\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:journals/corr/abs-2110-12585,\n  author       = {Angelo Ferrando and\n                  Rafael C. Cardoso},\n  editor       = {Marie Farrell and\n                  Matt Luckcuck},\n  title        = {Towards Partial Monitoring: It is Always too Soon to Give Up},\n  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,\n                  {FMAS} 2021, Virtual, October 21-22, 2021},\n  series       = {{EPTCS}},\n  volume       = {348},\n  pages        = {38--53},\n  year         = {2021},\n  url          = {https://doi.org/10.4204/EPTCS.348.3},\n  doi          = {10.4204/EPTCS.348.3},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12585.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 MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; Fabio Papacchini; Matt Luckcuck; Sven Linker; and Terry R. Payne.\n\n\n \n\n\n\n CoRR, abs/2110.08172. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"MLFC:Paper\n  \n \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
@article{DBLP:journals/corr/abs-2110-08172,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Fabio Papacchini and\n                  Matt Luckcuck and\n                  Sven Linker and\n                  Terry R. Payne},\n  title        = {{MLFC:} From 10 to 50 Planners in the Multi-Agent Programming Contest},\n  journal      = {CoRR},\n  volume       = {abs/2110.08172},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2110.08172},\n  eprinttype    = {arXiv},\n  eprint       = {2110.08172},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-08172.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 the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n CoRR, abs/2112.13621. 2021.\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-2112-13621,\n  author       = {Angelo Ferrando and\n                  Vadim Malvone},\n  title        = {Towards the Verification of Strategic Properties in Multi-Agent Systems\n                  with Imperfect Information},\n  journal      = {CoRR},\n  volume       = {abs/2112.13621},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2112.13621},\n  eprinttype    = {arXiv},\n  eprint       = {2112.13621},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-13621.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 (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?.\n \n \n \n \n\n\n \n Angelo Ferrando; Zeid Kootbally; Pavel Piliptchak; Rafael C. Cardoso; Craig Schlenoff; and Michael Fisher.\n\n\n \n\n\n\n In Alberto Finzi; Alberto Castellini; Luca Buoncompagni; and Salvatore Maria Anzalone., editor(s), Proceedings of the 7th Italian Workshop on Artificial Intelligence and Robotics co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Anywhere, November 26th, 2020, volume 2806, of CEUR Workshop Proceedings, pages 7–11, 2020. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"RuntimePaper\n  \n \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
@inproceedings{DBLP:conf/aiia/FerrandoKPCS020,\n  author       = {Angelo Ferrando and\n                  Zeid Kootbally and\n                  Pavel Piliptchak and\n                  Rafael C. Cardoso and\n                  Craig Schlenoff and\n                  Michael Fisher},\n  editor       = {Alberto Finzi and\n                  Alberto Castellini and\n                  Luca Buoncompagni and\n                  Salvatore Maria Anzalone},\n  title        = {Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile\n                  and Safe at the same time?},\n  booktitle    = {Proceedings of the 7th Italian Workshop on Artificial Intelligence\n                  and Robotics co-located with the 19th International Conference of\n                  the Italian Association for Artificial Intelligence (AIxIA 2020),\n                  Anywhere, November 26th, 2020},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2806},\n  pages        = {7--11},\n  publisher    = {CEUR-WS.org},\n  year         = {2020},\n  url          = {https://ceur-ws.org/Vol-2806/short2.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},\n  biburl       = {https://dblp.org/rec/conf/aiia/FerrandoKPCS020.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 An Interface for Programming Verifiable Autonomous Agents in ROS.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; Louise A. Dennis; and Michael Fisher.\n\n\n \n\n\n\n In Nick Bassiliades; Georgios Chalkiadakis; and Dave Jonge., editor(s), Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers, volume 12520, of Lecture Notes in Computer Science, pages 191–205, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\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
@inproceedings{DBLP:conf/eumas/CardosoFDF20,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Louise A. Dennis and\n                  Michael Fisher},\n  editor       = {Nick Bassiliades and\n                  Georgios Chalkiadakis and\n                  Dave de Jonge},\n  title        = {An Interface for Programming Verifiable Autonomous Agents in {ROS}},\n  booktitle    = {Multi-Agent Systems and Agreement Technologies - 17th European Conference,\n                  {EUMAS} 2020, and 7th International Conference, {AT} 2020, Thessaloniki,\n                  Greece, September 14-15, 2020, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12520},\n  pages        = {191--205},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-66412-1\\_13},\n  doi          = {10.1007/978-3-030-66412-1\\_13},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/eumas/CardosoFDF20.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 Heterogeneous Verification of an Autonomous Curiosity Rover.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Marie Farrell; Matt Luckcuck; Angelo Ferrando; and Michael Fisher.\n\n\n \n\n\n\n In Ritchie Lee; Susmit Jha; and Anastasia Mavridou., editor(s), NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, volume 12229, of Lecture Notes in Computer Science, pages 353–360, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"HeterogeneousPaper\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
@inproceedings{DBLP:conf/nfm/CardosoFLF020,\n  author       = {Rafael C. Cardoso and\n                  Marie Farrell and\n                  Matt Luckcuck and\n                  Angelo Ferrando and\n                  Michael Fisher},\n  editor       = {Ritchie Lee and\n                  Susmit Jha and\n                  Anastasia Mavridou},\n  title        = {Heterogeneous Verification of an Autonomous Curiosity Rover},\n  booktitle    = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,\n                  Moffett Field, CA, USA, May 11-15, 2020, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12229},\n  pages        = {353--360},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-55754-6\\_20},\n  doi          = {10.1007/978-3-030-55754-6\\_20},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/nfm/CardosoFLF020.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 The DigForSim Agent Based Simulator of People Movements in Crime Scenes.\n \n \n \n \n\n\n \n Alessandro Biagetti; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Yves Demazeau; Tom Holvoet; Juan M. Corchado; and Stefania Costantini., editor(s), Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection - 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings, volume 12092, of Lecture Notes in Computer Science, pages 42–54, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\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/paams/BiagettiFM20,\n  author       = {Alessandro Biagetti and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Yves Demazeau and\n                  Tom Holvoet and\n                  Juan M. Corchado and\n                  Stefania Costantini},\n  title        = {The DigForSim Agent Based Simulator of People Movements in Crime Scenes},\n  booktitle    = {Advances in Practical Applications of Agents, Multi-Agent Systems,\n                  and Trustworthiness. The {PAAMS} Collection - 18th International Conference,\n                  {PAAMS} 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12092},\n  pages        = {42--54},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-49778-1\\_4},\n  doi          = {10.1007/978-3-030-49778-1\\_4},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/paams/BiagettiFM20.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 ROSMonitoring: A Runtime Verification Framework for ROS.\n \n \n \n \n\n\n \n Angelo Ferrando; Rafael C. Cardoso; Michael Fisher; Davide Ancona; Luca Franceschini; and Viviana Mascardi.\n\n\n \n\n\n\n In Abdelkhalick Mohammad; Xin Dong; and Matteo Russo., editor(s), Towards Autonomous Robotic Systems - 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings, volume 12228, of Lecture Notes in Computer Science, pages 387–399, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ROSMonitoring:Paper\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 15 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/taros/FerrandoC0AFM20,\n  author       = {Angelo Ferrando and\n                  Rafael C. Cardoso and\n                  Michael Fisher and\n                  Davide Ancona and\n                  Luca Franceschini and\n                  Viviana Mascardi},\n  editor       = {Abdelkhalick Mohammad and\n                  Xin Dong and\n                  Matteo Russo},\n  title        = {ROSMonitoring: {A} Runtime Verification Framework for {ROS}},\n  booktitle    = {Towards Autonomous Robotic Systems - 21st Annual Conference, {TAROS}\n                  2020, Nottingham, UK, September 16, 2020, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12228},\n  pages        = {387--399},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-63486-5\\_40},\n  doi          = {10.1007/978-3-030-63486-5\\_40},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/taros/FerrandoC0AFM20.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 Slow Rogaining: An Innovative Teamwork Model for Computer Science Education.\n \n \n \n \n\n\n \n Giorgio Delzanno; Giovanna Guerrini; Viviana Mascardi; Luca Gelati; Vincenzo Petito; Francesca Vitali; Angelo Ferrando; Davide Ancona; Manuela Chessa; Nicoletta Noceti; and Francesca Odone.\n\n\n \n\n\n\n In Tsvi Kuflik; Ilaria Torre; Robin Burke; and Cristina Gena., editor(s), Adjunct Publication of the 28th ACM Conference on User Modeling, Adaptation and Personalization, UMAP 2020, Genoa, Italy, July 12-18, 2020, pages 119–126, 2020. ACM\n \n\n\n\n
\n\n\n\n \n \n \"SlowPaper\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/um/DelzannoGMGPVFA20,\n  author       = {Giorgio Delzanno and\n                  Giovanna Guerrini and\n                  Viviana Mascardi and\n                  Luca Gelati and\n                  Vincenzo Petito and\n                  Francesca Vitali and\n                  Angelo Ferrando and\n                  Davide Ancona and\n                  Manuela Chessa and\n                  Nicoletta Noceti and\n                  Francesca Odone},\n  editor       = {Tsvi Kuflik and\n                  Ilaria Torre and\n                  Robin Burke and\n                  Cristina Gena},\n  title        = {Slow Rogaining: An Innovative Teamwork Model for Computer Science\n                  Education},\n  booktitle    = {Adjunct Publication of the 28th {ACM} Conference on User Modeling,\n                  Adaptation and Personalization, {UMAP} 2020, Genoa, Italy, July 12-18,\n                  2020},\n  pages        = {119--126},\n  publisher    = {{ACM}},\n  year         = {2020},\n  url          = {https://doi.org/10.1145/3386392.3399310},\n  doi          = {10.1145/3386392.3399310},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/um/DelzannoGMGPVFA20.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 Can determinism and compositionality coexist in RML?.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Ornela Dardha; and Jurriaan Rot., editor(s), Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020, volume 322, of EPTCS, pages 13–32, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"CanPaper\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:journals/corr/abs-2009-00391,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Ornela Dardha and\n                  Jurriaan Rot},\n  title        = {Can determinism and compositionality coexist in RML?},\n  booktitle    = {Proceedings Combined 27th International Workshop on Expressiveness\n                  in Concurrency and 17th Workshop on Structural Operational Semantics,\n                  {EXPRESS/SOS} 2020, and 17th Workshop on Structural Operational SemanticsOnline,\n                  31 August 2020},\n  series       = {{EPTCS}},\n  volume       = {322},\n  pages        = {13--32},\n  year         = {2020},\n  url          = {https://doi.org/10.4204/EPTCS.322.4},\n  doi          = {10.4204/EPTCS.322.4},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-00391.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 LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; and Fabio Papacchini.\n\n\n \n\n\n\n CoRR, abs/2006.02736. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"LFC:Paper\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
@article{DBLP:journals/corr/abs-2006-02736,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Fabio Papacchini},\n  title        = {{LFC:} Combining Autonomous Agents and Automated Planning in the Multi-Agent\n                  Programming Contest},\n  journal      = {CoRR},\n  volume       = {abs/2006.02736},\n  year         = {2020},\n  url          = {https://arxiv.org/abs/2006.02736},\n  eprinttype    = {arXiv},\n  eprint       = {2006.02736},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-02736.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 Heterogeneous Verification of an Autonomous Curiosity Rover.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Marie Farrell; Matt Luckcuck; Angelo Ferrando; and Michael Fisher.\n\n\n \n\n\n\n CoRR, abs/2007.10045. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"HeterogeneousPaper\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
@article{DBLP:journals/corr/abs-2007-10045,\n  author       = {Rafael C. Cardoso and\n                  Marie Farrell and\n                  Matt Luckcuck and\n                  Angelo Ferrando and\n                  Michael Fisher},\n  title        = {Heterogeneous Verification of an Autonomous Curiosity Rover},\n  journal      = {CoRR},\n  volume       = {abs/2007.10045},\n  year         = {2020},\n  url          = {https://arxiv.org/abs/2007.10045},\n  eprinttype    = {arXiv},\n  eprint       = {2007.10045},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-10045.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 Can determinism and compositionality coexist in RML? (extended version).\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n CoRR, abs/2008.06453. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"CanPaper\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-2008-06453,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  title        = {Can determinism and compositionality coexist in RML? (extended version)},\n  journal      = {CoRR},\n  volume       = {abs/2008.06453},\n  year         = {2020},\n  url          = {https://arxiv.org/abs/2008.06453},\n  eprinttype    = {arXiv},\n  eprint       = {2008.06453},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-06453.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 2019\n \n \n (11)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond.\n \n \n \n \n\n\n \n Angelo Ferrando.\n\n\n \n\n\n\n Ph.D. Thesis, University of Genoa, Italy, 2019.\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\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
@phdthesis{DBLP:phd/basesearch/Ferrando19,\n  author       = {Angelo Ferrando},\n  title        = {An Unexpected Journey: Towards Runtime Verification of Multiagent\n                  Systems and Beyond},\n  school       = {University of Genoa, Italy},\n  year         = {2019},\n  url          = {http://hdl.handle.net/11567/941698},\n  doi          = {10.15167/FERRANDO-ANGELO\\_PHD2019-03-14},\n  timestamp    = {Fri, 06 May 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/phd/basesearch/Ferrando19.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 The early bird catches the worm: First verify, then monitor!.\n \n \n \n \n\n\n \n Angelo Ferrando.\n\n\n \n\n\n\n Sci. Comput. Program., 172: 160–179. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\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/Ferrando19,\n  author       = {Angelo Ferrando},\n  title        = {The early bird catches the worm: First verify, then monitor!},\n  journal      = {Sci. Comput. Program.},\n  volume       = {172},\n  pages        = {160--179},\n  year         = {2019},\n  url          = {https://doi.org/10.1016/j.scico.2018.11.008},\n  doi          = {10.1016/J.SCICO.2018.11.008},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/scp/Ferrando19.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 On Enactability of Agent Interaction Protocols: Towards a Unified Approach.\n \n \n \n \n\n\n \n Angelo Ferrando; Michael Winikoff; Stephen Cranefield; Frank Dignum; and Viviana Mascardi.\n\n\n \n\n\n\n In Edith Elkind; Manuela Veloso; Noa Agmon; and Matthew E. Taylor., editor(s), Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, pages 1955–1957, 2019. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\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
@inproceedings{DBLP:conf/atal/FerrandoWCDM19,\n  author       = {Angelo Ferrando and\n                  Michael Winikoff and\n                  Stephen Cranefield and\n                  Frank Dignum and\n                  Viviana Mascardi},\n  editor       = {Edith Elkind and\n                  Manuela Veloso and\n                  Noa Agmon and\n                  Matthew E. Taylor},\n  title        = {On Enactability of Agent Interaction Protocols: Towards a Unified\n                  Approach},\n  booktitle    = {Proceedings of the 18th International Conference on Autonomous Agents\n                  and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,\n                  2019},\n  pages        = {1955--1957},\n  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems},\n  year         = {2019},\n  url          = {http://dl.acm.org/citation.cfm?id=3331975},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/FerrandoWCDM19.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 Timed Trace Expressions.\n \n \n \n \n\n\n \n Luca Ciccone; Angelo Ferrando; Davide Ancona; and Viviana Mascardi.\n\n\n \n\n\n\n In Alberto Casagrande; and Eugenio G. Omodeo., editor(s), Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019, volume 2396, of CEUR Workshop Proceedings, pages 229–241, 2019. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"TimedPaper\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
@inproceedings{DBLP:conf/cilc/CicconeFAM19,\n  author       = {Luca Ciccone and\n                  Angelo Ferrando and\n                  Davide Ancona and\n                  Viviana Mascardi},\n  editor       = {Alberto Casagrande and\n                  Eugenio G. Omodeo},\n  title        = {Timed Trace Expressions},\n  booktitle    = {Proceedings of the 34th Italian Conference on Computational Logic,\n                  Trieste, Italy, June 19-21, 2019},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2396},\n  pages        = {229--241},\n  publisher    = {CEUR-WS.org},\n  year         = {2019},\n  url          = {https://ceur-ws.org/Vol-2396/paper13.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},\n  biburl       = {https://dblp.org/rec/conf/cilc/CicconeFAM19.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 On Enactability of Agent Interaction Protocols: Towards a Unified Approach.\n \n \n \n \n\n\n \n Angelo Ferrando; Michael Winikoff; Stephen Cranefield; Frank Dignum; and Viviana Mascardi.\n\n\n \n\n\n\n In Louise A. Dennis; Rafael H. Bordini; and Yves Lespérance., editor(s), Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers, volume 12058, of Lecture Notes in Computer Science, pages 43–64, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\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/emas/FerrandoWCDM19,\n  author       = {Angelo Ferrando and\n                  Michael Winikoff and\n                  Stephen Cranefield and\n                  Frank Dignum and\n                  Viviana Mascardi},\n  editor       = {Louise A. Dennis and\n                  Rafael H. Bordini and\n                  Yves Lesp{\\'{e}}rance},\n  title        = {On Enactability of Agent Interaction Protocols: Towards a Unified\n                  Approach},\n  booktitle    = {Engineering Multi-Agent Systems - 7th International Workshop, {EMAS}\n                  2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12058},\n  pages        = {43--64},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-51417-4\\_3},\n  doi          = {10.1007/978-3-030-51417-4\\_3},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/emas/FerrandoWCDM19.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 A Deterministic Event Calculus for Effective Runtime Verification.\n \n \n \n \n\n\n \n Davide Ancona; Luca Franceschini; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Alessandra Cherubini; Nicoletta Sabadini; and Simone Tini., editor(s), Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019, volume 2504, of CEUR Workshop Proceedings, pages 248–260, 2019. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"APaper\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
@inproceedings{DBLP:conf/ictcs/AnconaFFM19,\n  author       = {Davide Ancona and\n                  Luca Franceschini and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Alessandra Cherubini and\n                  Nicoletta Sabadini and\n                  Simone Tini},\n  title        = {A Deterministic Event Calculus for Effective Runtime Verification},\n  booktitle    = {Proceedings of the 20th Italian Conference on Theoretical Computer\n                  Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2504},\n  pages        = {248--260},\n  publisher    = {CEUR-WS.org},\n  year         = {2019},\n  url          = {https://ceur-ws.org/Vol-2504/paper28.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},\n  biburl       = {https://dblp.org/rec/conf/ictcs/AnconaFFM19.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 Smart RogAgent: Where Agents and Humans Team Up.\n \n \n \n \n\n\n \n Chiara Capone; Rafael H. Bordini; Viviana Mascardi; Giorgio Delzanno; Angelo Ferrando; Luca Gelati; and Giovanna Guerrini.\n\n\n \n\n\n\n In Matteo Baldoni; Mehdi Dastani; Beishui Liao; Yuko Sakurai; and Rym Zalila-Wenkstern., editor(s), PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings, volume 11873, of Lecture Notes in Computer Science, pages 541–549, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"SmartPaper\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/prima/CaponeBMDFGG19,\n  author       = {Chiara Capone and\n                  Rafael H. Bordini and\n                  Viviana Mascardi and\n                  Giorgio Delzanno and\n                  Angelo Ferrando and\n                  Luca Gelati and\n                  Giovanna Guerrini},\n  editor       = {Matteo Baldoni and\n                  Mehdi Dastani and\n                  Beishui Liao and\n                  Yuko Sakurai and\n                  Rym Zalila{-}Wenkstern},\n  title        = {Smart RogAgent: Where Agents and Humans Team Up},\n  booktitle    = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd\n                  International Conference, Turin, Italy, October 28-31, 2019, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11873},\n  pages        = {541--549},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-33792-6\\_39},\n  doi          = {10.1007/978-3-030-33792-6\\_39},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/prima/CaponeBMDFGG19.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 Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.\n \n \n \n \n\n\n \n Xingyu Zhao; Matthew Osborne; Jenny Lantair; Valentin Robu; David Flynn; Xiaowei Huang; Michael Fisher; Fabio Papacchini; and Angelo Ferrando.\n\n\n \n\n\n\n In Peter Csaba Ölveczky; and Gwen Salaün., editor(s), Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, volume 11724, of Lecture Notes in Computer Science, pages 105–124, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\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/sefm/ZhaoOLRFHFPF19,\n  author       = {Xingyu Zhao and\n                  Matthew Osborne and\n                  Jenny Lantair and\n                  Valentin Robu and\n                  David Flynn and\n                  Xiaowei Huang and\n                  Michael Fisher and\n                  Fabio Papacchini and\n                  Angelo Ferrando},\n  editor       = {Peter Csaba {\\"{O}}lveczky and\n                  Gwen Sala{\\"{u}}n},\n  title        = {Towards Integrating Formal Verification of Autonomous Robots with\n                  Battery Prognostics and Health Management},\n  booktitle    = {Software Engineering and Formal Methods - 17th International Conference,\n                  {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11724},\n  pages        = {105--124},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-30446-1\\_6},\n  doi          = {10.1007/978-3-030-30446-1\\_6},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/sefm/ZhaoOLRFHFPF19.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 LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; and Fabio Papacchini.\n\n\n \n\n\n\n In The Multi-Agent Programming Contest, pages 31–58. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"LFC:Paper\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
@incollection{DBLP:series/lncs/CardosoFP19,\n  author       = {Rafael C. Cardoso and\n                  Angelo Ferrando and\n                  Fabio Papacchini},\n  title        = {{LFC:} Combining Autonomous Agents and Automated Planning in the Multi-Agent\n                  Programming Contest},\n  booktitle    = {The Multi-Agent Programming Contest},\n  pages        = {31--58},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-59299-8\\_2},\n  doi          = {10.1007/978-3-030-59299-8\\_2},\n  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/series/lncs/CardosoFP19.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 On the Enactability of Agent Interaction Protocols: Toward a Unified Approach.\n \n \n \n \n\n\n \n Angelo Ferrando; Michael Winikoff; Stephen Cranefield; Frank Dignum; and Viviana Mascardi.\n\n\n \n\n\n\n CoRR, abs/1902.01131. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\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-1902-01131,\n  author       = {Angelo Ferrando and\n                  Michael Winikoff and\n                  Stephen Cranefield and\n                  Frank Dignum and\n                  Viviana Mascardi},\n  title        = {On the Enactability of Agent Interaction Protocols: Toward a Unified\n                  Approach},\n  journal      = {CoRR},\n  volume       = {abs/1902.01131},\n  year         = {2019},\n  url          = {http://arxiv.org/abs/1902.01131},\n  eprinttype    = {arXiv},\n  eprint       = {1902.01131},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-01131.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 Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.\n \n \n \n \n\n\n \n Xingyu Zhao; Matthew Osborne; Jenny Lantair; Valentin Robu; David Flynn; Xiaowei Huang; Michael Fisher; Fabio Papacchini; and Angelo Ferrando.\n\n\n \n\n\n\n CoRR, abs/1909.03019. 2019.\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-1909-03019,\n  author       = {Xingyu Zhao and\n                  Matthew Osborne and\n                  Jenny Lantair and\n                  Valentin Robu and\n                  David Flynn and\n                  Xiaowei Huang and\n                  Michael Fisher and\n                  Fabio Papacchini and\n                  Angelo Ferrando},\n  title        = {Towards Integrating Formal Verification of Autonomous Robots with\n                  Battery Prognostics and Health Management},\n  journal      = {CoRR},\n  volume       = {abs/1909.03019},\n  year         = {2019},\n  url          = {http://arxiv.org/abs/1909.03019},\n  eprinttype    = {arXiv},\n  eprint       = {1909.03019},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-03019.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 (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n Int. J. Agent Oriented Softw. Eng., 6(3/4): 402–442. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"ImprovingPaper\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/ijaose/AnconaFM18,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  title        = {Improving flexibility and dependability of remote patient monitoring\n                  with agent-oriented approaches},\n  journal      = {Int. J. Agent Oriented Softw. Eng.},\n  volume       = {6},\n  number       = {3/4},\n  pages        = {402--442},\n  year         = {2018},\n  url          = {https://doi.org/10.1504/IJAOSE.2018.096422},\n  doi          = {10.1504/IJAOSE.2018.096422},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ijaose/AnconaFM18.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 Recognising Assumption Violations in Autonomous Systems Verification.\n \n \n \n \n\n\n \n Angelo Ferrando; Louise A. Dennis; Davide Ancona; Michael Fisher; and Viviana Mascardi.\n\n\n \n\n\n\n In Elisabeth André; Sven Koenig; Mehdi Dastani; and Gita Sukthankar., editor(s), Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pages 1933–1935, 2018. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM\n \n\n\n\n
\n\n\n\n \n \n \"RecognisingPaper\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
@inproceedings{DBLP:conf/atal/FerrandoDA0M18,\n  author       = {Angelo Ferrando and\n                  Louise A. Dennis and\n                  Davide Ancona and\n                  Michael Fisher and\n                  Viviana Mascardi},\n  editor       = {Elisabeth Andr{\\'{e}} and\n                  Sven Koenig and\n                  Mehdi Dastani and\n                  Gita Sukthankar},\n  title        = {Recognising Assumption Violations in Autonomous Systems Verification},\n  booktitle    = {Proceedings of the 17th International Conference on Autonomous Agents\n                  and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,\n                  2018},\n  pages        = {1933--1935},\n  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems\n                  Richland, SC, {USA} / {ACM}},\n  year         = {2018},\n  url          = {http://dl.acm.org/citation.cfm?id=3238028},\n  timestamp    = {Sat, 30 Sep 2023 09:34:53 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/FerrandoDA0M18.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 Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols.\n \n \n \n \n\n\n \n Sylvain Conchon; Giorgio Delzanno; and Angelo Ferrando.\n\n\n \n\n\n\n In Andreas Podelski; and François Taïani., editor(s), Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers, volume 11028, of Lecture Notes in Computer Science, pages 209–224, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"DeclarativePaper\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/netys/ConchonDF18,\n  author       = {Sylvain Conchon and\n                  Giorgio Delzanno and\n                  Angelo Ferrando},\n  editor       = {Andreas Podelski and\n                  Fran{\\c{c}}ois Ta{\\"{\\i}}ani},\n  title        = {Declarative Parameterized Verification of Topology-Sensitive Distributed\n                  Protocols},\n  booktitle    = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,\n                  Morocco, May 9-11, 2018, Revised Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11028},\n  pages        = {209--224},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-030-05529-5\\_14},\n  doi          = {10.1007/978-3-030-05529-5\\_14},\n  timestamp    = {Tue, 21 Mar 2023 21:02:48 +0100},\n  biburl       = {https://dblp.org/rec/conf/netys/ConchonDF18.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 Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; Luca Franceschini; and Viviana Mascardi.\n\n\n \n\n\n\n In Yves Demazeau; Bo An; Javier Bajo; and Antonio Fernández-Caballero., editor(s), Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection - 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings, volume 10978, of Lecture Notes in Computer Science, pages 59–71, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"CopingPaper\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/paams/AnconaFFM18,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Luca Franceschini and\n                  Viviana Mascardi},\n  editor       = {Yves Demazeau and\n                  Bo An and\n                  Javier Bajo and\n                  Antonio Fern{\\'{a}}ndez{-}Caballero},\n  title        = {Coping with Bad Agent Interaction Protocols When Monitoring Partially\n                  Observable Multiagent Systems},\n  booktitle    = {Advances in Practical Applications of Agents, Multi-Agent Systems,\n                  and Complexity: The {PAAMS} Collection - 16th International Conference,\n                  {PAAMS} 2018, Toledo, Spain, June 20-22, 2018, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {10978},\n  pages        = {59--71},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-319-94580-4\\_5},\n  doi          = {10.1007/978-3-319-94580-4\\_5},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/paams/AnconaFFM18.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 Managing Bad AIPs with RIVERtools.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; Luca Franceschini; and Viviana Mascardi.\n\n\n \n\n\n\n In Yves Demazeau; Bo An; Javier Bajo; and Antonio Fernández-Caballero., editor(s), Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection - 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings, volume 10978, of Lecture Notes in Computer Science, pages 296–300, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ManagingPaper\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/paams/AnconaFFM18a,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Luca Franceschini and\n                  Viviana Mascardi},\n  editor       = {Yves Demazeau and\n                  Bo An and\n                  Javier Bajo and\n                  Antonio Fern{\\'{a}}ndez{-}Caballero},\n  title        = {Managing Bad AIPs with RIVERtools},\n  booktitle    = {Advances in Practical Applications of Agents, Multi-Agent Systems,\n                  and Complexity: The {PAAMS} Collection - 16th International Conference,\n                  {PAAMS} 2018, Toledo, Spain, June 20-22, 2018, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {10978},\n  pages        = {296--300},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-319-94580-4\\_24},\n  doi          = {10.1007/978-3-319-94580-4\\_24},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/paams/AnconaFFM18a.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 Verifying and Validating Autonomous Systems: Towards an Integrated Approach.\n \n \n \n \n\n\n \n Angelo Ferrando; Louise A. Dennis; Davide Ancona; Michael Fisher; and Viviana Mascardi.\n\n\n \n\n\n\n In Christian Colombo; and Martin Leucker., editor(s), Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, volume 11237, of Lecture Notes in Computer Science, pages 263–281, 2018. 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 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/rv/FerrandoDA0M18,\n  author       = {Angelo Ferrando and\n                  Louise A. Dennis and\n                  Davide Ancona and\n                  Michael Fisher and\n                  Viviana Mascardi},\n  editor       = {Christian Colombo and\n                  Martin Leucker},\n  title        = {Verifying and Validating Autonomous Systems: Towards an Integrated\n                  Approach},\n  booktitle    = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,\n                  Cyprus, November 10-13, 2018, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11237},\n  pages        = {263--281},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-030-03769-7\\_15},\n  doi          = {10.1007/978-3-030-03769-7\\_15},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/rv/FerrandoDA0M18.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 Agents Interoperability via Conformance Modulo Mapping.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Massimo Cossentino; Luca Sabatucci; and Valeria Seidita., editor(s), Proceedings of the 19th Workshop \"From Objects to Agents\", Palermo, Italy, June 28-29, 2018, volume 2215, of CEUR Workshop Proceedings, pages 109–115, 2018. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"AgentsPaper\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
@inproceedings{DBLP:conf/woa/AnconaFM18,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Massimo Cossentino and\n                  Luca Sabatucci and\n                  Valeria Seidita},\n  title        = {Agents Interoperability via Conformance Modulo Mapping},\n  booktitle    = {Proceedings of the 19th Workshop "From Objects to Agents", Palermo,\n                  Italy, June 28-29, 2018},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2215},\n  pages        = {109--115},\n  publisher    = {CEUR-WS.org},\n  year         = {2018},\n  url          = {https://ceur-ws.org/Vol-2215/paper\\_18.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:40 +0100},\n  biburl       = {https://dblp.org/rec/conf/woa/AnconaFM18.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 (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Hackmytown: an Educational Experience on Smart Cities.\n \n \n \n \n\n\n \n Vincenzo Del Fatto; Gabriella Dodero; Armin Bernhard; Angelo Ferrando; Davide Ancona; Viviana Mascardi; Robert Laurini; and Giuseppe Roccasalva.\n\n\n \n\n\n\n IxD&A, 32: 153–164. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"Hackmytown:Paper\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/ixda/FattoDBFAMLR17,\n  author       = {Vincenzo Del Fatto and\n                  Gabriella Dodero and\n                  Armin Bernhard and\n                  Angelo Ferrando and\n                  Davide Ancona and\n                  Viviana Mascardi and\n                  Robert Laurini and\n                  Giuseppe Roccasalva},\n  title        = {Hackmytown: an Educational Experience on Smart Cities},\n  journal      = {IxD{\\&}A},\n  volume       = {32},\n  pages        = {153--164},\n  year         = {2017},\n  url          = {http://www.mifav.uniroma2.it/inevent/events/idea2010/index.php?s=10\\&\\#38;a=10\\&\\#38;link=ToC\\_32\\_P\\&\\#38;link=32\\_9\\_abstract},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ixda/FattoDBFAMLR17.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 Decentralizing MAS Monitoring with DecAMon.\n \n \n \n \n\n\n \n Angelo Ferrando; Davide Ancona; and Viviana Mascardi.\n\n\n \n\n\n\n In Kate Larson; Michael Winikoff; Sanmay Das; and Edmund H. Durfee., editor(s), Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pages 239–248, 2017. ACM\n \n\n\n\n
\n\n\n\n \n \n \"DecentralizingPaper\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
@inproceedings{DBLP:conf/atal/FerrandoAM17,\n  author       = {Angelo Ferrando and\n                  Davide Ancona and\n                  Viviana Mascardi},\n  editor       = {Kate Larson and\n                  Michael Winikoff and\n                  Sanmay Das and\n                  Edmund H. Durfee},\n  title        = {Decentralizing {MAS} Monitoring with DecAMon},\n  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent\n                  Systems, {AAMAS} 2017, S{\\~{a}}o Paulo, Brazil, May 8-12, 2017},\n  pages        = {239--248},\n  publisher    = {{ACM}},\n  year         = {2017},\n  url          = {http://dl.acm.org/citation.cfm?id=3091164},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/FerrandoAM17.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 Parametric Runtime Verification of Multiagent Systems.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Kate Larson; Michael Winikoff; Sanmay Das; and Edmund H. Durfee., editor(s), Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pages 1457–1459, 2017. ACM\n \n\n\n\n
\n\n\n\n \n \n \"ParametricPaper\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
@inproceedings{DBLP:conf/atal/AnconaFM17,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Kate Larson and\n                  Michael Winikoff and\n                  Sanmay Das and\n                  Edmund H. Durfee},\n  title        = {Parametric Runtime Verification of Multiagent Systems},\n  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent\n                  Systems, {AAMAS} 2017, S{\\~{a}}o Paulo, Brazil, May 8-12, 2017},\n  pages        = {1457--1459},\n  publisher    = {{ACM}},\n  year         = {2017},\n  url          = {http://dl.acm.org/citation.cfm?id=3091328},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/AnconaFM17.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 Parametric Trace Expressions for Runtime Verification of Java-Like Programs.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; Luca Franceschini; and Viviana Mascardi.\n\n\n \n\n\n\n In Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pages 10:1–10:6, 2017. ACM\n \n\n\n\n
\n\n\n\n \n \n \"ParametricPaper\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/ecoop/AnconaFFM17,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Luca Franceschini and\n                  Viviana Mascardi},\n  title        = {Parametric Trace Expressions for Runtime Verification of Java-Like\n                  Programs},\n  booktitle    = {Proceedings of the 19th Workshop on Formal Techniques for Java-like\n                  Programs, Barcelona, Spain, June 20, 2017},\n  pages        = {10:1--10:6},\n  publisher    = {{ACM}},\n  year         = {2017},\n  url          = {https://doi.org/10.1145/3103111.3104037},\n  doi          = {10.1145/3103111.3104037},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ecoop/AnconaFFM17.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 2016\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Simulation of autonomous systems in the extended marine domain.\n \n \n \n \n\n\n \n Alberto Tremori; Matteo Agresta; and Angelo Ferrando.\n\n\n \n\n\n\n Int. J. Simul. Process. Model., 11(1): 9–23. 2016.\n \n\n\n\n
\n\n\n\n \n \n \"SimulationPaper\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/ijspm/TremoriAF16,\n  author       = {Alberto Tremori and\n                  Matteo Agresta and\n                  Angelo Ferrando},\n  title        = {Simulation of autonomous systems in the extended marine domain},\n  journal      = {Int. J. Simul. Process. Model.},\n  volume       = {11},\n  number       = {1},\n  pages        = {9--23},\n  year         = {2016},\n  url          = {https://doi.org/10.1504/IJSPM.2016.075077},\n  doi          = {10.1504/IJSPM.2016.075077},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ijspm/TremoriAF16.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 Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification.\n \n \n \n \n\n\n \n Angelo Ferrando.\n\n\n \n\n\n\n In Viviana Mascardi; and Ilaria Torre., editor(s), Proceedings of the Doctoral Consortium of AI*IA 2016 co-located with the 15th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 29, 2016, volume 1769, of CEUR Workshop Proceedings, pages 40–45, 2016. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"AutomaticPaper\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
@inproceedings{DBLP:conf/aiia/Ferrando16,\n  author       = {Angelo Ferrando},\n  editor       = {Viviana Mascardi and\n                  Ilaria Torre},\n  title        = {Automatic Partitions Extraction to Distribute the Runtime Verification\n                  of a Global Specification},\n  booktitle    = {Proceedings of the Doctoral Consortium of AI*IA 2016 co-located with\n                  the 15th International Conference of the Italian Association for Artificial\n                  Intelligence (AI*IA 2016), Genova, Italy, November 29, 2016},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1769},\n  pages        = {40--45},\n  publisher    = {CEUR-WS.org},\n  year         = {2016},\n  url          = {https://ceur-ws.org/Vol-1769/paper07.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/aiia/Ferrando16.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 Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study.\n \n \n \n \n\n\n \n Angelo Ferrando; Davide Ancona; and Viviana Mascardi.\n\n\n \n\n\n\n In Matteo Baldoni; Jörg P. Müller; Ingrid Nunes; and Rym Zalila-Wenkstern., editor(s), Engineering Multi-Agent Systems - 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers, volume 10093, of Lecture Notes in Computer Science, pages 39–58, 2016. Springer\n \n\n\n\n
\n\n\n\n \n \n \"MonitoringPaper\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/atal/FerrandoAM16,\n  author       = {Angelo Ferrando and\n                  Davide Ancona and\n                  Viviana Mascardi},\n  editor       = {Matteo Baldoni and\n                  J{\\"{o}}rg P. M{\\"{u}}ller and\n                  Ingrid Nunes and\n                  Rym Zalila{-}Wenkstern},\n  title        = {Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven\n                  Agents: {A} Case Study},\n  booktitle    = {Engineering Multi-Agent Systems - 4th International Workshop, {EMAS}\n                  2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and\n                  Invited Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {10093},\n  pages        = {39--58},\n  publisher    = {Springer},\n  year         = {2016},\n  url          = {https://doi.org/10.1007/978-3-319-50983-9\\_3},\n  doi          = {10.1007/978-3-319-50983-9\\_3},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/FerrandoAM16.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 Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Erika Ábrahám; Marcello M. Bonsangue; and Einar Broch Johnsen., editor(s), Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volume 9660, of Lecture Notes in Computer Science, pages 47–64, 2016. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ComparingPaper\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/AnconaFM16,\n  author       = {Davide Ancona and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Erika {\\'{A}}brah{\\'{a}}m and\n                  Marcello M. Bonsangue and\n                  Einar Broch Johnsen},\n  title        = {Comparing Trace Expressions and Linear Temporal Logic for Runtime\n                  Verification},\n  booktitle    = {Theory and Practice of Formal Methods - Essays Dedicated to Frank\n                  de Boer on the Occasion of His 60th Birthday},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {9660},\n  pages        = {47--64},\n  publisher    = {Springer},\n  year         = {2016},\n  url          = {https://doi.org/10.1007/978-3-319-30734-3\\_6},\n  doi          = {10.1007/978-3-319-30734-3\\_6},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/birthday/AnconaFM16.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 Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach.\n \n \n \n \n\n\n \n Angelo Ferrando; Silvio Beux; Viviana Mascardi; and Paolo Rosso.\n\n\n \n\n\n\n In Dino Ienco; Mathieu Roche; Salvatore Romeo; Paolo Rosso; and Andrea Tagarelli., editor(s), Proceedings of the First Workshop on Modeling, Learning and Mining for Cross/Multilinguality (MultiLingMine 2016) co-located with the 38th European Conference on Information Retrieval (ECIR 2016), Padova, Italy, March 20, 2016, volume 1589, of CEUR Workshop Proceedings, pages 6–15, 2016. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"IdentificationPaper\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
@inproceedings{DBLP:conf/ecir/FerrandoBMR16,\n  author       = {Angelo Ferrando and\n                  Silvio Beux and\n                  Viviana Mascardi and\n                  Paolo Rosso},\n  editor       = {Dino Ienco and\n                  Mathieu Roche and\n                  Salvatore Romeo and\n                  Paolo Rosso and\n                  Andrea Tagarelli},\n  title        = {Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven\n                  Approach},\n  booktitle    = {Proceedings of the First Workshop on Modeling, Learning and Mining\n                  for Cross/Multilinguality (MultiLingMine 2016) co-located with the\n                  38th European Conference on Information Retrieval {(ECIR} 2016), Padova,\n                  Italy, March 20, 2016},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1589},\n  pages        = {6--15},\n  publisher    = {CEUR-WS.org},\n  year         = {2016},\n  url          = {https://ceur-ws.org/Vol-1589/MultiLingMine1.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:16 +0100},\n  biburl       = {https://dblp.org/rec/conf/ecir/FerrandoBMR16.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 FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain.\n \n \n \n \n\n\n \n Federica Aielli; Davide Ancona; Pasquale Caianiello; Stefania Costantini; Giovanni De Gasperis; Antinisca Di Marco; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Javier Bajo; María José Escalona; Sylvain Giroux; Patrycja Hoffa-Dabrowska; Vicente Julián; Paulo Novais; Nayat Sánchez Pi; Rainer Unland; and Ricardo Azambuja Silveira., editor(s), Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection - International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings, volume 616, of Communications in Computer and Information Science, pages 15–26, 2016. Springer\n \n\n\n\n
\n\n\n\n \n \n \"FRIENDLYPaper\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/paams/AielliACCGMFM16,\n  author       = {Federica Aielli and\n                  Davide Ancona and\n                  Pasquale Caianiello and\n                  Stefania Costantini and\n                  Giovanni De Gasperis and\n                  Antinisca Di Marco and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Javier Bajo and\n                  Mar{\\'{\\i}}a Jos{\\'{e}} Escalona and\n                  Sylvain Giroux and\n                  Patrycja Hoffa{-}Dabrowska and\n                  Vicente Juli{\\'{a}}n and\n                  Paulo Novais and\n                  Nayat S{\\'{a}}nchez Pi and\n                  Rainer Unland and\n                  Ricardo Azambuja Silveira},\n  title        = {{FRIENDLY} {\\&} {KIND} with your Health: Human-Friendly Knowledge-INtensive\n                  Dynamic Systems for the e-Health Domain},\n  booktitle    = {Highlights of Practical Applications of Scalable Multi-Agent Systems.\n                  The {PAAMS} Collection - International Workshops of {PAAMS} 2016,\n                  Sevilla, Spain, June 1-3, 2016. Proceedings},\n  series       = {Communications in Computer and Information Science},\n  volume       = {616},\n  pages        = {15--26},\n  publisher    = {Springer},\n  year         = {2016},\n  url          = {https://doi.org/10.1007/978-3-319-39387-2\\_2},\n  doi          = {10.1007/978-3-319-39387-2\\_2},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/paams/AielliACCGMFM16.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 MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols.\n \n \n \n \n\n\n \n Davide Ancona; Daniela Briola; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Corrado Santoro; Fabrizio Messina; and Massimiliano De Benedetti., editor(s), Proceedings of the 17th Workshop \"From Objects to Agents\" co-located with 18th European Agent Systems Summer School (EASSS 2016), Catania, Italy, July 29-30, 2016, volume 1664, of CEUR Workshop Proceedings, pages 35–43, 2016. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"MAS-DRiVe:Paper\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
@inproceedings{DBLP:conf/woa/AnconaBFM16,\n  author       = {Davide Ancona and\n                  Daniela Briola and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Corrado Santoro and\n                  Fabrizio Messina and\n                  Massimiliano De Benedetti},\n  title        = {MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification\n                  of Agent Interaction Protocols},\n  booktitle    = {Proceedings of the 17th Workshop "From Objects to Agents" co-located\n                  with 18th European Agent Systems Summer School {(EASSS} 2016), Catania,\n                  Italy, July 29-30, 2016},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1664},\n  pages        = {35--43},\n  publisher    = {CEUR-WS.org},\n  year         = {2016},\n  url          = {https://ceur-ws.org/Vol-1664/w7.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:40 +0100},\n  biburl       = {https://dblp.org/rec/conf/woa/AnconaBFM16.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 2015\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.\n \n \n \n \n\n\n \n Davide Ancona; Daniela Briola; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n Intelligenza Artificiale, 9(2): 131–148. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"RuntimePaper\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/ia/AnconaBFM15,\n  author       = {Davide Ancona and\n                  Daniela Briola and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  title        = {Runtime verification of fail-uncontrolled and ambient intelligence\n                  systems: {A} uniform approach},\n  journal      = {Intelligenza Artificiale},\n  volume       = {9},\n  number       = {2},\n  pages        = {131--148},\n  year         = {2015},\n  url          = {https://doi.org/10.3233/IA-150084},\n  doi          = {10.3233/IA-150084},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ia/AnconaBFM15.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 Global Protocols as First Class Entities for Self-Adaptive Agents.\n \n \n \n \n\n\n \n Davide Ancona; Daniela Briola; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Gerhard Weiss; Pinar Yolum; Rafael H. Bordini; and Edith Elkind., editor(s), Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, pages 1019–1029, 2015. ACM\n \n\n\n\n
\n\n\n\n \n \n \"GlobalPaper\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
@inproceedings{DBLP:conf/atal/AnconaBFM15,\n  author       = {Davide Ancona and\n                  Daniela Briola and\n                  Angelo Ferrando and\n                  Viviana Mascardi},\n  editor       = {Gerhard Weiss and\n                  Pinar Yolum and\n                  Rafael H. Bordini and\n                  Edith Elkind},\n  title        = {Global Protocols as First Class Entities for Self-Adaptive Agents},\n  booktitle    = {Proceedings of the 2015 International Conference on Autonomous Agents\n                  and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},\n  pages        = {1019--1029},\n  publisher    = {{ACM}},\n  year         = {2015},\n  url          = {http://dl.acm.org/citation.cfm?id=2773282},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/AnconaBFM15.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 Computational thinking for beginners: A successful experience using Prolog.\n \n \n \n \n\n\n \n Silvio Beux; Daniela Briola; Andrea Corradi; Giorgio Delzanno; Angelo Ferrando; Federico Frassetto; Giovanna Guerrini; Viviana Mascardi; Marco Oreggia; Francesca Pozzi; Alessandro Solimando; and Armando Tacchella.\n\n\n \n\n\n\n In Davide Ancona; Marco Maratea; and Viviana Mascardi., editor(s), Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015, volume 1459, of CEUR Workshop Proceedings, pages 31–45, 2015. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"ComputationalPaper\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
@inproceedings{DBLP:conf/cilc/BeuxBCDFFGMOPST15,\n  author       = {Silvio Beux and\n                  Daniela Briola and\n                  Andrea Corradi and\n                  Giorgio Delzanno and\n                  Angelo Ferrando and\n                  Federico Frassetto and\n                  Giovanna Guerrini and\n                  Viviana Mascardi and\n                  Marco Oreggia and\n                  Francesca Pozzi and\n                  Alessandro Solimando and\n                  Armando Tacchella},\n  editor       = {Davide Ancona and\n                  Marco Maratea and\n                  Viviana Mascardi},\n  title        = {Computational thinking for beginners: {A} successful experience using\n                  Prolog},\n  booktitle    = {Proceedings of the 30th Italian Conference on Computational Logic,\n                  Genova, Italy, July 1-3, 2015},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1459},\n  pages        = {31--45},\n  publisher    = {CEUR-WS.org},\n  year         = {2015},\n  url          = {https://ceur-ws.org/Vol-1459/paper10.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},\n  biburl       = {https://dblp.org/rec/conf/cilc/BeuxBCDFFGMOPST15.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 Parametric protocol-driven agents and their integration in JADE.\n \n \n \n \n\n\n \n Angelo Ferrando.\n\n\n \n\n\n\n In Davide Ancona; Marco Maratea; and Viviana Mascardi., editor(s), Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015, volume 1459, of CEUR Workshop Proceedings, pages 72–84, 2015. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"ParametricPaper\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
@inproceedings{DBLP:conf/cilc/Ferrando15,\n  author       = {Angelo Ferrando},\n  editor       = {Davide Ancona and\n                  Marco Maratea and\n                  Viviana Mascardi},\n  title        = {Parametric protocol-driven agents and their integration in {JADE}},\n  booktitle    = {Proceedings of the 30th Italian Conference on Computational Logic,\n                  Genova, Italy, July 1-3, 2015},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1459},\n  pages        = {72--84},\n  publisher    = {CEUR-WS.org},\n  year         = {2015},\n  url          = {https://ceur-ws.org/Vol-1459/paper26.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/cilc/Ferrando15.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 2014\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Innovative models for supporting operational planning.\n \n \n \n \n\n\n \n Marina Massei; Simonluca Poggi; Alberto Tremori; and Angelo Ferrando.\n\n\n \n\n\n\n Int. J. Simul. Process. Model., 9(3): 181–194. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"InnovativePaper\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/ijspm/MasseiPTF14,\n  author       = {Marina Massei and\n                  Simonluca Poggi and\n                  Alberto Tremori and\n                  Angelo Ferrando},\n  title        = {Innovative models for supporting operational planning},\n  journal      = {Int. J. Simul. Process. Model.},\n  volume       = {9},\n  number       = {3},\n  pages        = {181--194},\n  year         = {2014},\n  url          = {https://doi.org/10.1504/IJSPM.2014.064396},\n  doi          = {10.1504/IJSPM.2014.064396},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ijspm/MasseiPTF14.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 Development planning based on interoperable agent driven simulation.\n \n \n \n \n\n\n \n Marina Massei; Simonluca Poggi; Matteo Agresta; and Angelo Ferrando.\n\n\n \n\n\n\n J. Comput. Sci., 5(3): 395–407. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"DevelopmentPaper\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/jocs/MasseiPAF14,\n  author       = {Marina Massei and\n                  Simonluca Poggi and\n                  Matteo Agresta and\n                  Angelo Ferrando},\n  title        = {Development planning based on interoperable agent driven simulation},\n  journal      = {J. Comput. Sci.},\n  volume       = {5},\n  number       = {3},\n  pages        = {395--407},\n  year         = {2014},\n  url          = {https://doi.org/10.1016/j.jocs.2014.01.004},\n  doi          = {10.1016/J.JOCS.2014.01.004},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/jocs/MasseiPAF14.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 Simulation Exploration Experience: Providing Effective Surveillance and Defense for a Moon Base Against Threats from Outer Space.\n \n \n \n \n\n\n \n Agostino G. Bruzzone; Luciano Dato; and Angelo Ferrando.\n\n\n \n\n\n\n In 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2014, Toulouse, France, October 1-3, 2014, pages 121–126, 2014. IEEE Computer Society\n \n\n\n\n
\n\n\n\n \n \n \"SimulationPaper\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/dsrt/BruzzoneDF14,\n  author       = {Agostino G. Bruzzone and\n                  Luciano Dato and\n                  Angelo Ferrando},\n  title        = {Simulation Exploration Experience: Providing Effective Surveillance\n                  and Defense for a Moon Base Against Threats from Outer Space},\n  booktitle    = {18th {IEEE/ACM} International Symposium on Distributed Simulation\n                  and Real Time Applications, {DS-RT} 2014, Toulouse, France, October\n                  1-3, 2014},\n  pages        = {121--126},\n  publisher    = {{IEEE} Computer Society},\n  year         = {2014},\n  url          = {https://doi.org/10.1109/DS-RT.2014.23},\n  doi          = {10.1109/DS-RT.2014.23},\n  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/dsrt/BruzzoneDF14.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 2013\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Intelligent Agents for Human Behavior Modeling as Support to Operations.\n \n \n \n \n\n\n \n Agostino G. Bruzzone; Marina Massei; Simonluca Poggi; Christian Bartolucci; and Angelo Ferrando.\n\n\n \n\n\n\n In Mohammad S. Obaidat; Slawomir Koziel; Janusz Kacprzyk; Leifur Þ. Leifsson; and Tuncer I. Ören., editor(s), Simulation and Modeling Methodologies, Technologies and Applications - International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers, volume 319, of Advances in Intelligent Systems and Computing, pages 119–132, 2013. Springer\n \n\n\n\n
\n\n\n\n \n \n \"IntelligentPaper\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/simultech/BruzzoneMPBF13,\n  author       = {Agostino G. Bruzzone and\n                  Marina Massei and\n                  Simonluca Poggi and\n                  Christian Bartolucci and\n                  Angelo Ferrando},\n  editor       = {Mohammad S. Obaidat and\n                  Slawomir Koziel and\n                  Janusz Kacprzyk and\n                  Leifur {\\TH}. Leifsson and\n                  Tuncer I. {\\"{O}}ren},\n  title        = {Intelligent Agents for Human Behavior Modeling as Support to Operations},\n  booktitle    = {Simulation and Modeling Methodologies, Technologies and Applications\n                  - International Conference, {SIMULTECH} 2013 Reykjav{\\'{\\i}}k, Iceland,\n                  July 29-31, 2013 Revised Selected Papers},\n  series       = {Advances in Intelligent Systems and Computing},\n  volume       = {319},\n  pages        = {119--132},\n  publisher    = {Springer},\n  year         = {2013},\n  url          = {https://doi.org/10.1007/978-3-319-11457-6\\_8},\n  doi          = {10.1007/978-3-319-11457-6\\_8},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/simultech/BruzzoneMPBF13.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 Different modeling and simulation approaches applied to industrial process plants.\n \n \n \n \n\n\n \n Agostino G. Bruzzone; Francesca Madeo; Margherita Dallorto; Davide Poggi; and Angelo Ferrando.\n\n\n \n\n\n\n In Charles D. Turnitsa; Paul A. Youngman; Ted Carmichael; Mirsad Hadzikadic; Rafael Diaz; and Francesco Longo., editor(s), Proceedings of the Emerging M&S Applications in Industry & Academia / Modeling and Humanities Symposium, part of the 2013 Spring Simulation Multiconference, SpringSim '13, San Diego, CA, USA, April 7-10, 2013, pages 6, 2013. ACM\n \n\n\n\n
\n\n\n\n \n \n \"DifferentPaper\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
@inproceedings{DBLP:conf/springsim/BruzzoneMDPF13,\n  author       = {Agostino G. Bruzzone and\n                  Francesca Madeo and\n                  Margherita Dallorto and\n                  Davide Poggi and\n                  Angelo Ferrando},\n  editor       = {Charles D. Turnitsa and\n                  Paul A. Youngman and\n                  Ted Carmichael and\n                  Mirsad Hadzikadic and\n                  Rafael Diaz and\n                  Francesco Longo},\n  title        = {Different modeling and simulation approaches applied to industrial\n                  process plants},\n  booktitle    = {Proceedings of the Emerging M{\\&}S Applications in Industry {\\&} Academia\n                  / Modeling and Humanities Symposium, part of the 2013 Spring Simulation\n                  Multiconference, SpringSim '13, San Diego, CA, USA, April 7-10, 2013},\n  pages        = {6},\n  publisher    = {{ACM}},\n  year         = {2013},\n  url          = {http://dl.acm.org/citation.cfm?id=2499757},\n  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/springsim/BruzzoneMDPF13.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);