Angelo Ferrando
Angelo Ferrando
Geverifieerd e-mailadres voor manchester.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Comparing trace expressions and linear temporal logic for runtime verification
D Ancona, A Ferrando, V Mascardi
Theory and Practice of Formal Methods, 47-64, 2016
372016
Parametric Runtime Verification of Multiagent Systems.
D Ancona, A Ferrando, V Mascardi
AAMAS 17, 1457-1459, 2017
332017
Global protocols as first class entities for self-adaptive agents
D Ancona, D Briola, A Ferrando, V Mascardi
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
282015
Decentralizing mas monitoring with decamon
A Ferrando, D Ancona, V Mascardi
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
212017
FRIENDLY & KIND with your health: Human-friendly knowledge-intensive dynamic systems for the e-health domain
F Aielli, D Ancona, P Caianiello, S Costantini, G De Gasperis, A Di Marco, ...
International Conference on Practical Applications of Agents and Multi-Agent …, 2016
202016
FRIENDLY & KIND with your health: Human-friendly knowledge-intensive dynamic systems for the e-health domain
F Aielli, D Ancona, P Caianiello, S Costantini, G De Gasperis, A Di Marco, ...
International Conference on Practical Applications of Agents and Multi-Agent …, 2016
202016
Recognising assumption violations in autonomous systems verification
A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi
172018
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead
V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...
ACM SIGSOFT Software Engineering Notes 44 (1), 18-28, 2019
132019
Parametric trace expressions for runtime verification of Java-like programs
D Ancona, A Ferrando, L Franceschini, V Mascardi
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs …, 2017
122017
Modeling cyber warfare in heterogeneous networks for protection of infrastructures and operations
AG Bruzzone, D Merani, M Massei, A Tremori, C Bartolucci, A Ferrando
Proc. of I3M, 2013
112013
Verifying and validating autonomous systems: Towards an integrated approach
A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi
International Conference on Runtime Verification, 263-281, 2018
92018
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study
A Ferrando, D Ancona, V Mascardi
International Workshop on Engineering Multi-Agent Systems, 39-58, 2016
92016
Development planning based on interoperable agent driven simulation
M Massei, S Poggi, M Agresta, A Ferrando
Journal of Computational Science 5 (3), 395-407, 2014
92014
The early bird catches the worm: First verify, then monitor!
A Ferrando
Science of Computer Programming 172, 160-179, 2019
82019
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols.
D Ancona, D Briola, A Ferrando, V Mascardi
WOA, 35-43, 2016
82016
Computational thinking for beginners: A successful experience using Prolog.
S Beux, D Briola, A Corradi, G Delzanno, A Ferrando, F Frassetto, ...
CILC, 31-45, 2015
82015
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
D Ancona, D Briola, A Ferrando, V Mascardi
Intelligenza Artificiale 9 (2), 131-148, 2015
82015
Virtual framework for testing/experiencing potential of collaborative autonomous systems
AG Bruzzone, A Berni, J Fontaine, A Cignoni, M Massei, A Tremori, ...
Proceedings of I/ITSEC, Orlando, FL, USA, 2013
82013
Intelligent agents for human behavior modeling as support to operations
AG Bruzzone, M Massei, S Poggi, C Bartolucci, A Ferrando
Simulation and Modeling Methodologies, Technologies and Applications, 119-132, 2015
72015
Innovative models for multi-coalition management
AG Bruzzone, A Tremori, JA Sokolowski, C Banks, F Longo, A Casapietra, ...
Proceedings of WAMS, Buenos Aires, Argentina, November, 2013
72013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20