| MCMAS: an open-source model checker for the verification of multi-agent systems A Lomuscio, H Qu, F Raimondi International Journal on Software Tools for Technology Transfer 19, 9-30, 2017 | 689 | 2017 |
| Efficient online monitoring of web-service SLAs F Raimondi, J Skene, W Emmerich Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 224 | 2008 |
| mcmas: A Model Checker for Multi-agent Systems A Lomuscio, F Raimondi International conference on tools and algorithms for the construction and …, 2006 | 190 | 2006 |
| Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams F Raimondi, A Lomuscio Journal of Applied Logic 5 (2), 235-251, 2007 | 179 | 2007 |
| Context-aware adaptive applications: Fault patterns and their automated identification M Sama, S Elbaum, F Raimondi, DS Rosenblum, Z Wang IEEE Transactions on Software Engineering 36 (5), 644-661, 2010 | 134 | 2010 |
| Taking Arduino to the Internet of Things: The ASIP programming model G Barbon, M Margolis, F Palumbo, F Raimondi, N Weldin Computer Communications 89, 128-140, 2016 | 118 | 2016 |
| Model checking knowledge, strategies, and games in multi-agent systems A Lomuscio, F Raimondi Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 102 | 2006 |
| Service-level agreements for electronic services J Skene, F Raimondi, W Emmerich IEEE Transactions on Software Engineering 36 (2), 288-304, 2009 | 80 | 2009 |
| Towards Symbolic Model Checking for Multi-agent Systems via obdd’s F Raimondi, A Lomuscio International Workshop on Formal Approaches to Agent-Based Systems, 213-221, 2004 | 75 | 2004 |
| Automatic verification of knowledge and time with NuSMV A Lomuscio, C Pecheur, F Raimondi Proceedings of the Twentieth International Joint Conference on Artificial …, 2007 | 70 | 2007 |
| Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation F Raimondi, A Lomuscio Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 70 | 2004 |
| Symbolic model checking of logics with actions C Pecheur, F Raimondi International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006 | 69 | 2006 |
| The complexity of model checking concurrent programs against CTLK specifications A Lomuscio, F Raimondi Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 57 | 2006 |
| Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol M Kacprzak, A Lomuscio, A Niewiadomski, W Penczek, F Raimondi, ... Fundamenta Informaticae 72 (1-3), 215-234, 2006 | 55 | 2006 |
| CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems R Calegari, M Musolesi, F Raimondi, C Mascolo Proceedings of the the 6th joint meeting of the European software …, 2007 | 51 | 2007 |
| Symbolic verification of event–condition–action rules in intelligent environments C Vannucchi, M Diamanti, G Mazzante, D Cacciagrano, R Culmone, ... Journal of Reliable Intelligent Environments 3, 117-130, 2017 | 46 | 2017 |
| A synergistic and extensible framework for multi-agent system verification J Hunter, F Raimondi, N Rungta, R Stocker Proceedings of the 2013 international conference on Autonomous agents and …, 2013 | 37 | 2013 |
| Automatic verification of deontic interpreted systems by model checking via OBDD's F Raimondi, A Lomuscio ECAI 16, 53, 2004 | 37 | 2004 |
| The packing chromatic number of the infinite square lattice is between 13 and 15 B Martin, F Raimondi, T Chen, J Martin Discrete Applied Mathematics 225, 136-142, 2017 | 35 | 2017 |
| Domain types: Abstract-domain selection based on variable usage S Apel, D Beyer, K Friedberger, F Raimondi, A von Rhein Hardware and Software: Verification and Testing: 9th International Haifa …, 2013 | 35 | 2013 |
