Franco Raimondi

	2009
24		Alessio Lomuscio, Hongyang Qu, Franco Raimondi: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688
23		Fabio Roda, Leo Liberti, Franco Raimondi: Combinatorial Optimization Based Recommender Systems. CTW 2009: 175-179
22		Andrea Bettinelli, Leo Liberti, Franco Raimondi, David Savourey: The Anonymous Subgraph Problem. CTW 2009: 269-274
21		Javier Cubo, Michele Sama, Franco Raimondi, David S. Rosenblum: A Model to Design and Verify Context-Aware Adaptive Service Composition. IEEE SCC 2009: 184-191
20		Charles Pecheur, Franco Raimondi, Guillaume Brat: A formal analysis of requirements-based testing. ISSTA 2009: 47-56
	2008
19		Leo Liberti, Franco Raimondi: The Secret Santa Problem. AAIM 2008: 271-279
18		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		Franco Raimondi, James Skene, Wolfgang Emmerich: Efficient online monitoring of web-service SLAs. SIGSOFT FSE 2008: 170-180
	2007
16		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		Alessio Lomuscio, Charles Pecheur, Franco Raimondi: Automatic Verification of Knowledge and Time with NuSMV. IJCAI 2007: 1384-1389
14		Franco Raimondi, Charles Pecheur, Guillaume Brat: Testing Planning Domains (without Model Checkers). Electr. Notes Theor. Comput. Sci. 190(2): 113-125 (2007)
13		Alessio Lomuscio, Franco Raimondi, Bozena Wozna: Verification of the TESLA protocol in MCMAS-X. Fundam. Inform. 79(3-4): 473-486 (2007)
12		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		Alessio Lomuscio, Franco Raimondi: Model checking knowledge, strategies, and games in multi-agent systems. AAMAS 2006: 161-168
10		Alessio Lomuscio, Franco Raimondi: The complexity of model checking concurrent programs against CTLK specifications. AAMAS 2006: 548-550
9		Alessio Lomuscio, Franco Raimondi: The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. DALT 2006: 29-42
8		Charles Pecheur, Franco Raimondi: Symbolic Model Checking of Logics with Actions. MoChArt 2006: 113-128
7		Alessio Lomuscio, Franco Raimondi: MCMAS: A Model Checker for Multi-agent Systems. TACAS 2006: 450-454
6		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		Franco Raimondi, Alessio Lomuscio: Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. AAMAS 2004: 630-637
4		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		Franco Raimondi, Alessio Lomuscio: Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. FAABS 2004: 213-221
	2003
1		Alessio Lomuscio, Franco Raimondi, Marek J. Sergot: Towards model checking interpreted systems. AAMAS 2003: 1054-1055

Coauthor Index

1	Andrea Bettinelli	[22]
2	Guillaume Brat	[14] [20]
3	Roberta Calegari	[16]
4	Javier Cubo	[21]
5	Wolfgang Emmerich	[17] [18]
6	Magdalena Kacprzak	[6]
7	Leo Liberti	[19] [22] [23]
8	Alessio Lomuscio	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [15] [24]
9	Cecilia Mascolo	[16]
10	Mirco Musolesi	[16]
11	Artur Niewiadomski	[6]
12	Charles Pecheur	[8] [14] [15] [20]
13	Wojciech Penczek	[6]
14	Hongyang Qu	[24]
15	Fabio Roda	[23]
16	David S. Rosenblum	[18] [21]
17	Michele Sama	[18] [21]
18	David Savourey	[22]
19	Marek J. Sergot	[1]
20	James Skene	[17]
21	Maciej Szreter	[6]
22	Bozena Wozna	[13]

Colors in the list of coauthors