Angelo Ferrando

164 papers A* 1A 16B 15C 10Misc 9Journal 44Unranked 61

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Ain't No Stopping Us Monitoring Now. ACM Trans. Softw. Eng. Methodol. Luca Ciccone, Francesco Dagnino, Angelo Ferrando
2026	B	`ed.`	PRIMA 2025: Principles and Practice of Multi-Agent Systems - 26th International Conference, Modena, Italy, December 16-19, 2025, Proceedings PRIMA Catalin Dima, Angelo Ferrando, Vadim Malvone
2026	J	`jnl`	Runtime Verification via Rational Monitor with Imperfect Information. ACM Trans. Softw. Eng. Methodol. Angelo Ferrando, Vadim Malvone
2025	—	`ed.`	Agents and Robots for reliable Engineered Autonomy - 4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings AREA Angelo Ferrando, Rafael C. Cardoso
2025	A	`conf`	Agreement Games in Multi-Agent Systems. AAMAS Davide Catta, Angelo Ferrando, Vadim Malvone
2025	B	`conf`	Auto-Generating Visual Editors for Formal Logics with Blockly. iFM Angelo Ferrando, Peng Lu, Vadim Malvone
2025	A	`conf`	ChatBDI: Think BDI, Talk LLM. AAMAS Andrea Gatti, Viviana Mascardi, Angelo Ferrando
2025	C	`conf`	Design and Implementation of a Software System for Digital Product Passport. WETICE Luca Morellini, Angelo Ferrando, Giacomo Cabri, Massimo Garuti
2025	B	`conf`	Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025. EMAS Sebastian Rodriguez, Akhila Bairy, Matteo Baldoni, Patrick Benjamin, Constantin Blessing, Nicolas Brandstetter, Amit K. Chopra, Thomas Clemen, Louise A. Dennis, Ahmad Esmaeili, Lu Feng, Angelo Ferrando, Zahra Ghorrati, Victor Guillet, Önder Gürcan, Soham Hans, James Herber, Viviana Mascardi, Marcel Mauri, Jörg P. Müller, John Thangarajah, Rafal Tyl, Yi Yang
2025	Misc	`conf`	Evaluating Infrastructure-Less Cooperative Parking Guidance via Agent-Based Simulation. PAAMS Davide De Soricellis, Angelo Ferrando, Filippo Muzzini
2025	J	`jnl`	Expressive Reward Synthesis with the Runtime Monitoring Language. CoRR Daniel Donnelly, Angelo Ferrando, Francesco Belardinelli
2025	—	`conf`	Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. DSN-S Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera, Matteo Pinasco
2025	A	`conf`	Let Me Talk to You! Natural Language Interaction Between Humans and BDI Agents via ChatBDI. ECAI Andrea Gatti, Viviana Mascardi, Angelo Ferrando
2025	B	`conf`	MEDiTATe: a First Step of a Journey from BDI to Neuroscience, and Back. EMAS Angelo Ferrando, Andrea Gatti, Viviana Mascardi
2025	—	`conf`	On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle. ICTCS Davide Ancona, Angelo Ferrando
2025	J	`jnl`	On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle. CoRR Davide Ancona, Angelo Ferrando
2025	Misc	`conf`	On the Usability and Extensibility of VITAMIN. PAAMS Angelo Ferrando, Vadim Malvone
2025	B	`conf`	Oops, I Heard That! Situated Communication with Locality-Aware KQML. EMAS Angelo Ferrando, Andrea Gatti, Viviana Mascardi
2025	J	`jnl`	Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023). Ann. Math. Artif. Intell. Angelo Ferrando, Rafael C. Cardoso
2025	A	`conf`	Quantitative Operational Monitoring for BDI Agents. AAMAS Marie Farrell, Angelo Ferrando, Mengwei Xu
2025	J	`jnl`	Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies. J. Artif. Intell. Res. Davide Catta, Angelo Ferrando, Vadim Malvone
2025	A	`conf`	Reliable Intention Selection in BDI Agents with Recovery Shields. ECAI Angelo Ferrando, Rafael C. Cardoso
2025	—	`conf`	Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. DSN-S Hisham Unniyankal, Davide Ancona, Angelo Ferrando, Fabio Parodi, Alessandro Alessi, Federico Bottino
2025	A	`conf`	Runtime Verification with Rational Multi-Monitors. ECAI Davide Catta, Angelo Ferrando, Vadim Malvone
2025	Misc	`conf`	Situated Agents in Action: Extending VEsNA with Spatial and Grabbable Artifacts. PAAMS Andrea Gatti, Angelo Ferrando, Viviana Mascardi
2025	—	`conf`	Together Is Better! Integrating BDI and RL Agents for Safe Learning and Effective Collaboration. ICAART (3) Manuel Parmiggiani, Angelo Ferrando, Viviana Mascardi
2025	J	`jnl`	Towards partial monitoring: Never too early to give in. Sci. Comput. Program. Angelo Ferrando, Rafael C. Cardoso
2025	—	`conf`	VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. ICAART (1) Angelo Ferrando, Vadim Malvone
2025	A	`conf`	VITAMIN: VerIficaTion of A MultI ageNt system. AAMAS Angelo Ferrando, Vadim Malvone
2025	—	`conf`	Varanus: Runtime Verification for CSP. TAROS Matt Luckcuck, Angelo Ferrando, Fatma Faruq
2025	J	`jnl`	Varanus: Runtime Verification for CSP. CoRR Matt Luckcuck, Angelo Ferrando, Fatma Faruq
2025	—	`conf`	Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems. FMAS@iFM Angelo Ferrando
2024	J	`jnl`	Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. J. Intell. Robotic Syst. Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
2024	—	`conf`	Geometric and Spatial Reasoning in BDI Agents: A Survey. CILC Angelo Ferrando, Andrea Gatti, Viviana Mascardi
2024	—	`conf`	Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. WOA Angelo Ferrando, Vadim Malvone
2024	C	`conf`	Implementation of the Digital Twin in Water 4.0. WETICE Giacomo Cabri, Alireza Rahimi, Angelo Ferrando
2024	—	`conf`	Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design. WOA Diana Ivan, Angelo Ferrando, Andrea Gatti, Giovanna Guerrini, Viviana Mascardi
2024	C	`conf`	MAiS: Exploiting JADE as a Multi-agent Simulator of the Immune System. EUMAS Sanchayan Bhunia, Angelo Ferrando, Viviana Mascardi, Chiara Vitale
2024	—	`conf`	Modeling Robot Control Architectures for Verification and Monitoring. ERF (2) Stefano Bernagozzi, Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale, Armando Tacchella
2024	—	`conf`	Open Challenges in the Formal Verification of Autonomous Driving. FMAS@iFM Paolo Burgio, Angelo Ferrando, Marco Villani
2024	—	`conf`	ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. FMAS@iFM Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2024	—	`conf`	RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? FMAS@iFM Andrea Gatti, Viviana Mascardi, Angelo Ferrando
2024	C	`conf`	RVElastic: a Runtime Verification Framework for Microservice Systems. WETICE Stefano Murino, Angelo Ferrando, Giacomo Cabri
2024	B	`conf`	Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. PRIMA Davide Catta, Angelo Ferrando, Vadim Malvone
2024	J	`jnl`	Runtime Verification via Rational Monitor with Imperfect Information. CoRR Angelo Ferrando, Vadim Malvone
2024	B	`conf`	Solvent: Liquidity Verification of Smart Contracts. IFM Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
2024	J	`jnl`	Solvent: liquidity verification of smart contracts. CoRR Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
2024	B	`conf`	Theory and Practice of Quantitative ATL. PRIMA Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano
2024	—	`conf`	Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA Angelo Ferrando, Vadim Malvone
2024	J	`jnl`	VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. CoRR Angelo Ferrando, Vadim Malvone
2023	—	`conf`	3vLTL: A Tool to Generate Automata for Three-valued LTL. FMAS@iFM Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	—	`conf`	A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs. ITSC Tommy Chaanine, Angelo Ferrando, Cecilia Pasquale, Vito Paolo Pastore, Mahyar Sadeghi Garjan, S. Siri
2023	C	`conf`	AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO. EUMAS Mahyar Sadeghi Garjan, Tommy Chaanine, Cecilia Pasquale, Vito Paolo Pastore, Angelo Ferrando
2023	J	`jnl`	An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	—	`conf`	Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. ICAART (Revised Selected Paper) Davide Catta, Angelo Ferrando, Vadim Malvone
2023	—	`ch.`	Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years Davide Ancona, Angelo Ferrando, Viviana Mascardi
2023	A	`conf`	Failure Handling in BDI Plans via Runtime Enforcement. ECAI Angelo Ferrando, Rafael C. Cardoso
2023	B	`conf`	Fantastic MASs and Where to Find Them: First Results and Lesson Learned. EMAS Daniela Briola, Angelo Ferrando, Viviana Mascardi
2023	C	`conf`	HYASM: A Tool to Verify Hierarchical Systems. WETICE Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri
2023	—	`conf`	How to Find Good Coalitions to Achieve Strategic Objectives. ICAART (1) Angelo Ferrando, Vadim Malvone
2023	—	`conf`	HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. RP Angelo Ferrando, Giorgio Delzanno
2023	J	`jnl`	Incrementally predictive runtime verification. J. Log. Comput. Angelo Ferrando, Giorgio Delzanno
2023	C	`conf`	Integrating Ontologies and Cognitive Conversational Agents in On2Conv. EUMAS Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi
2023	—	`ed.`	Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023. AREA@ECAI Angelo Ferrando, Rafael Cardoso
2023	—	`conf`	RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	J	`jnl`	RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
2023	—	`conf`	RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. VORTEX@ISSTA Angelo Ferrando, Andrea Gatti, Viviana Mascardi
2023	—	`conf`	Runtime Verification for Trustworthy Computing. AREA@ECAI Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando
2023	—	`conf`	Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP Davide Ancona, Angelo Ferrando, Viviana Mascardi
2023	A*	`conf`	Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	J	`jnl`	Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	J	`jnl`	Special issue for the 23rd workshop "from objects to agents" (WOA 2022). Intelligenza Artificiale Angelo Ferrando, Viviana Mascardi
2023	B	`conf`	Towards Forward Responsibility in BDI Agents. EMAS Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher
2023	—	`conf`	Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems. IPS-RCRA-SPIRIT@AI*IA Angelo Ferrando
2023	A	`conf`	Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS Angelo Ferrando, Vadim Malvone
2023	C	`conf`	Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
2022	J	`jnl`	A Compositional Approach to Verifying Modular Robotic Systems. CoRR Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2022	J	`jnl`	Ain't No Stopping Us Monitoring Now. CoRR Luca Ciccone, Francesco Dagnino, Angelo Ferrando
2022	—	`conf`	Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. HELMeTO Giorgio Delzanno, Angelo Ferrando, Giovanna Guerrini, Matteo Pusceddu, Giovanni Zanone
2022	—	`conf`	Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC Davide Ancona, Angelo Ferrando, Viviana Mascardi
2022	—	`conf`	Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
2022	—	`conf`	Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA Angelo Ferrando, Vadim Malvone
2022	B	`conf`	Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
2022	C	`conf`	Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2022	—	`ed.`	Proceedings of the 23rd Workshop "From Objects to Agents", Genova, Italy, September 1-3, 2022. WOA Angelo Ferrando, Viviana Mascardi
2022	—	`ed.`	Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. AREA@IJCAI-ECAI Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis
2022	—	`conf`	RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
2022	—	`conf`	RVPLAN: Runtime Verification of Assumptions in Automated Planning. ICAART (2) Angelo Ferrando, Rafael C. Cardoso
2022	B	`conf`	Runtime Verification with Imperfect Information Through Indistinguishability Relations. SEFM Angelo Ferrando, Vadim Malvone
2022	A	`conf`	Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. AAMAS Angelo Ferrando, Rafael C. Cardoso
2022	J	`jnl`	Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study. Intelligenza Artificiale Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando
2022	J	`jnl`	Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems. CoRR Angelo Ferrando, Vadim Malvone
2022	Misc	`conf`	Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS Angelo Ferrando, Vadim Malvone
2021	J	`jnl`	A Review of Agent-Based Programming for Multi-Agent Systems. Comput. Rafael C. Cardoso, Angelo Ferrando
2021	J	`jnl`	Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. J. Sens. Actuator Networks Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
2021	Misc	`conf`	Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2021	J	`jnl`	An Overview of Verification and Validation Challenges for Inspection Robots. Robotics Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
2021	Misc	`conf`	Automated Planning and BDI Agents: A Case Study. PAAMS Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2021	J	`jnl`	Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
2021	—	`conf`	Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS Angelo Ferrando, Vadim Malvone
2021	J	`jnl`	Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundam. Informaticae Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
2021	J	`jnl`	Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Frontiers Robotics AI Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
2021	—	`conf`	Implementing Ethical Governors in BDI. EMAS@AAMAS Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2021	—	`conf`	Increasing confidence in autonomous systems. VORTEX@ISSTA Michael Fisher, Angelo Ferrando, Rafael C. Cardoso
2021	—	`conf`	Incrementally Predictive Runtime Verification. CILC Angelo Ferrando, Giorgio Delzanno
2021	J	`jnl`	MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
2021	J	`jnl`	RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
2021	—	`conf`	RVPLAN: a general purpose framework for replanning using runtime verification. VORTEX@ISSTA Angelo Ferrando, Rafael C. Cardoso
2021	—	`conf`	Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning. WOA Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando
2021	J	`jnl`	Special Issue: Agents and Robots for Reliable Engineered Autonomy. J. Sens. Actuator Networks Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
2021	A	`conf`	Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS Angelo Ferrando, Vadim Malvone
2021	—	`conf`	StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. EMAS@AAMAS Angelo Ferrando, Fabio Papacchini
2021	J	`jnl`	Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
2021	—	`conf`	Towards Partial Monitoring: It is Always too Soon to Give Up. FMAS Angelo Ferrando, Rafael C. Cardoso
2021	J	`jnl`	Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. CoRR Angelo Ferrando, Vadim Malvone
2020	—	`conf`	An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2020	—	`conf`	Can determinism and compositionality coexist in RML? EXPRESS/SOS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2020	J	`jnl`	Can determinism and compositionality coexist in RML? (extended version). CoRR Davide Ancona, Angelo Ferrando, Viviana Mascardi
2020	—	`conf`	Heterogeneous Verification of an Autonomous Curiosity Rover. NFM Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020	J	`jnl`	Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020	J	`jnl`	LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. CoRR Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2020	—	`ed.`	Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. AREA@ECAI Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
2020	—	`conf`	ROSMonitoring: A Runtime Verification Framework for ROS. TAROS Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
2020	—	`conf`	Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? AIRO@AI*IA Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher
2020	—	`conf`	Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone
2020	Misc	`conf`	The DigForSim Agent Based Simulator of People Movements in Crime Scenes. PAAMS Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi
2019	—	`conf`	A Deterministic Event Calculus for Effective Runtime Verification. ICTCS Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
2019	—	`—`	An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond. Angelo Ferrando
2019	—	`ch.`	LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. The Multi-Agent Programming Contest Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2019	A	`conf`	On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	—	`conf`	On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	J	`jnl`	On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	B	`conf`	Smart RogAgent: Where Agents and Humans Team Up. PRIMA Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini
2019	J	`jnl`	The early bird catches the worm: First verify, then monitor! Sci. Comput. Program. Angelo Ferrando
2019	—	`conf`	Timed Trace Expressions. CILC Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi
2019	B	`conf`	Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2019	J	`jnl`	Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2018	—	`conf`	Agents Interoperability via Conformance Modulo Mapping. WOA Davide Ancona, Angelo Ferrando, Viviana Mascardi
2018	Misc	`conf`	Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2018	—	`conf`	Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. NETYS Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
2018	J	`jnl`	Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. Davide Ancona, Angelo Ferrando, Viviana Mascardi
2018	Misc	`conf`	Managing Bad AIPs with RIVERtools. PAAMS Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2018	A	`conf`	Recognising Assumption Violations in Autonomous Systems Verification. AAMAS Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2018	B	`conf`	Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2017	A	`conf`	Decentralizing MAS Monitoring with DecAMon. AAMAS Angelo Ferrando, Davide Ancona, Viviana Mascardi
2017	J	`jnl`	Hackmytown: an Educational Experience on Smart Cities. IxD&A Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva
2017	A	`conf`	Parametric Runtime Verification of Multiagent Systems. AAMAS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2017	—	`conf`	Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2016	—	`conf`	Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification. DC@AI*IA Angelo Ferrando
2016	—	`conf`	Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods Davide Ancona, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. MultiLingMine@ECIR Angelo Ferrando, Silvio Beux, Viviana Mascardi, Paolo Rosso
2016	—	`conf`	MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS Angelo Ferrando, Davide Ancona, Viviana Mascardi
2016	J	`jnl`	Simulation of autonomous systems in the extended marine domain. Int. J. Simul. Process. Model. Alberto Tremori, Matteo Agresta, Angelo Ferrando
2015	—	`conf`	Computational thinking for beginners: A successful experience using Prolog. CILC Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
2015	A	`conf`	Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2015	—	`conf`	Parametric protocol-driven agents and their integration in JADE. CILC Angelo Ferrando
2015	J	`jnl`	Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2014	J	`jnl`	Development planning based on interoperable agent driven simulation. J. Comput. Sci. Marina Massei, Simonluca Poggi, Matteo Agresta, Angelo Ferrando
2014	J	`jnl`	Innovative models for supporting operational planning. Int. J. Simul. Process. Model. Marina Massei, Simonluca Poggi, Alberto Tremori, Angelo Ferrando
2014	C	`conf`	Simulation Exploration Experience: Providing Effective Surveillance and Defense for a Moon Base Against Threats from Outer Space. DS-RT Agostino G. Bruzzone, Luciano Dato, Angelo Ferrando
2013	—	`conf`	Different modeling and simulation approaches applied to industrial process plants. SpringSim (EAIA) Agostino G. Bruzzone, Francesca Madeo, Margherita Dallorto, Davide Poggi, Angelo Ferrando
2013	—	`conf`	Intelligent Agents for Human Behavior Modeling as Support to Operations. SIMULTECH (Selected Papers) Agostino G. Bruzzone, Marina Massei, Simonluca Poggi, Christian Bartolucci, Angelo Ferrando