FERRANDO, ANGELO
FERRANDO, ANGELO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A deterministic event calculus for effective runtime verification
2019-01-01 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
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 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 Interface for Programming Verifiable Autonomous Agents in {ROS}
2020-01-01 Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
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
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
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
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
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems
2018-01-01 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Decentralizing MAS Monitoring with DecAMon
2017-01-01 Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana
Declarative parameterized verification of topology-sensitive distributed protocols
2019-01-01 Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps
2022-01-01 Ancona, D.; Ferrando, A.; Mascardi, V.
Failure Handling in BDI Plans via Runtime Enforcement
2023-01-01 Ferrando, Angelo; Cardoso, Rafael C.
Fantastic MASs and Where to Find Them: First Results and Lesson Learned
2023-01-01 Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain
2016-01-01 Aielli, Federica; Ancona, Davide; Caianiello, Pasquale; Costantini, Stefania; De Gasperis, Giovanni; Di Marco, Antinisca; Ferrando, Angelo; Mascardi, Viviana
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A deterministic event calculus for effective runtime verification | 1-gen-2019 | Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V. | |
| 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 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 Interface for Programming Verifiable Autonomous Agents in {ROS} | 1-gen-2020 | Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| Coping with bad agent interaction protocols when monitoring partially observable multiagent systems | 1-gen-2018 | Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana | |
| Decentralizing MAS Monitoring with DecAMon | 1-gen-2017 | Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana | |
| Declarative parameterized verification of topology-sensitive distributed protocols | 1-gen-2019 | Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo | |
| Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps | 1-gen-2022 | Ancona, D.; Ferrando, A.; Mascardi, V. | |
| Failure Handling in BDI Plans via Runtime Enforcement | 1-gen-2023 | Ferrando, Angelo; Cardoso, Rafael C. | |
| Fantastic MASs and Where to Find Them: First Results and Lesson Learned | 1-gen-2023 | Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana | |
| FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain | 1-gen-2016 | Aielli, Federica; Ancona, Davide; Caianiello, Pasquale; Costantini, Stefania; De Gasperis, Giovanni; Di Marco, Antinisca; Ferrando, Angelo; Mascardi, Viviana |