FERRANDO, ANGELO
FERRANDO, ANGELO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs
2023-01-01 Chaanine, T.; Ferrando, A.; Pasquale, C.; Pastore, V. P.; Garjan, M. S.; Siri, S.
A deterministic event calculus for effective runtime verification
2019-01-01 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
A Review of Agent-Based Programming for Multi-Agent Systems
2021-01-01 Cardoso, Rafael C.; Ferrando, Angelo
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO
2023-01-01 SADEGHI GARJAN, Mahyar; Chaanine, Tommy; Pasquale, Cecilia; Pastore, VITO PAOLO; Ferrando, Angelo
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020
2021-01-01 Cardoso, R. C.; Ferrando, A.; Briola, D.; Menghi, C.; Ahlbrecht, T.
Agents interoperability via conformance modulo mapping
2018-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Agile Tasking of Robotic Systems with Explicit Autonomy
2021-01-01 Cardoso, Rafael C.; Michaloski, John L.; Schlenoff, Craig; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
2023-01-01 Belardinelli, F.; Ferrando, A.; Malvone, V.
An Interface for Programming Verifiable Autonomous Agents in {ROS}
2020-01-01 Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
An overview of verification and validation challenges for inspection
2021-01-01 Fisher, R. M.; Cardoso, R. C.; Collins, E. C.; Dadswell, C.; Dennis, L. A.; Dixon, C.; Farrell, M.; Ferrando, A.; Huang, X.; Jump, M.; Kourtis, G.; Lisitsa, A.; Luckcuck, M.; Luo, S.; Page, V.; Papacchini, F.; Webster, M.
An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond
2019-03-14 Ferrando, Angelo
Automated Planning and {BDI} Agents: {A} Case Study
2021-01-01 Cardoso, Rafael C.; Ferrando, Angelo; Papacchini, Fabio
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification
2016-01-01 Ferrando, Angelo
Bridging the gap between single- and multi-model predictive runtime verification
2022-01-01 Ferrando, Angelo; Cardoso, Rafael C.; Farrell, Marie; Luckcuck, Matt; Papacchini, Fabio; Fisher, Michael; Mascardi, Viviana
Can determinism and compositionality coexist in RML?
2020-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Can determinism and compositionality coexist in RML?
2020-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills
2022-01-01 Delzanno, Giorgio; Guerrini, Giovanna; Pusceddu, Matteo; Zanone, Giovanni; Ferrando, Angelo
Combine Model Checking and Runtime Verification in Multi-Agent Systems
2021-01-01 Ferrando, Angelo; Malvone, Vadim
Comparing trace expressions and linear temporal logic for runtime verification
2016-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Computational thinking for beginners: A successful experience using Prolog
2015-01-01 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs | 1-gen-2023 | Chaanine, T.; Ferrando, A.; Pasquale, C.; Pastore, V. P.; Garjan, M. S.; Siri, S. | |
| A deterministic event calculus for effective runtime verification | 1-gen-2019 | Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V. | |
| A Review of Agent-Based Programming for Multi-Agent Systems | 1-gen-2021 | Cardoso, Rafael C.; Ferrando, Angelo | |
| AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO | 1-gen-2023 | SADEGHI GARJAN, Mahyar; Chaanine, Tommy; Pasquale, Cecilia; Pastore, VITO PAOLO; Ferrando, Angelo | |
| Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 | 1-gen-2021 | Cardoso, R. C.; Ferrando, A.; Briola, D.; Menghi, C.; Ahlbrecht, T. | |
| Agents interoperability via conformance modulo mapping | 1-gen-2018 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
| Agile Tasking of Robotic Systems with Explicit Autonomy | 1-gen-2021 | Cardoso, Rafael C.; Michaloski, John L.; Schlenoff, Craig; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael | |
| An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information | 1-gen-2023 | Belardinelli, F.; Ferrando, A.; Malvone, V. | |
| An Interface for Programming Verifiable Autonomous Agents in {ROS} | 1-gen-2020 | Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael | |
| An overview of verification and validation challenges for inspection | 1-gen-2021 | Fisher, R. M.; Cardoso, R. C.; Collins, E. C.; Dadswell, C.; Dennis, L. A.; Dixon, C.; Farrell, M.; Ferrando, A.; Huang, X.; Jump, M.; Kourtis, G.; Lisitsa, A.; Luckcuck, M.; Luo, S.; Page, V.; Papacchini, F.; Webster, M. | |
| An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond | 14-mar-2019 | Ferrando, Angelo | |
| Automated Planning and {BDI} Agents: {A} Case Study | 1-gen-2021 | Cardoso, Rafael C.; Ferrando, Angelo; Papacchini, Fabio | |
| Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification | 1-gen-2016 | Ferrando, Angelo | |
| Bridging the gap between single- and multi-model predictive runtime verification | 1-gen-2022 | Ferrando, Angelo; Cardoso, Rafael C.; Farrell, Marie; Luckcuck, Matt; Papacchini, Fabio; Fisher, Michael; Mascardi, Viviana | |
| Can determinism and compositionality coexist in RML? | 1-gen-2020 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
| Can determinism and compositionality coexist in RML? | 1-gen-2020 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
| Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills | 1-gen-2022 | Delzanno, Giorgio; Guerrini, Giovanna; Pusceddu, Matteo; Zanone, Giovanni; Ferrando, Angelo | |
| Combine Model Checking and Runtime Verification in Multi-Agent Systems | 1-gen-2021 | Ferrando, Angelo; Malvone, Vadim | |
| Comparing trace expressions and linear temporal logic for runtime verification | 1-gen-2016 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
| Computational thinking for beginners: A successful experience using Prolog | 1-gen-2015 | Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando |