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 | 703 | 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 | 193 | 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 | 180 | 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 | 117 | 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 | 73 | 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 | 57 | 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 | 39 | 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 | 36 | 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 |