Franco Raimondi

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

Coauthor Index

1	Guillaume Brat	[14]
2	Roberta Calegari	[16]
3	Magdalena Kacprzak	[6]
4	Alessio Lomuscio	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [15]
5	Cecilia Mascolo	[16]
6	Mirco Musolesi	[16]
7	Artur Niewiadomski	[6]
8	Charles Pecheur	[8] [14] [15]
9	Wojciech Penczek	[6]
10	Marek J. Sergot	[1]
11	Maciej Szreter	[6]
12	Bozena Wozna	[13]

Colors in the list of coauthors