FERRANDO, Angelo

FERRANDO, Angelo  

Dipartimento di Scienze Fisiche, Informatiche e Matematiche  

Mostra records
Risultati 1 - 20 di 90 (tempo di esecuzione: 0.059 secondi).
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; Paolo Pastore, Vito; 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.
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-2021 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
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
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