| Global Protocols as First Class Entities for Self-Adaptive Agents D Ancona, D Briola, A Ferrando, V Mascardi AAMAS 2015, 2015 | 41 | 2015 |
| Distributed runtime verification of JADE multiagent systems D Briola, V Mascardi, D Ancona Intelligent Distributed Computing VIII, 81-91, 2014 | 40 | 2014 |
| A holonic multi-agent system for sketch, image and text interpretation in the rock art domain V Mascardi, D Briola, A Locoro, D Grignani, V Deufemia, L Paolino, ... International Journal of Innovative Computing, Information and Control, 2014 | 27 | 2014 |
| Efficient Verification of MASs with Projections D Ancona, D Briola, AEF Seghrouchni, V Mascardi, P Taillibert Second International Workshop on Engineering Multi-Agent Systems (EMAS 2014 …, 2015 | 22 | 2015 |
| Monitoring and diagnosing railway signalling with logic-based distributed agents V Mascardi, D Briola, M Martelli, R Caccia, C Milani Proceedings of the International Workshop on Computational Intelligence in …, 2009 | 20 | 2009 |
| Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience D Briola, V Deufemia, V Mascardi, L Paolino Journal of Software: Practice and Experience, 2017 | 19 | 2017 |
| Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. D Briola, V Mascardi, D Ancona CILC, 319-323, 2014 | 19 | 2014 |
| Ontology agents in FIPA-compliant platforms: a survey and a new proposal D Briola, A Locoro, V Mascardi Proc. of WOA 2008, 68-75, 2008 | 17 | 2008 |
| On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol V Mascardi, D Briola, D Ancona AI* IA 2013: Advances in Artificial Intelligence, 300-311, 2013 | 14 | 2013 |
| Automatically generating test cases for safety-critical software via symbolic execution E Kurian, D Briola, P Braione, G Denaro Journal of Systems and Software 199, 111629, 2023 | 13 | 2023 |
| Intelligent Agents that Monitor, Diagnose and Solve Problems: Two success stories of industry-university collaboration D Briola, V Mascardi, M Martelli Journal of Information Assurance and Security 4, 106-116, 2009 | 13 | 2009 |
| A platform for P2P agent‐based collaborative applications D Briola, D Micucci, L Mariani Software: Practice and Experience 49 (3), 549-558, 2019 | 12 | 2019 |
| Ontologica: Exploiting ontologies and natural language for railway management. Design, implementation and usage examples D Briola, R Caccia, M Bozzano, A Locoro International Journal of Knowledge-Based and Intelligent Engineering Systems …, 2013 | 12 | 2013 |
| Multi agent resource allocation: a comparison of five negotiation protocols D Briola, V Mascardi 12th Workshop on Objects and Agents (WOA 2011), Proceedings, volume 741, 95-104, 2011 | 12 | 2011 |
| Dynamic Resource Allocation in a MAS: A Case Study from the Industry D Briola, V Mascardi, M Martelli, R Caccia, C Milani WOA 2009, Proceedings, 2009 | 12 | 2009 |
| MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols D Ancona, D Briola, A Ferrando, V Mascardi Proceedings of the 17th Workshop” From Objects to Agents” co-located with …, 2016 | 11 | 2016 |
| 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 | 10 | 2015 |
| Design and implementation of a NetLogo interface for the stand-alone FYPA system D Briola, V Mascardi 12th Workshop on Objects and Agents (WOA 2011), Proceedings, volume, 2011 | 10 | 2011 |
| Computational Thinking for Beginners: A Successful Experience using Prolog S Beux, D Briola, A Corradi, G Delzanno, A Ferrando, F Frassetto, ... 30th Italian Conference on Computational Logic, CILC 2015, Genova 1459, 31-45, 2015 | 9 | 2015 |
| In The Field Monitoring of Interactive Applications O Cornejo, D Briola, D Micucci, L Mariani Proceedings of ICSE 2017, Nier Track, 2017 | 8 | 2017 |
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
