Franco Raimondi
发表
Alessio Lomuscio,
Charles Pecheur,
Franco Raimondi,
2007,
IJCAI.
Giuseppe Primiero,
Taolue Chen,
Franco Raimondi,
2016,
Stud Logica.
Leonardo Mostarda,
Diletta Cacciagrano,
Flavio Corradini,
2017,
2017 International Conference on Intelligent Environments (IE).
Charles Pecheur,
Hongyang Qu,
Simon Busard,
2014,
ICFEM.
Florian Kammüller,
Christian W. Probst,
Franco Raimondi,
2014
.
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2015,
IJCAI.
Eric Mercer,
Franco Raimondi,
Neha Rungta,
2016,
MiSE@ICSE.
Charles Pecheur,
Hongyang Qu,
Simon Busard,
2015,
Inf. Comput..
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2007,
J. Appl. Log..
Sven Apel,
Franco Raimondi,
Alexander von Rhein,
2011
.
Giuseppe Primiero,
Franco Raimondi,
Neha Rungta,
2016,
Intelligent Environments.
Charles Pecheur,
Hongyang Qu,
Simon Busard,
2018,
International Journal on Software Tools for Technology Transfer.
Leo Liberti,
Franco Raimondi,
Fabio Roda,
2009
.
Andrei Popescu,
Franco Raimondi,
Thomas Bauereiß,
2016,
Journal of Automated Reasoning.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
LCMAS.
Cecilia Mascolo,
Mirco Musolesi,
Roberta Calegari,
2007,
ESEC-FSE '07.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2006,
TACAS.
Wolfgang Emmerich,
James Skene,
Franco Raimondi,
2008,
SIGSOFT '08/FSE-16.
Franco Raimondi,
Armando Pesenti Gritti,
Dalal Khalid Aljasem,
2016,
2016 12th International Conference on Intelligent Environments (IE).
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2006,
AAMAS '06.
Filippo Palumbo,
Franco Raimondi,
Michael Margolis,
2016,
Comput. Commun..
Kelly Androutsopoulos,
Martin Loomes,
Michael Margolis,
2018,
ECSEE.
Charles Pecheur,
Guillaume Brat,
Franco Raimondi,
2009,
ISSTA.
Giuseppe Primiero,
Franco Raimondi,
Jacopo Tagliabue,
2017,
Appl. Netw. Sci..
Tony Clark,
Balbir S. Barn,
Franco Raimondi,
2014,
ICEIS.
Antinisca Di Marco,
Francesco Gallo,
Franco Raimondi,
2012
.
Charles Pecheur,
Guillaume Brat,
Franco Raimondi,
2009
.
Bob Fields,
Giuseppe Primiero,
Franco Raimondi,
2015,
2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.
Charles Pecheur,
Franco Raimondi,
C. Pecheur,
2007,
MoChArt.
Alessio Lomuscio,
Hongyang Qu,
Franco Raimondi,
2009,
CAV.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
ECAI.
Christian R. Huyck,
Giuseppe Primiero,
Franco Raimondi,
2014,
BICA.
Giuseppe Primiero,
Taolue Chen,
Franco Raimondi,
2019,
Synthese.
Andrei Popescu,
Franco Raimondi,
Thomas Bauereiß,
2016,
ITP.
Franco Raimondi,
Neha Rungta,
Richard Stocker,
2013,
AAMAS.
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2014,
ECAI.
Sven Apel,
Dirk Beyer,
Franco Raimondi,
2013,
Haifa Verification Conference.
Franco Raimondi,
2016,
SIGL.
Michael A. Goodrich,
Eric Mercer,
Franco Raimondi,
2015,
AAMAS.
Ioana Boureanu,
Franco Raimondi,
Nikos Gorogiannis,
2017,
IJCAI.
Daniele Magazzeni,
Fabio Mercorio,
Tony Clark,
2013
.
Leonardo Mostarda,
Diletta Cacciagrano,
Rosario Culmone,
2017,
Journal of Reliable Intelligent Environments.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
DEON.
Barnaby Martin,
Taolue Chen,
Franco Raimondi,
2017,
Discret. Appl. Math..
Wolfgang Emmerich,
James Skene,
Franco Raimondi,
2010,
IEEE Transactions on Software Engineering.
William J. Clancey,
Chin Seah,
Guillaume Brat,
2013,
ATACCS.
Giuseppe Primiero,
Franco Raimondi,
Michele Bottone,
2018,
2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA).
David S. Rosenblum,
Wolfgang Emmerich,
Franco Raimondi,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops.
Leonardo Mostarda,
Diletta Cacciagrano,
Flavio Corradini,
2018,
J. Ambient Intell. Smart Environ..
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2005
.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2006,
AAMAS '06.
Sven Apel,
Dirk Beyer,
Franco Raimondi,
2013,
ArXiv.
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2015,
J. Comput. Syst. Sci..
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
FAABS.
Giuseppe Primiero,
Franco Raimondi,
Jacopo Tagliabue,
2016,
COMPLEX NETWORKS.
Charles Pecheur,
Hongyang Qu,
Simon Busard,
2013,
SR.
Alessio Lomuscio,
Charles Pecheur,
Franco Raimondi,
2005
.
Leo Liberti,
Franco Raimondi,
Andrea Bettinelli,
2013,
Comput. Oper. Res..
Giuseppe Primiero,
Franco Raimondi,
F. Raimondi,
2015,
ANT/SEIT.
Leonardo Mostarda,
Luca Tesei,
Diletta Cacciagrano,
2016,
Intelligent Environments.
Franco Raimondi,
F. Raimondi,
2007
.
Antinisca Di Marco,
Leonardo Mostarda,
Francesco Gallo,
2013,
2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA).
Giuseppe Primiero,
Rajagopal Nagarajan,
Taolue Chen,
2017,
2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Wojciech Penczek,
Alessio Lomuscio,
Magdalena Kacprzak,
2006,
Fundam. Informaticae.
Giuseppe Primiero,
Franco Raimondi,
Neha Rungta,
2014,
AAMAS.
Andrzej Zbrzezny,
Franco Raimondi,
Agnieszka Zbrzezny,
2016,
KES-AMSTA.
Giuseppe Primiero,
Jaap Boender,
Franco Raimondi,
2015,
2015 13th Annual Conference on Privacy, Security and Trust (PST).
Alessio Lomuscio,
Hongyang Qu,
Franco Raimondi,
2017,
International Journal on Software Tools for Technology Transfer.
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2015,
AAMAS.
Andrei Popescu,
Franco Raimondi,
Thomas Bauereiß,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Brian Logan,
Natasha Alechina,
Leonardo Mostarda,
2015
.
David S. Rosenblum,
Javier Cubo,
Franco Raimondi,
2009,
2009 IEEE International Conference on Services Computing.
Balbir S. Barn,
Franco Raimondi,
Ravinder Barn,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Alessio Lomuscio,
Franco Raimondi,
2006,
DALT.
Giuseppe Primiero,
Martin Loomes,
Jaap Boender,
2016,
TFPIE.
Franco Raimondi,
Neha Rungta,
Andrew Wallace,
2016,
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE).
Leonardo Mostarda,
Luca Tesei,
Flavio Corradini,
2015,
2015 IEEE 29th International Conference on Advanced Information Networking and Applications Workshops.
Franco Raimondi,
F. Raimondi,
2006
.
Leo Liberti,
Franco Raimondi,
2008,
AAIM.
Dimitra Giannakopoulou,
Charles Pecheur,
Guillaume Brat,
2017,
Handbook of Formal Methods in Human-Computer Interaction.
Giuseppe Primiero,
Franco Raimondi,
2014,
2014 Twelfth Annual International Conference on Privacy, Security and Trust.
Leo Liberti,
Franco Raimondi,
Fabio Roda,
2011,
WEBIST.
Charles Pecheur,
Guillaume Brat,
Franco Raimondi,
2007,
MBT.
David S. Rosenblum,
Zhimin Wang,
Sebastian G. Elbaum,
2010,
IEEE Transactions on Software Engineering.
Giuseppe Primiero,
Vincenzo De Florio,
Franco Raimondi,
2016,
2016 12th International Conference on Intelligent Environments (IE).
Alessio Lomuscio,
Franco Raimondi,
Bozena Wozna,
2007,
Fundam. Informaticae.
Giuseppe Primiero,
Filippo Palumbo,
Franco Raimondi,
2016,
2016 5th IEEE International Conference on Cloud Networking (Cloudnet).
Vinay Kulkarni,
Daniele Magazzeni,
Fabio Mercorio,
2014
.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2004,
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
Barnaby Martin,
Taolue Chen,
Franco Raimondi,
2015,
ArXiv.
Kelly Androutsopoulos,
Martin Loomes,
Michael Margolis,
2014,
ELS.
Alessio Lomuscio,
Marek J. Sergot,
Franco Raimondi,
2003,
AAMAS '03.
Alessio Lomuscio,
Franco Raimondi,
A. Lomuscio,
2005
.
Wolfgang Emmerich,
James Skene,
Franco Raimondi,
2007
.
Cecilia Mascolo,
Mirco Musolesi,
Roberta Calegari,
2007
.
Wolfgang Emmerich,
James Skene,
Franco Raimondi,
2007
.