F. Raimondi
发表
Alessio Lomuscio,
Charles Pecheur,
Franco Raimondi,
2007,
IJCAI.
Sebastian G. Elbaum,
D. Bianculli,
A. Wolf,
2022
.
D. D. Ruscio,
V. Cortellessa,
P. Inverardi,
2007
.
Wolfgang Emmerich,
James Skene,
Franco Raimondi,
2007
.
Cecilia Mascolo,
Mirco Musolesi,
Roberta Calegari,
2007
.
Eric Mercer,
Franco Raimondi,
Neha Rungta,
2016,
MiSE@ICSE.
Armando Pesenti Gritti,
F. Raimondi,
A. Popescu,
2017
.
Andrea Grassi,
Cesare Fantuzzi,
Giuseppe Perrica,
2008
.
Taolue Chen,
F. Raimondi,
Neha Rungta,
2015,
Studia Logica.
Ioana Boureanu,
Franco Raimondi,
Nikos Gorogiannis,
2017,
IJCAI.
Christian R. Huyck,
Giuseppe Primiero,
Franco Raimondi,
2014,
BICA.
Leonardo Mostarda,
Diletta Cacciagrano,
Rosario Culmone,
2017,
Journal of Reliable Intelligent Environments.
Giuseppe Primiero,
Taolue Chen,
Franco Raimondi,
2019,
Synthese.
Alessio Lomuscio,
Hongyang Qu,
Franco Raimondi,
2017,
International Journal on Software Tools for Technology Transfer.
David S. Rosenblum,
Wolfgang Emmerich,
Franco Raimondi,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops.
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2007,
J. Appl. Log..
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2006,
AAMAS '06.
Franco Raimondi,
F. Raimondi,
2006
.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2005
.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
ECAI.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
FAABS.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
LCMAS.
Giuseppe Primiero,
Franco Raimondi,
Michele Bottone,
2018,
2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA).
Giuseppe Primiero,
Filippo Palumbo,
Franco Raimondi,
2016,
2016 5th IEEE International Conference on Cloud Networking (Cloudnet).
Giuseppe Primiero,
Franco Raimondi,
Neha Rungta,
2016,
Intelligent Environments.
Giuseppe Primiero,
Taolue Chen,
Franco Raimondi,
2016,
Stud Logica.
Giuseppe Primiero,
Franco Raimondi,
F. Raimondi,
2015,
ANT/SEIT.
Charles Pecheur,
Guillaume Brat,
Franco Raimondi,
2007,
MBT.
Charles Pecheur,
Guillaume Brat,
Franco Raimondi,
2009
.
Wojciech Penczek,
Alessio Lomuscio,
Magdalena Kacprzak,
2006,
Fundam. Informaticae.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2006,
AAMAS '06.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2006,
TACAS.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
DEON.
Alessio Lomuscio,
Marek J. Sergot,
Franco Raimondi,
2003,
AAMAS '03.
Leonardo Mostarda,
Diletta Cacciagrano,
Flavio Corradini,
2018,
J. Ambient Intell. Smart Environ..
Leonardo Mostarda,
Diletta Cacciagrano,
Flavio Corradini,
2017,
2017 International Conference on Intelligent Environments (IE).
Sven Apel,
Dirk Beyer,
Franco Raimondi,
2013,
Haifa Verification Conference.
Sven Apel,
Franco Raimondi,
Alexander von Rhein,
2011
.
Wolfgang Emmerich,
James Skene,
Franco Raimondi,
2010,
IEEE Transactions on Software Engineering.
Charles Pecheur,
Franco Raimondi,
C. Pecheur,
2007,
MoChArt.
Andrei Popescu,
Franco Raimondi,
Thomas Bauereiß,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Filippo Palumbo,
Franco Raimondi,
Michael Margolis,
2016,
Comput. Commun..
Alessio Lomuscio,
Hongyang Qu,
Franco Raimondi,
2009,
CAV.
Franco Raimondi,
F. Raimondi,
2007
.
B. E. Chang,
F. Raimondi,
Dorde Zikelic,
2022,
PLDI.
Balbir S. Barn,
Franco Raimondi,
Ravinder Barn,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Michael A. Goodrich,
Eric Mercer,
Franco Raimondi,
2015,
AAMAS.
Giuseppe Primiero,
Jaap Boender,
Franco Raimondi,
2015,
2015 13th Annual Conference on Privacy, Security and Trust (PST).
Andrei Popescu,
Franco Raimondi,
Thomas Bauereiß,
2016,
Journal of Automated Reasoning.
F. Raimondi,
G. Primiero,
J. Tagliabue,
2017,
Appl. Netw. Sci..
Franco Raimondi,
Neha Rungta,
Andrew Wallace,
2016,
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE).
Franco Raimondi,
Neha Rungta,
Richard Stocker,
2013,
AAMAS.
A. Lomuscio,
F. Raimondi,
2004,
ECAI.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
F. Raimondi,
2006
.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2005
.
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2015,
J. Comput. Syst. Sci..
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2014,
ECAI.
Andrzej Zbrzezny,
Franco Raimondi,
Agnieszka Zbrzezny,
2016,
KES-AMSTA.
Alessio Lomuscio,
Charles Pecheur,
Franco Raimondi,
2005
.
David S. Rosenblum,
Zhimin Wang,
Sebastian G. Elbaum,
2010,
IEEE Transactions on Software Engineering.
Leo Liberti,
Fabio Roda,
F. Raimondi,
2009
.