Follow
Franco Raimondi
Franco Raimondi
Professor of Computer Science, Gran Sasso Science Institute
Verified email at gssi.it - Homepage
Title
Cited by
Cited by
Year
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
6782017
Efficient online monitoring of web-service SLAs
F Raimondi, J Skene, W Emmerich
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
2232008
mcmas: A Model Checker for Multi-agent Systems
A Lomuscio, F Raimondi
International conference on tools and algorithms for the construction and …, 2006
1902006
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
1792007
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
1342010
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
1162016
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
1012006
Service-level agreements for electronic services
J Skene, F Raimondi, W Emmerich
IEEE Transactions on Software Engineering 36 (2), 288-304, 2009
792009
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
752004
Automatic verification of knowledge and time with NuSMV
A Lomuscio, C Pecheur, F Raimondi
Proceedings of the Twentieth International Joint Conference on Artificial …, 2007
702007
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
702004
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
692006
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
572006
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
552006
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
512007
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
442017
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
372013
Automatic verification of deontic interpreted systems by model checking via OBDD's
F Raimondi, A Lomuscio
ECAI 16, 53, 2004
372004
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
352013
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
342017
The system can't perform the operation now. Try again later.
Articles 1–20