FERRANDO, ANGELO

FERRANDO, ANGELO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 63 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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
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
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 Distributed Protocols via the Cubicle Model Checker 1-gen-2021 Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo
Declarative parameterized verification of topology-sensitive distributed protocols 1-gen-2019 Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo
A deterministic event calculus for effective runtime verification 1-gen-2019 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
Development planning based on interoperable agent driven simulation 1-gen-2014 Massei, M; Poggi, S; Agresta, Matteo; Ferrando, Angelo
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 1-gen-2020 Biagetti, Alessandro; Ferrando, Angelo; Mascardi, Viviana
The early bird catches the worm: First verify, then monitor! 1-gen-2019 Ferrando, Angelo
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 1-gen-2022 Ancona, D.; Ferrando, A.; Mascardi, V.