Franco Raimondi

MCMAS: an open-source model checker for the verification of multi-agent systems

Alessio Lomuscio, Hongyang Qu, Franco Raimondi · International Journal on Software Tools for Technology Transfer · 2015 · 223 citations · Full text

Computing, Computer Science, Distributed Systems +15

Efficient online monitoring of web-service SLAs

Franco Raimondi, James Skene, Wolfgang Emmerich · 2008 · 140 citations

Computing, Computer Science, Information Systems +15

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

Franco Raimondi, Alessio Lomuscio · Journal of Applied Logic · 2006 · 116 citations

Computing, Computer Science, Systems Engineering +14

Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification

Michele Sama, Sebastian Elbaum, Franco Raimondi et al. · IEEE Transactions on Software Engineering · 2010 · 96 citations

Computing, Computer Engineering, Computer Science +11

Taking Arduino to the Internet of Things: The ASIP programming model

Gianluca Barbon, Michael Margolis, Filippo Palumbo et al. · Computer Communications · 2016 · 88 citations · Full text

Computing, Computer Engineering, Computer Science +12