2008 |
19 | EE | Leo Liberti,
Franco Raimondi:
The Secret Santa Problem.
AAIM 2008: 271-279 |
18 | EE | Michele Sama,
Franco Raimondi,
David S. Rosenblum,
Wolfgang Emmerich:
Algorithms for efficient symbolic detection of faults in context-aware applications.
ASE Workshops 2008: 1-8 |
17 | EE | Franco Raimondi,
James Skene,
Wolfgang Emmerich:
Efficient online monitoring of web-service SLAs.
SIGSOFT FSE 2008: 170-180 |
2007 |
16 | EE | Roberta Calegari,
Mirco Musolesi,
Franco Raimondi,
Cecilia Mascolo:
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems.
ESEC/SIGSOFT FSE 2007: 415-424 |
15 | EE | Alessio Lomuscio,
Charles Pecheur,
Franco Raimondi:
Automatic Verification of Knowledge and Time with NuSMV.
IJCAI 2007: 1384-1389 |
14 | EE | Franco Raimondi,
Charles Pecheur,
Guillaume Brat:
Testing Planning Domains (without Model Checkers).
Electr. Notes Theor. Comput. Sci. 190(2): 113-125 (2007) |
13 | EE | Alessio Lomuscio,
Franco Raimondi,
Bozena Wozna:
Verification of the TESLA protocol in MCMAS-X.
Fundam. Inform. 79(3-4): 473-486 (2007) |
12 | EE | Franco Raimondi,
Alessio Lomuscio:
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.
J. Applied Logic 5(2): 235-251 (2007) |
2006 |
11 | EE | Alessio Lomuscio,
Franco Raimondi:
Model checking knowledge, strategies, and games in multi-agent systems.
AAMAS 2006: 161-168 |
10 | EE | Alessio Lomuscio,
Franco Raimondi:
The complexity of model checking concurrent programs against CTLK specifications.
AAMAS 2006: 548-550 |
9 | EE | Alessio Lomuscio,
Franco Raimondi:
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.
DALT 2006: 29-42 |
8 | EE | Charles Pecheur,
Franco Raimondi:
Symbolic Model Checking of Logics with Actions.
MoChArt 2006: 113-128 |
7 | EE | Alessio Lomuscio,
Franco Raimondi:
MCMAS: A Model Checker for Multi-agent Systems.
TACAS 2006: 450-454 |
6 | EE | Magdalena Kacprzak,
Alessio Lomuscio,
Artur Niewiadomski,
Wojciech Penczek,
Franco Raimondi,
Maciej Szreter:
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.
Fundam. Inform. 72(1-3): 215-234 (2006) |
2004 |
5 | EE | Franco Raimondi,
Alessio Lomuscio:
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation.
AAMAS 2004: 630-637 |
4 | EE | Franco Raimondi,
Alessio Lomuscio:
Automatic Verification of Deontic Properties of Multi-agent Systems.
DEON 2004: 228-242 |
3 | | Franco Raimondi,
Alessio Lomuscio:
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's.
ECAI 2004: 53-57 |
2 | EE | Franco Raimondi,
Alessio Lomuscio:
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's.
FAABS 2004: 213-221 |
2003 |
1 | EE | Alessio Lomuscio,
Franco Raimondi,
Marek J. Sergot:
Towards model checking interpreted systems.
AAMAS 2003: 1054-1055 |