Angelo Ferrando

@article{DBLP:journals/jair/CattaFM25,
  author       = {Davide Catta and
                  Angelo Ferrando and
                  Vadim Malvone},
  title        = {Reasoning about Decidability of Strategic Logics with Imperfect Information
                  and Perfect Recall Strategies},
  journal      = {J. Artif. Intell. Res.},
  volume       = {82},
  pages        = {777--817},
  year         = {2025},
  url          = {https://doi.org/10.1613/jair.1.17237},
  doi          = {10.1613/JAIR.1.17237},
  timestamp    = {Tue, 25 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/CattaFM25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FerrandoC25,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso},
  title        = {Towards partial monitoring: Never too early to give in},
  journal      = {Sci. Comput. Program.},
  volume       = {240},
  pages        = {103220},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.scico.2024.103220},
  doi          = {10.1016/J.SCICO.2024.103220},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FerrandoC25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jirs/BeckerDSAKFCF24,
  author       = {Leandro Buss Becker and
                  Anthony Downs and
                  Craig Schlenoff and
                  Justin Albrecht and
                  Zeid Kootbally and
                  Angelo Ferrando and
                  Rafael C. Cardoso and
                  Michael Fisher},
  title        = {Effects of the Human Presence among Robots in the {ARIAC} 2023 Industrial
                  Automation Competition},
  journal      = {J. Intell. Robotic Syst.},
  volume       = {110},
  number       = {3},
  pages        = {112},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10846-024-02148-6},
  doi          = {10.1007/S10846-024-02148-6},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jirs/BeckerDSAKFCF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/00010M24,
  author       = {Angelo Ferrando and
                  Andrea Gatti and
                  Viviana Mascardi},
  editor       = {Emanuele De Angelis and
                  Maurizio Proietti},
  title        = {Geometric and Spatial Reasoning in {BDI} Agents: {A} Survey},
  booktitle    = {Proceedings of the 39th Italian Conference on Computational Logic,
                  Rome, Italy, June 26-28, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3733},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3733/paper1.pdf},
  timestamp    = {Fri, 26 Jul 2024 13:58:33 +0200},
  biburl       = {https://dblp.org/rec/conf/cilc/00010M24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erf/Bernagozzi0GNT24,
  author       = {Stefano Bernagozzi and
                  Angelo Ferrando and
                  Enrico Ghiorzi and
                  Lorenzo Natale and
                  Armando Tacchella},
  editor       = {Cristian Secchi and
                  Lorenzo Marconi},
  title        = {Modeling Robot Control Architectures for Verification and Monitoring},
  booktitle    = {European Robotics Forum 2024 - 15th ERF, Volume 2, Rimini, Italy,
                  13-15 March 2024},
  series       = {Springer Proceedings in Advanced Robotics},
  volume       = {33},
  pages        = {191--195},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-76428-8\_36},
  doi          = {10.1007/978-3-031-76428-8\_36},
  timestamp    = {Wed, 15 Jan 2025 15:04:23 +0100},
  biburl       = {https://dblp.org/rec/conf/erf/Bernagozzi0GNT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/BartolettiFLM24,
  author       = {Massimo Bartoletti and
                  Angelo Ferrando and
                  Enrico Lipparini and
                  Vadim Malvone},
  editor       = {Nikolai Kosmatov and
                  Laura Kov{\'{a}}cs},
  title        = {Solvent: Liquidity Verification of Smart Contracts},
  booktitle    = {Integrated Formal Methods - 19th International Conference, {IFM} 2024,
                  Manchester, UK, November 13-15, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15234},
  pages        = {256--266},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-76554-4\_14},
  doi          = {10.1007/978-3-031-76554-4\_14},
  timestamp    = {Wed, 08 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/BartolettiFLM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/prima/CattaFM24,
  author       = {Davide Catta and
                  Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Ryuta Arisaka and
                  V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
                  Sebastian Stein and
                  Reyhan Aydogan and
                  Leon van der Torre and
                  Takayuki Ito},
  title        = {Resource Action-Based Bounded {ATL:} {A} New Logic for {MAS} to Express
                  a Cost Over the Actions},
  booktitle    = {{PRIMA} 2024: Principles and Practice of Multi-Agent Systems - 25th
                  International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15395},
  pages        = {206--223},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-77367-9\_16},
  doi          = {10.1007/978-3-031-77367-9\_16},
  timestamp    = {Sun, 22 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prima/CattaFM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/prima/FerrandoLMM24,
  author       = {Angelo Ferrando and
                  Giulia Luongo and
                  Vadim Malvone and
                  Aniello Murano},
  editor       = {Ryuta Arisaka and
                  V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
                  Sebastian Stein and
                  Reyhan Aydogan and
                  Leon van der Torre and
                  Takayuki Ito},
  title        = {Theory and Practice of Quantitative {ATL}},
  booktitle    = {{PRIMA} 2024: Principles and Practice of Multi-Agent Systems - 25th
                  International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15395},
  pages        = {231--247},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-77367-9\_18},
  doi          = {10.1007/978-3-031-77367-9\_18},
  timestamp    = {Sun, 22 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prima/FerrandoLMM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rcra/0001M24,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Diego Aineto and
                  Riccardo De Benedictis and
                  Marco Maratea and
                  Munyque Mittelmann and
                  Gianpiero Monaco and
                  Enrico Scala and
                  Luciano Serafini and
                  Ivan Serina and
                  Francesco Spegni and
                  Elisa Tosello and
                  Alessandro Umbrico and
                  Mauro Vallati},
  title        = {Towards a Compositional and User-friendly Tool for Multi-Agent Systems
                  Verification (short paper)},
  booktitle    = {Proceedings of the International Workshop on Artificial Intelligence
                  for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
                  2024) co-located with 23rd International Conference of the Italian
                  Association for Artificial Intelligence AIxIA 2024, November 25-28th,
                  2024, Bolzano, Italy},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3883},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3883/paper4\_SPIRIT\_Ferrando.pdf},
  timestamp    = {Thu, 16 Jan 2025 17:14:33 +0100},
  biburl       = {https://dblp.org/rec/conf/rcra/0001M24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wetice/CabriRF24,
  author       = {Giacomo Cabri and
                  Alireza Rahimi and
                  Angelo Ferrando},
  title        = {Implementation of the Digital Twin in Water 4.0},
  booktitle    = {32nd International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2024, Reggio Emilia, Italy,
                  June 26-28, 2024},
  pages        = {38--43},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/WETICE64632.2024.00016},
  doi          = {10.1109/WETICE64632.2024.00016},
  timestamp    = {Thu, 27 Feb 2025 14:04:11 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/CabriRF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wetice/MurinoFC24,
  author       = {Stefano Murino and
                  Angelo Ferrando and
                  Giacomo Cabri},
  title        = {RVElastic: a Runtime Verification Framework for Microservice Systems},
  booktitle    = {32nd International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2024, Reggio Emilia, Italy,
                  June 26-28, 2024},
  pages        = {62--67},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/WETICE64632.2024.00020},
  doi          = {10.1109/WETICE64632.2024.00020},
  timestamp    = {Thu, 27 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/MurinoFC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/woa/0001M24,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Marco Alderighi and
                  Matteo Baldoni and
                  Cristina Baroglio and
                  Roberto Micalizio and
                  Stefano Tedeschi},
  title        = {Hands-on {VITAMIN:} {A} Compositional Tool for Model Checking of Multi-Agent
                  Systems},
  booktitle    = {Proceedings of the 25th Workshop "From Objects to Agents", Bard (Aosta),
                  Italy, July 8-10, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3735},
  pages        = {148--160},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3735/paper\_12.pdf},
  timestamp    = {Fri, 26 Jul 2024 22:35:03 +0200},
  biburl       = {https://dblp.org/rec/conf/woa/0001M24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/woa/Ivan00GM24,
  author       = {Diana Ivan and
                  Angelo Ferrando and
                  Andrea Gatti and
                  Giovanna Guerrini and
                  Viviana Mascardi},
  editor       = {Marco Alderighi and
                  Matteo Baldoni and
                  Cristina Baroglio and
                  Roberto Micalizio and
                  Stefano Tedeschi},
  title        = {Integrating Procedural Ontologies in VEsNA: Study, Requirements, and
                  Preliminary Design},
  booktitle    = {Proceedings of the 25th Workshop "From Objects to Agents", Bard (Aosta),
                  Italy, July 8-10, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3735},
  pages        = {177--180},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3735/paper\_14.pdf},
  timestamp    = {Fri, 26 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/woa/Ivan00GM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2411-14367,
  author       = {Maryam Ghaffari Saadat and
                  Angelo Ferrando and
                  Louise A. Dennis and
                  Michael Fisher},
  editor       = {Matt Luckcuck and
                  Mengwei Xu},
  title        = {ROSMonitoring 2.0: Extending {ROS} Runtime Verification to Services
                  and Ordered Topics},
  booktitle    = {Proceedings Sixth International Workshop on Formal Methods for Autonomous
                  Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November
                  2024},
  series       = {{EPTCS}},
  volume       = {411},
  pages        = {38--55},
  year         = {2024},
  url          = {https://doi.org/10.4204/EPTCS.411.3},
  doi          = {10.4204/EPTCS.411.3},
  timestamp    = {Wed, 29 Jan 2025 13:47:28 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2411-14367.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2411-14368,
  author       = {Andrea Gatti and
                  Viviana Mascardi and
                  Angelo Ferrando},
  editor       = {Matt Luckcuck and
                  Mengwei Xu},
  title        = {RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?},
  booktitle    = {Proceedings Sixth International Workshop on Formal Methods for Autonomous
                  Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November
                  2024},
  series       = {{EPTCS}},
  volume       = {411},
  pages        = {73--90},
  year         = {2024},
  url          = {https://doi.org/10.4204/EPTCS.411.5},
  doi          = {10.4204/EPTCS.411.5},
  timestamp    = {Wed, 29 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2411-14368.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2411-14520,
  author       = {Paolo Burgio and
                  Angelo Ferrando and
                  Marco Villani},
  editor       = {Matt Luckcuck and
                  Mengwei Xu},
  title        = {Open Challenges in the Formal Verification of Autonomous Driving},
  booktitle    = {Proceedings Sixth International Workshop on Formal Methods for Autonomous
                  Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November
                  2024},
  series       = {{EPTCS}},
  volume       = {411},
  pages        = {191--200},
  year         = {2024},
  url          = {https://doi.org/10.4204/EPTCS.411.13},
  doi          = {10.4204/EPTCS.411.13},
  timestamp    = {Wed, 29 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2411-14520.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2403-02170,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  title        = {{VITAMIN:} {A} Compositional Framework for Model Checking of Multi-Agent
                  Systems},
  journal      = {CoRR},
  volume       = {abs/2403.02170},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.02170},
  doi          = {10.48550/ARXIV.2403.02170},
  eprinttype    = {arXiv},
  eprint       = {2403.02170},
  timestamp    = {Tue, 02 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-02170.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2404-17864,
  author       = {Massimo Bartoletti and
                  Angelo Ferrando and
                  Enrico Lipparini and
                  Vadim Malvone},
  title        = {Solvent: liquidity verification of smart contracts},
  journal      = {CoRR},
  volume       = {abs/2404.17864},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2404.17864},
  doi          = {10.48550/ARXIV.2404.17864},
  eprinttype    = {arXiv},
  eprint       = {2404.17864},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-17864.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2408-11627,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  title        = {Runtime Verification via Rational Monitor with Imperfect Information},
  journal      = {CoRR},
  volume       = {abs/2408.11627},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2408.11627},
  doi          = {10.48550/ARXIV.2408.11627},
  eprinttype    = {arXiv},
  eprint       = {2408.11627},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2408-11627.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/BelardinelliFM23,
  author       = {Francesco Belardinelli and
                  Angelo Ferrando and
                  Vadim Malvone},
  title        = {An abstraction-refinement framework for verifying strategic properties
                  in multi-agent systems with imperfect information},
  journal      = {Artif. Intell.},
  volume       = {316},
  pages        = {103847},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.artint.2022.103847},
  doi          = {10.1016/J.ARTINT.2022.103847},
  timestamp    = {Wed, 08 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BelardinelliFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ia/FerrandoM23,
  author       = {Angelo Ferrando and
                  Viviana Mascardi},
  title        = {Special issue for the 23rd workshop "from objects to agents" {(WOA}
                  2022)},
  journal      = {Intelligenza Artificiale},
  volume       = {17},
  number       = {1},
  pages        = {3--5},
  year         = {2023},
  url          = {https://doi.org/10.3233/IA-230015},
  doi          = {10.3233/IA-230015},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ia/FerrandoM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/FerrandoD23,
  author       = {Angelo Ferrando and
                  Giorgio Delzanno},
  title        = {Incrementally predictive runtime verification},
  journal      = {J. Log. Comput.},
  volume       = {33},
  number       = {4},
  pages        = {796--817},
  year         = {2023},
  url          = {https://doi.org/10.1093/logcom/exad012},
  doi          = {10.1093/LOGCOM/EXAD012},
  timestamp    = {Tue, 18 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/FerrandoD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/robotics/EngelmannFPABM23,
  author       = {D{\'{e}}bora C. Engelmann and
                  Angelo Ferrando and
                  Alison R. Panisson and
                  Davide Ancona and
                  Rafael H. Bordini and
                  Viviana Mascardi},
  title        = {RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and
                  Robotic Applications},
  journal      = {Robotics},
  volume       = {12},
  number       = {2},
  pages        = {49},
  year         = {2023},
  url          = {https://doi.org/10.3390/robotics12020049},
  doi          = {10.3390/ROBOTICS12020049},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/robotics/EngelmannFPABM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/000123,
  author       = {Angelo Ferrando},
  editor       = {Riccardo De Benedictis and
                  Matteo Castiglioni and
                  Diodato Ferraioli and
                  Vadim Malvone and
                  Marco Maratea and
                  Enrico Scala and
                  Luciano Serafini and
                  Ivan Serina and
                  Elisa Tosello and
                  Alessandro Umbrico and
                  Mauro Vallati},
  title        = {Towards a Coalition Refinement Approach in the Strategic Verification
                  of Multi-Agent Systems},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3585},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3585/paper21\_SPIRIT11.pdf},
  timestamp    = {Tue, 02 Jan 2024 17:44:44 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/000123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/0001M23,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Noa Agmon and
                  Bo An and
                  Alessandro Ricci and
                  William Yeoh},
  title        = {Towards the Verification of Strategic Properties in Multi-Agent Systems
                  with Imperfect Information},
  booktitle    = {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},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://dl.acm.org/doi/10.5555/3545946.3598713},
  doi          = {10.5555/3545946.3598713},
  timestamp    = {Tue, 23 May 2023 14:27:14 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/0001M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/0001023,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso},
  editor       = {Kobi Gal and
                  Ann Now{\'{e}} and
                  Grzegorz J. Nalepa and
                  Roy Fairstein and
                  Roxana Radulescu},
  title        = {Failure Handling in {BDI} Plans via Runtime Enforcement},
  booktitle    = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
                  September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including 12th
                  Conference on Prestigious Applications of Intelligent Systems {(PAIS}
                  2023)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {372},
  pages        = {716--723},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230336},
  doi          = {10.3233/FAIA230336},
  timestamp    = {Wed, 15 Jan 2025 15:09:07 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/0001023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emas/CardosoFCDF23,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Joe Collenette and
                  Louise A. Dennis and
                  Michael Fisher},
  editor       = {Andrei Ciortea and
                  Mehdi Dastani and
                  Jieting Luo},
  title        = {Towards Forward Responsibility in {BDI} Agents},
  booktitle    = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}
                  2023, London, UK, May 29-30, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14378},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-48539-8\_1},
  doi          = {10.1007/978-3-031-48539-8\_1},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emas/CardosoFCDF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emas/BriolaFM23,
  author       = {Daniela Briola and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Andrei Ciortea and
                  Mehdi Dastani and
                  Jieting Luo},
  title        = {Fantastic MASs and Where to Find Them: First Results and Lesson Learned},
  booktitle    = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}
                  2023, London, UK, May 29-30, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14378},
  pages        = {233--252},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-48539-8\_16},
  doi          = {10.1007/978-3-031-48539-8\_16},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emas/BriolaFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eumas/EsfahaniEFMM23,
  author       = {Zeinab Namakizadeh Esfahani and
                  D{\'{e}}bora Cristina Engelmann and
                  Angelo Ferrando and
                  Massimiliano Margarone and
                  Viviana Mascardi},
  editor       = {Vadim Malvone and
                  Aniello Murano},
  title        = {Integrating Ontologies and Cognitive Conversational Agents in On2Conv},
  booktitle    = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
                  Italy, September 14-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14282},
  pages        = {66--82},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43264-4\_5},
  doi          = {10.1007/978-3-031-43264-4\_5},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eumas/EsfahaniEFMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eumas/BeckerDSAKFCF23,
  author       = {Leandro Buss Becker and
                  Anthony Downs and
                  Craig Schlenoff and
                  Justin Albrecht and
                  Zeid Kootbally and
                  Angelo Ferrando and
                  Rafael C. Cardoso and
                  Michael Fisher},
  editor       = {Vadim Malvone and
                  Aniello Murano},
  title        = {Using a {BDI} Agent to Represent a Human on the Factory Floor of the
                  {ARIAC} 2023 Industrial Automation Competition},
  booktitle    = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
                  Italy, September 14-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14282},
  pages        = {214--227},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43264-4\_14},
  doi          = {10.1007/978-3-031-43264-4\_14},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eumas/BeckerDSAKFCF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eumas/GarjanCPPF23,
  author       = {Mahyar Sadeghi Garjan and
                  Tommy Chaanine and
                  Cecilia Pasquale and
                  Vito Paolo Pastore and
                  Angelo Ferrando},
  editor       = {Vadim Malvone and
                  Aniello Murano},
  title        = {{AGAMAS:} {A} New Agent-Oriented Traffic Simulation Framework for
                  {SUMO}},
  booktitle    = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
                  Italy, September 14-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14282},
  pages        = {396--405},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43264-4\_25},
  doi          = {10.1007/978-3-031-43264-4\_25},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eumas/GarjanCPPF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftfjp/Ancona0M23,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Aaron Tomb},
  title        = {Runtime Verification of Hash Code in Mutable Classes},
  booktitle    = {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},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3605156.3606452},
  doi          = {10.1145/3605156.3606452},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftfjp/Ancona0M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icaart/CattaFM23,
  author       = {Davide Catta and
                  Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {Coalition Alternating-Time Temporal Logic: {A} Logic to Find Good
                  Coalitions to Achieve Strategic Objectives},
  booktitle    = {Agents and Artificial Intelligence - 15th International Conference,
                  {ICAART} 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14546},
  pages        = {72--94},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-55326-4\_4},
  doi          = {10.1007/978-3-031-55326-4\_4},
  timestamp    = {Mon, 25 Mar 2024 20:43:52 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/CattaFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icaart/0001M23,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {How to Find Good Coalitions to Achieve Strategic Objectives},
  booktitle    = {Proceedings of the 15th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
                  22-24, 2023},
  pages        = {105--113},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0011778700003393},
  doi          = {10.5220/0011778700003393},
  timestamp    = {Tue, 09 May 2023 16:56:35 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/0001M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/Belardinelli0JM23,
  author       = {Francesco Belardinelli and
                  Angelo Ferrando and
                  Wojciech Jamroga and
                  Vadim Malvone and
                  Aniello Murano},
  title        = {Scalable Verification of Strategy Logic through Three-Valued Abstraction},
  booktitle    = {Proceedings of the Thirty-Second International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
                  SAR, China},
  pages        = {46--54},
  publisher    = {ijcai.org},
  year         = {2023},
  url          = {https://doi.org/10.24963/ijcai.2023/6},
  doi          = {10.24963/IJCAI.2023/6},
  timestamp    = {Tue, 15 Oct 2024 16:43:28 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Belardinelli0JM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/Chaanine0PPGS23,
  author       = {Tommy Chaanine and
                  Angelo Ferrando and
                  Cecilia Pasquale and
                  Vito Paolo Pastore and
                  Mahyar Sadeghi Garjan and
                  S. Siri},
  title        = {A Control-Oriented Highway Traffic Model with Multiple Clusters of
                  CAVs},
  booktitle    = {25th {IEEE} International Conference on Intelligent Transportation
                  Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
  pages        = {5198--5203},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ITSC57777.2023.10421830},
  doi          = {10.1109/ITSC57777.2023.10421830},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/Chaanine0PPGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/FerrandoD23,
  author       = {Angelo Ferrando and
                  Giorgio Delzanno},
  editor       = {Olivier Bournez and
                  Enrico Formenti and
                  Igor Potapov},
  title        = {HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification},
  booktitle    = {Reachability Problems - 17th International Conference, {RP} 2023,
                  Nice, France, October 11-13, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14235},
  pages        = {171--182},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45286-4\_13},
  doi          = {10.1007/978-3-031-45286-4\_13},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/FerrandoD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vortex/0001GM23,
  author       = {Angelo Ferrando and
                  Andrea Gatti and
                  Viviana Mascardi},
  editor       = {Davide Ancona and
                  Giorgio Audrito},
  title        = {RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for
                  Verifying ChatBots in Rasa},
  booktitle    = {Proceedings of the 6th International Workshop on Verification and
                  Monitoring at Runtime Execution, {VORTEX} 2023, Seattle, WA, USA,
                  18 July 2023},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3605159.3605855},
  doi          = {10.1145/3605159.3605855},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vortex/0001GM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wetice/FerrandoMMS23,
  author       = {Angelo Ferrando and
                  Vadim Malvone and
                  Aniello Murano and
                  Silvia Stranieri},
  title        = {{HYASM:} {A} Tool to Verify Hierarchical Systems},
  booktitle    = {{IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2023, Paris, France, December
                  14-16, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/WETICE57085.2023.10477788},
  doi          = {10.1109/WETICE57085.2023.10477788},
  timestamp    = {Mon, 08 Apr 2024 17:30:24 +0200},
  biburl       = {https://dblp.org/rec/conf/wetice/FerrandoMMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/woa/UnniyankalB0M23,
  author       = {Hisham Unniyankal and
                  Francesco Belardinelli and
                  Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Rino Falcone and
                  Cristiano Castelfranchi and
                  Alessandro Sapienza and
                  Filippo Cantucci},
  title        = {RMLGym: a Formal Reward Machine Framework for Reinforcement Learning},
  booktitle    = {Proceedings of the 24th Workshop "From Objects to Agents", Roma, Italy,
                  November 6-8, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3579},
  pages        = {1--16},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3579/paper1.pdf},
  timestamp    = {Thu, 14 Dec 2023 18:10:23 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/UnniyankalB0M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02341,
  author       = {Robert Abela and
                  Christian Colombo and
                  Axel Curmi and
                  Mattea Fenech and
                  Mark Vella and
                  Angelo Ferrando},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Runtime Verification for Trustworthy Computing},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {49--62},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.7},
  doi          = {10.4204/EPTCS.391.7},
  timestamp    = {Mon, 06 Nov 2023 15:17:28 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02341.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-09787,
  author       = {Francesco Belardinelli and
                  Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Marie Farrell and
                  Matt Luckcuck and
                  Mario Gleirscher and
                  Maike Schwammberger},
  title        = {3vLTL: {A} Tool to Generate Automata for Three-valued {LTL}},
  booktitle    = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
                  Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
                  November 2023},
  series       = {{EPTCS}},
  volume       = {395},
  pages        = {180--187},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.395.13},
  doi          = {10.4204/EPTCS.395.13},
  timestamp    = {Tue, 07 May 2024 20:16:46 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-09787.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/Ancona0M23,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {David Scott Warren and
                  Ver{\'{o}}nica Dahl and
                  Thomas Eiter and
                  Manuel V. Hermenegildo and
                  Robert A. Kowalski and
                  Francesca Rossi},
  title        = {Exploiting Logic Programming for Runtime Verification: Current and
                  Future Perspectives},
  booktitle    = {Prolog: The Next 50 Years},
  series       = {Lecture Notes in Computer Science},
  volume       = {13900},
  pages        = {300--317},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-35254-6\_25},
  doi          = {10.1007/978-3-031-35254-6\_25},
  timestamp    = {Tue, 23 Jan 2024 13:25:47 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/Ancona0M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2310-17219,
  author       = {Francesco Belardinelli and
                  Angelo Ferrando and
                  Wojciech Jamroga and
                  Vadim Malvone and
                  Aniello Murano},
  title        = {Scalable Verification of Strategy Logic through Three-valued Abstraction},
  journal      = {CoRR},
  volume       = {abs/2310.17219},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.17219},
  doi          = {10.48550/ARXIV.2310.17219},
  eprinttype    = {arXiv},
  eprint       = {2310.17219},
  timestamp    = {Thu, 02 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-17219.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ia/LosapioMMF22,
  author       = {Gianvito Losapio and
                  Federico Minutoli and
                  Viviana Mascardi and
                  Angelo Ferrando},
  title        = {Smart balancing of E-scooter sharing systems via deep reinforcement
                  learning: a preliminary study},
  journal      = {Intelligenza Artificiale},
  volume       = {16},
  number       = {1},
  pages        = {49--67},
  year         = {2022},
  url          = {https://doi.org/10.3233/IA-210126},
  doi          = {10.3233/IA-210126},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ia/LosapioMMF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/0001M22,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Riccardo De Benedictis and
                  Nicola Gatti and
                  Marco Maratea and
                  Andrea Micheli and
                  Aniello Murano and
                  Enrico Scala and
                  Luciano Serafini and
                  Ivan Serina and
                  Alessandro Umbrico and
                  Mauro Vallati},
  title        = {Give Me a Hand: How to Use Model Checking for Multi-Agent Systems
                  to Help Runtime Verification and Vice Versa (Short Paper)},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3345},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3345/paper16\_Spirit5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/0001M22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/0001C22,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso},
  editor       = {Piotr Faliszewski and
                  Viviana Mascardi and
                  Catherine Pelachaud and
                  Matthew E. Taylor},
  title        = {Safety Shields, an Automated Failure Handling Mechanism for {BDI}
                  Agents},
  booktitle    = {21st International Conference on Autonomous Agents and Multiagent
                  Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
  pages        = {1589--1591},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  {(IFAAMAS)}},
  year         = {2022},
  url          = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1589.pdf},
  doi          = {10.5555/3535850.3536044},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/0001C22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/AnconaFM22,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Roberta Calegari and
                  Giovanni Ciatto and
                  Andrea Omicini},
  title        = {Exploiting Probabilistic Trace Expressions for Decentralized Runtime
                  Verification with Gaps},
  booktitle    = {Proceedings of the 37th Italian Conference on Computational Logic,
                  Bologna, Italy, June 29 - July 1, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3204},
  pages        = {154--170},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3204/paper\_17.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AnconaFM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eumas/AnconaFM22,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Dorothea Baumeister and
                  J{\"{o}}rg Rothe},
  title        = {Mind the Gap! Runtime Verification of Partially Observable MASs with
                  Probabilistic Trace Expressions},
  booktitle    = {Multi-Agent Systems - 19th European Conference, {EUMAS} 2022, D{\"{u}}sseldorf,
                  Germany, September 14-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13442},
  pages        = {22--40},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20614-6\_2},
  doi          = {10.1007/978-3-031-20614-6\_2},
  timestamp    = {Wed, 21 Dec 2022 18:19:12 +0100},
  biburl       = {https://dblp.org/rec/conf/eumas/AnconaFM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/helmeto/Delzanno0GPZ22,
  author       = {Giorgio Delzanno and
                  Angelo Ferrando and
                  Giovanna Guerrini and
                  Matteo Pusceddu and
                  Giovanni Zanone},
  editor       = {Giovanni Fulantelli and
                  Daniel Burgos and
                  Gabriella Casalino and
                  Marta Cimitile and
                  Giosu{\`{e}} Lo Bosco and
                  Davide Taibi},
  title        = {Coding Maps: {A} Distance Laboratory on Computational Thinking Inspired
                  by Modal Logic},
  booktitle    = {Higher Education Learning Methodologies and Technologies Online -
                  4th International Conference, HELMeTO 2022, Palermo, Italy, September
                  21-23, 2022, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1779},
  pages        = {497--508},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-29800-4\_38},
  doi          = {10.1007/978-3-031-29800-4\_38},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/helmeto/Delzanno0GPZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icaart/FerrandoC22,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {{RVPLAN:} Runtime Verification of Assumptions in Automated Planning},
  booktitle    = {Proceedings of the 14th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2022, Volume 2, Online Streaming, February
                  3-5, 2022},
  pages        = {67--77},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  url          = {https://doi.org/10.5220/0010776500003116},
  doi          = {10.5220/0010776500003116},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/FerrandoC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/FarrellMFDG22,
  author       = {Marie Farrell and
                  Nikos Mavrakis and
                  Angelo Ferrando and
                  Clare Dixon and
                  Yang Gao},
  editor       = {Maurice H. ter Beek and
                  Rosemary Monahan},
  title        = {Journal-First: Formal Modelling and Runtime Verification of Autonomous
                  Grasping for Active Debris Removal},
  booktitle    = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
                  Lugano, Switzerland, June 7-10, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13274},
  pages        = {39--44},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07727-2\_3},
  doi          = {10.1007/978-3-031-07727-2\_3},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/FarrellMFDG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paams/FerrandoM22,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Frank Dignum and
                  Philippe Mathieu and
                  Juan Manuel Corchado and
                  Fernando de la Prieta},
  title        = {Towards the Combination of Model Checking and Runtime Verification
                  on Multi-agent Systems},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {13616},
  pages        = {140--152},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-18192-4\_12},
  doi          = {10.1007/978-3-031-18192-4\_12},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paams/FerrandoM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/FerrandoM22,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Bernd{-}Holger Schlingloff and
                  Ming Chai},
  title        = {Runtime Verification with Imperfect Information Through Indistinguishability
                  Relations},
  booktitle    = {Software Engineering and Formal Methods - 20th International Conference,
                  {SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13550},
  pages        = {335--351},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17108-6\_21},
  doi          = {10.1007/978-3-031-17108-6\_21},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/FerrandoM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2207-09708,
  author       = {D{\'{e}}bora C. Engelmann and
                  Angelo Ferrando and
                  Alison R. Panisson and
                  Davide Ancona and
                  Rafael H. Bordini and
                  Viviana Mascardi},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Fabio Papacchini and
                  Mehrnoosh Askarpour and
                  Louise A. Dennis},
  title        = {RV4JaCa - Runtime Verification for Multi-Agent Systems},
  booktitle    = {Proceedings of the Second Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July
                  2022},
  series       = {{EPTCS}},
  volume       = {362},
  pages        = {23--36},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.362.5},
  doi          = {10.4204/EPTCS.362.5},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-09708.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2209-14044,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Michael Fisher},
  editor       = {Matt Luckcuck and
                  Marie Farrell},
  title        = {Extending Attack-Fault Trees with Runtime Verification},
  booktitle    = {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},
  series       = {{EPTCS}},
  volume       = {371},
  pages        = {193--207},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.371.14},
  doi          = {10.4204/EPTCS.371.14},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-14044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2202-09344,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  title        = {Towards the Combination of Model Checking and Runtime Verification
                  on Multi-Agent Systems},
  journal      = {CoRR},
  volume       = {abs/2202.09344},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.09344},
  eprinttype    = {arXiv},
  eprint       = {2202.09344},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-09344.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2208-05507,
  author       = {Matt Luckcuck and
                  Marie Farrell and
                  Angelo Ferrando and
                  Rafael C. Cardoso and
                  Louise A. Dennis and
                  Michael Fisher},
  title        = {A Compositional Approach to Verifying Modular Robotic Systems},
  journal      = {CoRR},
  volume       = {abs/2208.05507},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.05507},
  doi          = {10.48550/ARXIV.2208.05507},
  eprinttype    = {arXiv},
  eprint       = {2208.05507},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-05507.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2211-11544,
  author       = {Luca Ciccone and
                  Francesco Dagnino and
                  Angelo Ferrando},
  title        = {Ain't No Stopping Us Monitoring Now},
  journal      = {CoRR},
  volume       = {abs/2211.11544},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.11544},
  doi          = {10.48550/ARXIV.2211.11544},
  eprinttype    = {arXiv},
  eprint       = {2211.11544},
  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-11544.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computers/CardosoF21,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando},
  title        = {A Review of Agent-Based Programming for Multi-Agent Systems},
  journal      = {Comput.},
  volume       = {10},
  number       = {2},
  pages        = {16},
  year         = {2021},
  url          = {https://doi.org/10.3390/computers10020016},
  doi          = {10.3390/COMPUTERS10020016},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computers/CardosoF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/firai/FarrellMFDG21,
  author       = {Marie Farrell and
                  Nikos Mavrakis and
                  Angelo Ferrando and
                  Clare Dixon and
                  Yang Gao},
  title        = {Formal Modelling and Runtime Verification of Autonomous Grasping for
                  Active Debris Removal},
  journal      = {Frontiers Robotics {AI}},
  volume       = {8},
  pages        = {639282},
  year         = {2021},
  url          = {https://doi.org/10.3389/frobt.2021.639282},
  doi          = {10.3389/FROBT.2021.639282},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/firai/FarrellMFDG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FerrandoCFLPFM21,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso and
                  Marie Farrell and
                  Matt Luckcuck and
                  Fabio Papacchini and
                  Michael Fisher and
                  Viviana Mascardi},
  title        = {Bridging the gap between single- and multi-model predictive runtime
                  verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {44--76},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00395-7},
  doi          = {10.1007/S10703-022-00395-7},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/FerrandoCFLPFM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ConchonDF21,
  author       = {Sylvain Conchon and
                  Giorgio Delzanno and
                  Angelo Ferrando},
  title        = {Declarative Parameterized Verification of Distributed Protocols via
                  the Cubicle Model Checker},
  journal      = {Fundam. Informaticae},
  volume       = {178},
  number       = {4},
  pages        = {347--378},
  year         = {2021},
  url          = {https://doi.org/10.3233/FI-2021-2010},
  doi          = {10.3233/FI-2021-2010},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/ConchonDF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsan/CardosoFBMA21,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Agents and Robots for Reliable Engineered Autonomy: {A} Perspective
                  from the Organisers of {AREA} 2020},
  journal      = {J. Sens. Actuator Networks},
  volume       = {10},
  number       = {2},
  pages        = {33},
  year         = {2021},
  url          = {https://doi.org/10.3390/jsan10020033},
  doi          = {10.3390/JSAN10020033},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsan/CardosoFBMA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsan/CardosoFBMA21a,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Special Issue: Agents and Robots for Reliable Engineered Autonomy},
  journal      = {J. Sens. Actuator Networks},
  volume       = {10},
  number       = {3},
  pages        = {47},
  year         = {2021},
  url          = {https://doi.org/10.3390/jsan10030047},
  doi          = {10.3390/JSAN10030047},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsan/CardosoFBMA21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/robotics/FisherCCDDDFFHJ21,
  author       = {Michael Fisher and
                  Rafael C. Cardoso and
                  Emily C. Collins and
                  Christopher Dadswell and
                  Louise A. Dennis and
                  Clare Dixon and
                  Marie Farrell and
                  Angelo Ferrando and
                  Xiaowei Huang and
                  Mike Jump and
                  Georgios Kourtis and
                  Alexei Lisitsa and
                  Matt Luckcuck and
                  Shan Luo and
                  Vincent Pag{\'{e}} and
                  Fabio Papacchini and
                  Matt Webster},
  title        = {An Overview of Verification and Validation Challenges for Inspection
                  Robots},
  journal      = {Robotics},
  volume       = {10},
  number       = {2},
  pages        = {67},
  year         = {2021},
  url          = {https://doi.org/10.3390/robotics10020067},
  doi          = {10.3390/ROBOTICS10020067},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/robotics/FisherCCDDDFFHJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AnconaFFM21,
  author       = {Davide Ancona and
                  Luca Franceschini and
                  Angelo Ferrando and
                  Viviana Mascardi},
  title        = {{RML:} Theory and practice of a domain specific language for runtime
                  verification},
  journal      = {Sci. Comput. Program.},
  volume       = {205},
  pages        = {102610},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102610},
  doi          = {10.1016/J.SCICO.2021.102610},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AnconaFFM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/FerrandoDCFAM21,
  author       = {Angelo Ferrando and
                  Louise A. Dennis and
                  Rafael C. Cardoso and
                  Michael Fisher and
                  Davide Ancona and
                  Viviana Mascardi},
  title        = {Toward a Holistic Approach to Verification and Validation of Autonomous
                  Cognitive Systems},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {30},
  number       = {4},
  pages        = {43:1--43:43},
  year         = {2021},
  url          = {https://doi.org/10.1145/3447246},
  doi          = {10.1145/3447246},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/FerrandoDCFAM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/FerrandoM21,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Frank Dignum and
                  Alessio Lomuscio and
                  Ulle Endriss and
                  Ann Now{\'{e}}},
  title        = {Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under
                  Imperfect Information and Perfect Recall},
  booktitle    = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
                  Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
  pages        = {1764--1766},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1764.pdf},
  doi          = {10.5555/3463952.3464230},
  timestamp    = {Wed, 20 Jul 2022 17:03:47 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/FerrandoM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FerrandoD21,
  author       = {Angelo Ferrando and
                  Giorgio Delzanno},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Incrementally Predictive Runtime Verification},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {92--106},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper25.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FerrandoD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emas/CardosoFD021,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Louise A. Dennis and
                  Michael Fisher},
  editor       = {Natasha Alechina and
                  Matteo Baldoni and
                  Brian Logan},
  title        = {Implementing Ethical Governors in {BDI}},
  booktitle    = {Engineering Multi-Agent Systems - 9th International Workshop, {EMAS}
                  2021, Virtual Event, May 3-4, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13190},
  pages        = {22--41},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-97457-2\_2},
  doi          = {10.1007/978-3-030-97457-2\_2},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emas/CardosoFD021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emas/FerrandoP21,
  author       = {Angelo Ferrando and
                  Fabio Papacchini},
  editor       = {Natasha Alechina and
                  Matteo Baldoni and
                  Brian Logan},
  title        = {StreamB: {A} Declarative Language for Automatically Processing Data
                  Streams in Abstract Environments for Agent Platforms},
  booktitle    = {Engineering Multi-Agent Systems - 9th International Workshop, {EMAS}
                  2021, Virtual Event, May 3-4, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13190},
  pages        = {114--136},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-97457-2\_7},
  doi          = {10.1007/978-3-030-97457-2\_7},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emas/FerrandoP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flairs/CardosoMSFD021,
  author       = {Rafael C. Cardoso and
                  John L. Michaloski and
                  Craig Schlenoff and
                  Angelo Ferrando and
                  Louise A. Dennis and
                  Michael Fisher},
  editor       = {Eric Bell and
                  Fazel Keshtkar},
  title        = {Agile Tasking of Robotic Systems with Explicit Autonomy},
  booktitle    = {Proceedings of the Thirty-Fourth International Florida Artificial
                  Intelligence Research Society Conference, North Miami Beach, Florida,
                  USA, May 17-19, 2021},
  year         = {2021},
  url          = {https://doi.org/10.32473/flairs.v34i1.128481},
  doi          = {10.32473/FLAIRS.V34I1.128481},
  timestamp    = {Wed, 26 Oct 2022 08:35:05 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/CardosoMSFD021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/FerrandoM21,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Claudio Sacerdoti Coen and
                  Ivano Salvo},
  title        = {Combine Model Checking and Runtime Verification in Multi-Agent Systems},
  booktitle    = {Proceedings of the 22nd Italian Conference on Theoretical Computer
                  Science, Bologna, Italy, September 13-15, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3072},
  pages        = {302--310},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3072/paper25.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/FerrandoM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/0001FC21,
  author       = {Michael Fisher and
                  Angelo Ferrando and
                  Rafael C. Cardoso},
  editor       = {Wolfgang Ahrendt and
                  Davide Ancona and
                  Adrian Francalanza},
  title        = {Increasing confidence in autonomous systems},
  booktitle    = {{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},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3464974.3468452},
  doi          = {10.1145/3464974.3468452},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/0001FC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/FerrandoC21,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso},
  editor       = {Wolfgang Ahrendt and
                  Davide Ancona and
                  Adrian Francalanza},
  title        = {{RVPLAN:} a general purpose framework for replanning using runtime
                  verification},
  booktitle    = {{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},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3464974.3468447},
  doi          = {10.1145/3464974.3468447},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/FerrandoC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paams/CardosoFP21,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Fabio Papacchini},
  editor       = {Frank Dignum and
                  Juan Manuel Corchado and
                  Fernando de la Prieta},
  title        = {Automated Planning and {BDI} Agents: {A} Case Study},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {12946},
  pages        = {52--63},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85739-4\_5},
  doi          = {10.1007/978-3-030-85739-4\_5},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/paams/CardosoFP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/woa/LosapioMMF21,
  author       = {Gianvito Losapio and
                  Federico Minutoli and
                  Viviana Mascardi and
                  Angelo Ferrando},
  editor       = {Roberta Calegari and
                  Giovanni Ciatto and
                  Enrico Denti and
                  Andrea Omicini and
                  Giovanni Sartor},
  title        = {Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement
                  Learning},
  booktitle    = {Proceedings of the 22nd Workshop "From Objects to Agents", Bologna,
                  Italy, September 1-3, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2963},
  pages        = {83--97},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2963/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:40 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/LosapioMMF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12585,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Towards Partial Monitoring: It is Always too Soon to Give Up},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {38--53},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.3},
  doi          = {10.4204/EPTCS.348.3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12585.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2110-08172,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Fabio Papacchini and
                  Matt Luckcuck and
                  Sven Linker and
                  Terry R. Payne},
  title        = {{MLFC:} From 10 to 50 Planners in the Multi-Agent Programming Contest},
  journal      = {CoRR},
  volume       = {abs/2110.08172},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.08172},
  eprinttype    = {arXiv},
  eprint       = {2110.08172},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-08172.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2112-13621,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  title        = {Towards the Verification of Strategic Properties in Multi-Agent Systems
                  with Imperfect Information},
  journal      = {CoRR},
  volume       = {abs/2112.13621},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.13621},
  eprinttype    = {arXiv},
  eprint       = {2112.13621},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-13621.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/FerrandoKPCS020,
  author       = {Angelo Ferrando and
                  Zeid Kootbally and
                  Pavel Piliptchak and
                  Rafael C. Cardoso and
                  Craig Schlenoff and
                  Michael Fisher},
  editor       = {Alberto Finzi and
                  Alberto Castellini and
                  Luca Buoncompagni and
                  Salvatore Maria Anzalone},
  title        = {Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile
                  and Safe at the same time?},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2806},
  pages        = {7--11},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2806/short2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/FerrandoKPCS020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eumas/CardosoFDF20,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Louise A. Dennis and
                  Michael Fisher},
  editor       = {Nick Bassiliades and
                  Georgios Chalkiadakis and
                  Dave de Jonge},
  title        = {An Interface for Programming Verifiable Autonomous Agents in {ROS}},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {12520},
  pages        = {191--205},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-66412-1\_13},
  doi          = {10.1007/978-3-030-66412-1\_13},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eumas/CardosoFDF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/CardosoFLF020,
  author       = {Rafael C. Cardoso and
                  Marie Farrell and
                  Matt Luckcuck and
                  Angelo Ferrando and
                  Michael Fisher},
  editor       = {Ritchie Lee and
                  Susmit Jha and
                  Anastasia Mavridou},
  title        = {Heterogeneous Verification of an Autonomous Curiosity Rover},
  booktitle    = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
                  Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12229},
  pages        = {353--360},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-55754-6\_20},
  doi          = {10.1007/978-3-030-55754-6\_20},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/CardosoFLF020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paams/BiagettiFM20,
  author       = {Alessandro Biagetti and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Yves Demazeau and
                  Tom Holvoet and
                  Juan M. Corchado and
                  Stefania Costantini},
  title        = {The DigForSim Agent Based Simulator of People Movements in Crime Scenes},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {12092},
  pages        = {42--54},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-49778-1\_4},
  doi          = {10.1007/978-3-030-49778-1\_4},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paams/BiagettiFM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/taros/FerrandoC0AFM20,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso and
                  Michael Fisher and
                  Davide Ancona and
                  Luca Franceschini and
                  Viviana Mascardi},
  editor       = {Abdelkhalick Mohammad and
                  Xin Dong and
                  Matteo Russo},
  title        = {ROSMonitoring: {A} Runtime Verification Framework for {ROS}},
  booktitle    = {Towards Autonomous Robotic Systems - 21st Annual Conference, {TAROS}
                  2020, Nottingham, UK, September 16, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12228},
  pages        = {387--399},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63486-5\_40},
  doi          = {10.1007/978-3-030-63486-5\_40},
  timestamp    = {Wed, 08 Jan 2025 15:39:09 +0100},
  biburl       = {https://dblp.org/rec/conf/taros/FerrandoC0AFM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/um/DelzannoGMGPVFA20,
  author       = {Giorgio Delzanno and
                  Giovanna Guerrini and
                  Viviana Mascardi and
                  Luca Gelati and
                  Vincenzo Petito and
                  Francesca Vitali and
                  Angelo Ferrando and
                  Davide Ancona and
                  Manuela Chessa and
                  Nicoletta Noceti and
                  Francesca Odone},
  editor       = {Tsvi Kuflik and
                  Ilaria Torre and
                  Robin Burke and
                  Cristina Gena},
  title        = {Slow Rogaining: An Innovative Teamwork Model for Computer Science
                  Education},
  booktitle    = {Adjunct Publication of the 28th {ACM} Conference on User Modeling,
                  Adaptation and Personalization, {UMAP} 2020, Genoa, Italy, July 12-18,
                  2020},
  pages        = {119--126},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3386392.3399310},
  doi          = {10.1145/3386392.3399310},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/um/DelzannoGMGPVFA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-00391,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Ornela Dardha and
                  Jurriaan Rot},
  title        = {Can determinism and compositionality coexist in RML?},
  booktitle    = {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},
  series       = {{EPTCS}},
  volume       = {322},
  pages        = {13--32},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.322.4},
  doi          = {10.4204/EPTCS.322.4},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-00391.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2006-02736,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Fabio Papacchini},
  title        = {{LFC:} Combining Autonomous Agents and Automated Planning in the Multi-Agent
                  Programming Contest},
  journal      = {CoRR},
  volume       = {abs/2006.02736},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.02736},
  eprinttype    = {arXiv},
  eprint       = {2006.02736},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-02736.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2007-10045,
  author       = {Rafael C. Cardoso and
                  Marie Farrell and
                  Matt Luckcuck and
                  Angelo Ferrando and
                  Michael Fisher},
  title        = {Heterogeneous Verification of an Autonomous Curiosity Rover},
  journal      = {CoRR},
  volume       = {abs/2007.10045},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.10045},
  eprinttype    = {arXiv},
  eprint       = {2007.10045},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-10045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2008-06453,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  title        = {Can determinism and compositionality coexist in RML? (extended version)},
  journal      = {CoRR},
  volume       = {abs/2008.06453},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.06453},
  eprinttype    = {arXiv},
  eprint       = {2008.06453},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-06453.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Ferrando19,
  author       = {Angelo Ferrando},
  title        = {An Unexpected Journey: Towards Runtime Verification of Multiagent
                  Systems and Beyond},
  school       = {University of Genoa, Italy},
  year         = {2019},
  url          = {http://hdl.handle.net/11567/941698},
  doi          = {10.15167/FERRANDO-ANGELO\_PHD2019-03-14},
  timestamp    = {Fri, 06 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Ferrando19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Ferrando19,
  author       = {Angelo Ferrando},
  title        = {The early bird catches the worm: First verify, then monitor!},
  journal      = {Sci. Comput. Program.},
  volume       = {172},
  pages        = {160--179},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2018.11.008},
  doi          = {10.1016/J.SCICO.2018.11.008},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Ferrando19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/FerrandoWCDM19,
  author       = {Angelo Ferrando and
                  Michael Winikoff and
                  Stephen Cranefield and
                  Frank Dignum and
                  Viviana Mascardi},
  editor       = {Edith Elkind and
                  Manuela Veloso and
                  Noa Agmon and
                  Matthew E. Taylor},
  title        = {On Enactability of Agent Interaction Protocols: Towards a Unified
                  Approach},
  booktitle    = {Proceedings of the 18th International Conference on Autonomous Agents
                  and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
                  2019},
  pages        = {1955--1957},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems},
  year         = {2019},
  url          = {http://dl.acm.org/citation.cfm?id=3331975},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/FerrandoWCDM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CicconeFAM19,
  author       = {Luca Ciccone and
                  Angelo Ferrando and
                  Davide Ancona and
                  Viviana Mascardi},
  editor       = {Alberto Casagrande and
                  Eugenio G. Omodeo},
  title        = {Timed Trace Expressions},
  booktitle    = {Proceedings of the 34th Italian Conference on Computational Logic,
                  Trieste, Italy, June 19-21, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2396},
  pages        = {229--241},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2396/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CicconeFAM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emas/FerrandoWCDM19,
  author       = {Angelo Ferrando and
                  Michael Winikoff and
                  Stephen Cranefield and
                  Frank Dignum and
                  Viviana Mascardi},
  editor       = {Louise A. Dennis and
                  Rafael H. Bordini and
                  Yves Lesp{\'{e}}rance},
  title        = {On Enactability of Agent Interaction Protocols: Towards a Unified
                  Approach},
  booktitle    = {Engineering Multi-Agent Systems - 7th International Workshop, {EMAS}
                  2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12058},
  pages        = {43--64},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-51417-4\_3},
  doi          = {10.1007/978-3-030-51417-4\_3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emas/FerrandoWCDM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/AnconaFFM19,
  author       = {Davide Ancona and
                  Luca Franceschini and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Alessandra Cherubini and
                  Nicoletta Sabadini and
                  Simone Tini},
  title        = {A Deterministic Event Calculus for Effective Runtime Verification},
  booktitle    = {Proceedings of the 20th Italian Conference on Theoretical Computer
                  Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2504},
  pages        = {248--260},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2504/paper28.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/AnconaFFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/prima/CaponeBMDFGG19,
  author       = {Chiara Capone and
                  Rafael H. Bordini and
                  Viviana Mascardi and
                  Giorgio Delzanno and
                  Angelo Ferrando and
                  Luca Gelati and
                  Giovanna Guerrini},
  editor       = {Matteo Baldoni and
                  Mehdi Dastani and
                  Beishui Liao and
                  Yuko Sakurai and
                  Rym Zalila{-}Wenkstern},
  title        = {Smart RogAgent: Where Agents and Humans Team Up},
  booktitle    = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
                  International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11873},
  pages        = {541--549},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33792-6\_39},
  doi          = {10.1007/978-3-030-33792-6\_39},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prima/CaponeBMDFGG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/ZhaoOLRFHFPF19,
  author       = {Xingyu Zhao and
                  Matthew Osborne and
                  Jenny Lantair and
                  Valentin Robu and
                  David Flynn and
                  Xiaowei Huang and
                  Michael Fisher and
                  Fabio Papacchini and
                  Angelo Ferrando},
  editor       = {Peter Csaba {\"{O}}lveczky and
                  Gwen Sala{\"{u}}n},
  title        = {Towards Integrating Formal Verification of Autonomous Robots with
                  Battery Prognostics and Health Management},
  booktitle    = {Software Engineering and Formal Methods - 17th International Conference,
                  {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11724},
  pages        = {105--124},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30446-1\_6},
  doi          = {10.1007/978-3-030-30446-1\_6},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/ZhaoOLRFHFPF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/CardosoFP19,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Fabio Papacchini},
  title        = {{LFC:} Combining Autonomous Agents and Automated Planning in the Multi-Agent
                  Programming Contest},
  booktitle    = {The Multi-Agent Programming Contest},
  pages        = {31--58},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-59299-8\_2},
  doi          = {10.1007/978-3-030-59299-8\_2},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/CardosoFP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1902-01131,
  author       = {Angelo Ferrando and
                  Michael Winikoff and
                  Stephen Cranefield and
                  Frank Dignum and
                  Viviana Mascardi},
  title        = {On the Enactability of Agent Interaction Protocols: Toward a Unified
                  Approach},
  journal      = {CoRR},
  volume       = {abs/1902.01131},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.01131},
  eprinttype    = {arXiv},
  eprint       = {1902.01131},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-01131.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1909-03019,
  author       = {Xingyu Zhao and
                  Matthew Osborne and
                  Jenny Lantair and
                  Valentin Robu and
                  David Flynn and
                  Xiaowei Huang and
                  Michael Fisher and
                  Fabio Papacchini and
                  Angelo Ferrando},
  title        = {Towards Integrating Formal Verification of Autonomous Robots with
                  Battery Prognostics and Health Management},
  journal      = {CoRR},
  volume       = {abs/1909.03019},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.03019},
  eprinttype    = {arXiv},
  eprint       = {1909.03019},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-03019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijaose/AnconaFM18,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  title        = {Improving flexibility and dependability of remote patient monitoring
                  with agent-oriented approaches},
  journal      = {Int. J. Agent Oriented Softw. Eng.},
  volume       = {6},
  number       = {3/4},
  pages        = {402--442},
  year         = {2018},
  url          = {https://doi.org/10.1504/IJAOSE.2018.096422},
  doi          = {10.1504/IJAOSE.2018.096422},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijaose/AnconaFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/FerrandoDA0M18,
  author       = {Angelo Ferrando and
                  Louise A. Dennis and
                  Davide Ancona and
                  Michael Fisher and
                  Viviana Mascardi},
  editor       = {Elisabeth Andr{\'{e}} and
                  Sven Koenig and
                  Mehdi Dastani and
                  Gita Sukthankar},
  title        = {Recognising Assumption Violations in Autonomous Systems Verification},
  booktitle    = {Proceedings of the 17th International Conference on Autonomous Agents
                  and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
                  2018},
  pages        = {1933--1935},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  Richland, SC, {USA} / {ACM}},
  year         = {2018},
  url          = {http://dl.acm.org/citation.cfm?id=3238028},
  timestamp    = {Sat, 30 Sep 2023 09:34:53 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/FerrandoDA0M18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/netys/ConchonDF18,
  author       = {Sylvain Conchon and
                  Giorgio Delzanno and
                  Angelo Ferrando},
  editor       = {Andreas Podelski and
                  Fran{\c{c}}ois Ta{\"{\i}}ani},
  title        = {Declarative Parameterized Verification of Topology-Sensitive Distributed
                  Protocols},
  booktitle    = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
                  Morocco, May 9-11, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11028},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-05529-5\_14},
  doi          = {10.1007/978-3-030-05529-5\_14},
  timestamp    = {Tue, 21 Mar 2023 21:02:48 +0100},
  biburl       = {https://dblp.org/rec/conf/netys/ConchonDF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paams/AnconaFFM18,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Luca Franceschini and
                  Viviana Mascardi},
  editor       = {Yves Demazeau and
                  Bo An and
                  Javier Bajo and
                  Antonio Fern{\'{a}}ndez{-}Caballero},
  title        = {Coping with Bad Agent Interaction Protocols When Monitoring Partially
                  Observable Multiagent Systems},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10978},
  pages        = {59--71},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94580-4\_5},
  doi          = {10.1007/978-3-319-94580-4\_5},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/paams/AnconaFFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paams/AnconaFFM18a,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Luca Franceschini and
                  Viviana Mascardi},
  editor       = {Yves Demazeau and
                  Bo An and
                  Javier Bajo and
                  Antonio Fern{\'{a}}ndez{-}Caballero},
  title        = {Managing Bad AIPs with RIVERtools},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10978},
  pages        = {296--300},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94580-4\_24},
  doi          = {10.1007/978-3-319-94580-4\_24},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/paams/AnconaFFM18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FerrandoDA0M18,
  author       = {Angelo Ferrando and
                  Louise A. Dennis and
                  Davide Ancona and
                  Michael Fisher and
                  Viviana Mascardi},
  editor       = {Christian Colombo and
                  Martin Leucker},
  title        = {Verifying and Validating Autonomous Systems: Towards an Integrated
                  Approach},
  booktitle    = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
                  Cyprus, November 10-13, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11237},
  pages        = {263--281},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03769-7\_15},
  doi          = {10.1007/978-3-030-03769-7\_15},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/FerrandoDA0M18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/woa/AnconaFM18,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Massimo Cossentino and
                  Luca Sabatucci and
                  Valeria Seidita},
  title        = {Agents Interoperability via Conformance Modulo Mapping},
  booktitle    = {Proceedings of the 19th Workshop "From Objects to Agents", Palermo,
                  Italy, June 28-29, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2215},
  pages        = {109--115},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2215/paper\_18.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:40 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/AnconaFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ixda/FattoDBFAMLR17,
  author       = {Vincenzo Del Fatto and
                  Gabriella Dodero and
                  Armin Bernhard and
                  Angelo Ferrando and
                  Davide Ancona and
                  Viviana Mascardi and
                  Robert Laurini and
                  Giuseppe Roccasalva},
  title        = {Hackmytown: an Educational Experience on Smart Cities},
  journal      = {IxD{\&}A},
  volume       = {32},
  pages        = {153--164},
  year         = {2017},
  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},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ixda/FattoDBFAMLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/FerrandoAM17,
  author       = {Angelo Ferrando and
                  Davide Ancona and
                  Viviana Mascardi},
  editor       = {Kate Larson and
                  Michael Winikoff and
                  Sanmay Das and
                  Edmund H. Durfee},
  title        = {Decentralizing {MAS} Monitoring with DecAMon},
  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
                  Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages        = {239--248},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3091164},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/FerrandoAM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/AnconaFM17,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Kate Larson and
                  Michael Winikoff and
                  Sanmay Das and
                  Edmund H. Durfee},
  title        = {Parametric Runtime Verification of Multiagent Systems},
  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
                  Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages        = {1457--1459},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3091328},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/AnconaFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/AnconaFFM17,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Luca Franceschini and
                  Viviana Mascardi},
  title        = {Parametric Trace Expressions for Runtime Verification of Java-Like
                  Programs},
  booktitle    = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
                  Programs, Barcelona, Spain, June 20, 2017},
  pages        = {10:1--10:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3103111.3104037},
  doi          = {10.1145/3103111.3104037},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/AnconaFFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijspm/TremoriAF16,
  author       = {Alberto Tremori and
                  Matteo Agresta and
                  Angelo Ferrando},
  title        = {Simulation of autonomous systems in the extended marine domain},
  journal      = {Int. J. Simul. Process. Model.},
  volume       = {11},
  number       = {1},
  pages        = {9--23},
  year         = {2016},
  url          = {https://doi.org/10.1504/IJSPM.2016.075077},
  doi          = {10.1504/IJSPM.2016.075077},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijspm/TremoriAF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/Ferrando16,
  author       = {Angelo Ferrando},
  editor       = {Viviana Mascardi and
                  Ilaria Torre},
  title        = {Automatic Partitions Extraction to Distribute the Runtime Verification
                  of a Global Specification},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1769},
  pages        = {40--45},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1769/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/Ferrando16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/FerrandoAM16,
  author       = {Angelo Ferrando and
                  Davide Ancona and
                  Viviana Mascardi},
  editor       = {Matteo Baldoni and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  Ingrid Nunes and
                  Rym Zalila{-}Wenkstern},
  title        = {Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven
                  Agents: {A} Case Study},
  booktitle    = {Engineering Multi-Agent Systems - 4th International Workshop, {EMAS}
                  2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10093},
  pages        = {39--58},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-50983-9\_3},
  doi          = {10.1007/978-3-319-50983-9\_3},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/FerrandoAM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/AnconaFM16,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Marcello M. Bonsangue and
                  Einar Broch Johnsen},
  title        = {Comparing Trace Expressions and Linear Temporal Logic for Runtime
                  Verification},
  booktitle    = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
                  de Boer on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9660},
  pages        = {47--64},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30734-3\_6},
  doi          = {10.1007/978-3-319-30734-3\_6},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AnconaFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecir/FerrandoBMR16,
  author       = {Angelo Ferrando and
                  Silvio Beux and
                  Viviana Mascardi and
                  Paolo Rosso},
  editor       = {Dino Ienco and
                  Mathieu Roche and
                  Salvatore Romeo and
                  Paolo Rosso and
                  Andrea Tagarelli},
  title        = {Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven
                  Approach},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1589},
  pages        = {6--15},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1589/MultiLingMine1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:16 +0100},
  biburl       = {https://dblp.org/rec/conf/ecir/FerrandoBMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paams/AielliACCGMFM16,
  author       = {Federica Aielli and
                  Davide Ancona and
                  Pasquale Caianiello and
                  Stefania Costantini and
                  Giovanni De Gasperis and
                  Antinisca Di Marco and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Javier Bajo and
                  Mar{\'{\i}}a Jos{\'{e}} Escalona and
                  Sylvain Giroux and
                  Patrycja Hoffa{-}Dabrowska and
                  Vicente Juli{\'{a}}n and
                  Paulo Novais and
                  Nayat S{\'{a}}nchez{-}Pi and
                  Rainer Unland and
                  Ricardo Azambuja Silveira},
  title        = {{FRIENDLY} {\&} {KIND} with your Health: Human-Friendly Knowledge-INtensive
                  Dynamic Systems for the e-Health Domain},
  booktitle    = {Highlights of Practical Applications of Scalable Multi-Agent Systems.
                  The {PAAMS} Collection - International Workshops of {PAAMS} 2016,
                  Sevilla, Spain, June 1-3, 2016. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {616},
  pages        = {15--26},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39387-2\_2},
  doi          = {10.1007/978-3-319-39387-2\_2},
  timestamp    = {Wed, 24 Jul 2024 21:43:30 +0200},
  biburl       = {https://dblp.org/rec/conf/paams/AielliACCGMFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/woa/AnconaBFM16,
  author       = {Davide Ancona and
                  Daniela Briola and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Corrado Santoro and
                  Fabrizio Messina and
                  Massimiliano De Benedetti},
  title        = {MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification
                  of Agent Interaction Protocols},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1664},
  pages        = {35--43},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1664/w7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:40 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/AnconaBFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ia/AnconaBFM15,
  author       = {Davide Ancona and
                  Daniela Briola and
                  Angelo Ferrando and
                  Viviana Mascardi},
  title        = {Runtime verification of fail-uncontrolled and ambient intelligence
                  systems: {A} uniform approach},
  journal      = {Intelligenza Artificiale},
  volume       = {9},
  number       = {2},
  pages        = {131--148},
  year         = {2015},
  url          = {https://doi.org/10.3233/IA-150084},
  doi          = {10.3233/IA-150084},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ia/AnconaBFM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/AnconaBFM15,
  author       = {Davide Ancona and
                  Daniela Briola and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Gerhard Weiss and
                  Pinar Yolum and
                  Rafael H. Bordini and
                  Edith Elkind},
  title        = {Global Protocols as First Class Entities for Self-Adaptive Agents},
  booktitle    = {Proceedings of the 2015 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
  pages        = {1019--1029},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2773282},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/AnconaBFM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/BeuxBCDFFGMOPST15,
  author       = {Silvio Beux and
                  Daniela Briola and
                  Andrea Corradi and
                  Giorgio Delzanno and
                  Angelo Ferrando and
                  Federico Frassetto and
                  Giovanna Guerrini and
                  Viviana Mascardi and
                  Marco Oreggia and
                  Francesca Pozzi and
                  Alessandro Solimando and
                  Armando Tacchella},
  editor       = {Davide Ancona and
                  Marco Maratea and
                  Viviana Mascardi},
  title        = {Computational thinking for beginners: {A} successful experience using
                  Prolog},
  booktitle    = {Proceedings of the 30th Italian Conference on Computational Logic,
                  Genova, Italy, July 1-3, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1459},
  pages        = {31--45},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1459/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/BeuxBCDFFGMOPST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/Ferrando15,
  author       = {Angelo Ferrando},
  editor       = {Davide Ancona and
                  Marco Maratea and
                  Viviana Mascardi},
  title        = {Parametric protocol-driven agents and their integration in {JADE}},
  booktitle    = {Proceedings of the 30th Italian Conference on Computational Logic,
                  Genova, Italy, July 1-3, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1459},
  pages        = {72--84},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1459/paper26.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/Ferrando15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijspm/MasseiPTF14,
  author       = {Marina Massei and
                  Simonluca Poggi and
                  Alberto Tremori and
                  Angelo Ferrando},
  title        = {Innovative models for supporting operational planning},
  journal      = {Int. J. Simul. Process. Model.},
  volume       = {9},
  number       = {3},
  pages        = {181--194},
  year         = {2014},
  url          = {https://doi.org/10.1504/IJSPM.2014.064396},
  doi          = {10.1504/IJSPM.2014.064396},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijspm/MasseiPTF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jocs/MasseiPAF14,
  author       = {Marina Massei and
                  Simonluca Poggi and
                  Matteo Agresta and
                  Angelo Ferrando},
  title        = {Development planning based on interoperable agent driven simulation},
  journal      = {J. Comput. Sci.},
  volume       = {5},
  number       = {3},
  pages        = {395--407},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jocs.2014.01.004},
  doi          = {10.1016/J.JOCS.2014.01.004},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jocs/MasseiPAF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsrt/BruzzoneDF14,
  author       = {Agostino G. Bruzzone and
                  Luciano Dato and
                  Angelo Ferrando},
  title        = {Simulation Exploration Experience: Providing Effective Surveillance
                  and Defense for a Moon Base Against Threats from Outer Space},
  booktitle    = {18th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2014, Toulouse, France, October
                  1-3, 2014},
  pages        = {121--126},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/DS-RT.2014.23},
  doi          = {10.1109/DS-RT.2014.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/BruzzoneDF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/simultech/BruzzoneMPBF13,
  author       = {Agostino G. Bruzzone and
                  Marina Massei and
                  Simonluca Poggi and
                  Christian Bartolucci and
                  Angelo Ferrando},
  editor       = {Mohammad S. Obaidat and
                  Slawomir Koziel and
                  Janusz Kacprzyk and
                  Leifur {\TH}. Leifsson and
                  Tuncer I. {\"{O}}ren},
  title        = {Intelligent Agents for Human Behavior Modeling as Support to Operations},
  booktitle    = {Simulation and Modeling Methodologies, Technologies and Applications
                  - International Conference, {SIMULTECH} 2013 Reykjav{\'{\i}}k, Iceland,
                  July 29-31, 2013 Revised Selected Papers},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {319},
  pages        = {119--132},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-11457-6\_8},
  doi          = {10.1007/978-3-319-11457-6\_8},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/simultech/BruzzoneMPBF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/springsim/BruzzoneMDPF13,
  author       = {Agostino G. Bruzzone and
                  Francesca Madeo and
                  Margherita Dallorto and
                  Davide Poggi and
                  Angelo Ferrando},
  editor       = {Charles D. Turnitsa and
                  Paul A. Youngman and
                  Ted Carmichael and
                  Mirsad Hadzikadic and
                  Rafael Diaz and
                  Francesco Longo},
  title        = {Different modeling and simulation approaches applied to industrial
                  process plants},
  booktitle    = {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},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {http://dl.acm.org/citation.cfm?id=2499757},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/springsim/BruzzoneMDPF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}