IRIS

FERRANDO, ANGELO

FERRANDO, ANGELO  

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

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
A Review of Agent-Based Programming for Multi-Agent Systems 1-gen-2021 Cardoso, Rafael C.; 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.
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 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.
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
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker 1-gen-2021 Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo
Development planning based on interoperable agent driven simulation 1-gen-2014 Massei, M; Poggi, S; Agresta, Matteo; Ferrando, Angelo
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead 1-gen-2019 Mascardi, Viviana; Weyns, Danny; Ricci, Alessandro; Benac Earle, Clara; Casals, Arthur; Challenger, Moharram; Chopra, Amit; Ciortea, Andrei; Dennis, Louise; Díaz, Álvaro Fernández; El Fallah-Seghrouchni, Amal; Ferrando, Angelo; Fredlund, Lars-Åke; Giunchiglia, Eleonora; Guessoum, Zahia; Günay, Akın; Hindriks, Koen V; Iglesias, Carlos Ángel; Logan, Brian; Kampik, Timotheus; Kardas, Geylani; Koeman, Vincent J; Larsen, John Bruntse; Mayer, Simon; Méndez, Tasio; Nieves, Juan Carlos; Seidita, Valeria; Teze, Baris Tekin; Varga, László Zsolt; Winikoff, Michael
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 1-gen-2021 Farrell, Marie; Mavrakis, Nikos; Ferrando, Angelo; Dixon, Clare; Gao, Yang
Hackmytown: An educational experience on smart cities 1-gen-2017 Del Fatto, Vincenzo; Dodero, Gabriella; Bernhard, Armin; Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana; Laurini, Robert; Roccasalva, Giuseppe
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches 1-gen-2018 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Incrementally predictive runtime verification 1-gen-2023 Ferrando, Angelo; Delzanno, Giorgio
RML: Theory and practice of a domain specific language for runtime verification 1-gen-2021 Ancona, Davide; Franceschini, Luca; Ferrando, Angelo; Mascardi, Viviana
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 1-gen-2015 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications 1-gen-2023 Engelmann, D. C.; Ferrando, A.; Panisson, A. R.; Ancona, D.; Bordini, R. H.; Mascardi, V.
Simulation of autonomous systems in the extended marine domain 1-gen-2016 Tremori, Alberto; Agresta, Matteo; Ferrando, Angelo
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study 1-gen-2022 Losapio, G.; Minutoli, F.; Mascardi, V.; Ferrando, A.
Smart rogaining for computer science orientation 1-gen-2022 Chessa, M.; Delzanno, G.; Ferrando, A.; Gelati, L.; Guerrini, G.; Mascardi, V.; Noceti, N.; Odone, F.; Vitali, F.
Special issue for the 23rd workshop "from objects to agents" (WOA 2022) 1-gen-2023 Ferrando, A.; Mascardi, V.
The early bird catches the worm: First verify, then monitor! 1-gen-2019 Ferrando, Angelo