| 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 | 37 | 2016 |
| Parametric Runtime Verification of Multiagent Systems. D Ancona, A Ferrando, V Mascardi AAMAS 17, 1457-1459, 2017 | 33 | 2017 |
| 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 | 28 | 2015 |
| Decentralizing mas monitoring with decamon A Ferrando, D Ancona, V Mascardi Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 21 | 2017 |
| 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 | 20 | 2016 |
| 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 | 20 | 2016 |
| Recognising assumption violations in autonomous systems verification A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi | 17 | 2018 |
| 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 | 13 | 2019 |
| 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 | 12 | 2017 |
| 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 | 11 | 2013 |
| 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 | 9 | 2018 |
| 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 | 9 | 2016 |
| 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 | 9 | 2014 |
| The early bird catches the worm: First verify, then monitor! A Ferrando Science of Computer Programming 172, 160-179, 2019 | 8 | 2019 |
| 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 | 8 | 2016 |
| 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 | 8 | 2015 |
| 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 | 8 | 2015 |
| 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 | 8 | 2013 |
| 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 | 7 | 2015 |
| 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 | 7 | 2013 |
Viviana MascardiAssociate Professor, University of Genova, ItalyGeverifieerd e-mailadres voor unige.it
