Paolo Arcaini
发表
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2018,
VaMoS.
Paolo Arcaini,
Gloria Bordogna,
Simone Sterlacchini,
2016
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014,
ABZ.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011,
Softw. Pract. Exp..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2012,
WCOP '12.
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
SPLC.
Paolo Arcaini,
Gloria Bordogna,
Simone Sterlacchini,
2013,
FQAS.
Paolo Arcaini,
Elvinia Riccobene,
Roxana-Maria Holom,
2016,
Formal Aspects of Computing.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014
.
Paolo Arcaini,
Catia Trubiani,
Omar Inverso,
2020,
Inf. Softw. Technol..
Paolo Arcaini,
Elvinia Riccobene,
Riccardo Melioli,
2018,
F-IDE@FLoC.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
Comput. J..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014,
TAP@STAF.
Paolo Arcaini,
Angelo Gargantini,
Andrea Bombarda,
2020,
2020 IEEE International Conference On Artificial Intelligence Testing (AITest).
Paolo Arcaini,
Anthony Ventresque,
Thomas Laurent,
2019,
2019 26th Asia-Pacific Software Engineering Conference (APSEC).
Gidon Ernst,
Paolo Arcaini,
Georgios Fainekos,
2019,
ARCH@CPSIoTWeek.
Paolo Arcaini,
Elvinia Riccobene,
Roxana-Maria Holom,
2015,
WS-FM.
Paolo Arcaini,
Fuyuki Ishikawa,
Ichiro Hasuo,
2019,
VaMoS.
Paolo Arcaini,
Dipesh Pradhan,
Tao Yue,
2020,
ACM Trans. Softw. Eng. Methodol..
Paolo Arcaini,
Elvinia Riccobene,
Raffaela Mirandola,
2020,
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Tao Yue,
Shaukat Ali,
2020,
Lecture Notes in Computer Science.
Paolo Arcaini,
Fuyuki Ishikawa,
Shaukat Ali,
2019,
GECCO.
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2015,
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Gloria Bordogna,
Dino Ienco,
2016,
Inf. Sci..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2012
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Fuyuki Ishikawa,
Florian Hauer,
2020,
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2013
.
Paolo Arcaini,
Elvinia Riccobene,
Patrizia Scandurra,
2017,
ACM Trans. Auton. Adapt. Syst..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2012
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Elvinia Riccobene,
E. Riccobene,
2019,
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
International Journal on Software Tools for Technology Transfer.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016,
ABZ.
Paolo Arcaini,
Elvinia Riccobene,
Patrizia Scandurra,
2015,
SIAP.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Elvinia Riccobene,
Raffaela Mirandola,
2019,
2019 IEEE International Conference on Software Architecture Companion (ICSA-C).
Gidon Ernst,
Paolo Arcaini,
Zhenya Zhang,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Paolo Arcaini,
Angelo Gargantini,
Paolo Arcaini,
2014,
Sci. Comput. Program..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2019,
FM Workshops.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2013,
Haifa Verification Conference.
Paolo Arcaini,
Angelo Gargantini,
Francesco Bolis,
2012,
ABZ.
Paolo Arcaini,
Zhenya Zhang,
Ichiro Hasuo,
2020,
NFM.
Paolo Arcaini,
Gloria Bordogna,
Simone Sterlacchini,
2014
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Gidon Ernst,
Paolo Arcaini,
Zhenya Zhang,
2018,
ARCH@ADHS.
Paolo Arcaini,
Gloria Bordogna,
Simone Sterlacchini,
2013,
EUSFLAT Conf..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Paolo Arcaini,
Gloria Bordogna,
Gloria Bordogna,
2018,
Encyclopedia of Social Network Analysis and Mining. 2nd Ed..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016,
ABZ.
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016,
STAF Workshops.
Paolo Arcaini,
Angelo Gargantini,
Atif Mashkoor,
2020,
Computer.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
Softw. Test. Verification Reliab..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2019,
Softw. Test. Verification Reliab..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
Inf. Softw. Technol..
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011,
Innovations in Systems and Software Engineering.
Paolo Arcaini,
Catia Trubiani,
2017,
SAC.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2019,
ICTSS.
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2014,
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2018,
ICTSS.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2018,
Models: Concepts, Theory, Logic, Reasoning and Semantics.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016
.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2010,
ASM.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2015,
ESEC/SIGSOFT FSE.
Paolo Arcaini,
Fuyuki Ishikawa,
Shaukat Ali,
2020,
GECCO.
Paolo Arcaini,
Shuai Wang,
Xavier Devroey,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2013
.
Paolo Arcaini,
Elvinia Riccobene,
Patrizia Scandurra,
2015,
2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
Paolo Arcaini,
Tao Yue,
Shaukat Ali,
2020,
SSBSE.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2020,
ABZ.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2016,
SEFM.
Paolo Arcaini,
Angelo Gargantini,
Paolo Vavassori,
2017,
SPLC.
Paolo Arcaini,
Tomohisa Hayakawa,
Hideaki Ishii,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Paolo Arcaini,
Fuyuki Ishikawa,
Xiao-Yi Zhang,
2019,
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2019,
IEEE Transactions on Software Engineering.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
Sci. Comput. Program..
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
TAP@FM.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2017,
AFM@NFM.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2014,
ABZ.
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
J. Syst. Softw..
Paolo Arcaini,
Elvinia Riccobene,
Raffaela Mirandola,
2020,
SAC.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011,
RV.
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
SPLC.
Paolo Arcaini,
Elvinia Riccobene,
Patrizia Scandurra,
2017,
Lecture Notes in Computer Science.
Paolo Arcaini,
Zhenya Zhang,
Ichiro Hasuo,
2019,
CAV.
Paolo Arcaini,
Zhenya Zhang,
Ichiro Hasuo,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Paolo Arcaini,
Fuyuki Ishikawa,
Kun Liu,
2020,
SEAMS@ICSE.
Paolo Arcaini,
Jan Kofroň,
Pavel Ježek,
2019,
International Journal on Software Tools for Technology Transfer.
Paolo Arcaini,
Elvinia Riccobene,
Raffaela Mirandola,
2020,
J. Syst. Softw..
Paolo Arcaini,
Gloria Bordogna,
Simone Sterlacchini,
2017,
Granular, Soft and Fuzzy Approaches for Intelligent Systems.
Paolo Arcaini,
Elvinia Riccobene,
Raffaela Mirandola,
2018,
ECSA.
Paolo Arcaini,
Jan Kofron,
Pavel Jezek,
2018,
ABZ.
Paolo Arcaini,
Fuyuki Ishikawa,
Kun Liu,
2020,
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Paolo Arcaini,
Fuyuki Ishikawa,
Xiao-Yi Zhang,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Ichiro Hasuo,
Jianjun Zhao,
2021,
NFM.
Paolo Arcaini,
Angelo Gargantini,
Silvia Bonfanti,
2021,
2021 IEEE International Conference on Artificial Intelligence Testing (AITest).
Paolo Arcaini,
Shaukat Ali,
Tao Yue,
2021,
GECCO Companion.
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2021,
Logic, Computation and Rigorous Methods.
Paolo Arcaini,
Shaukat Ali,
Tao Yue,
2021,
GECCO.
Paolo Arcaini,
Ezequiel Castellano,
Ahmet Cetinkaya,
2021,
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST).
Paolo Arcaini,
Angelo Gargantini,
Silvia Bonfanti,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Fuyuki Ishikawa,
Anthony Ventresque,
2021,
GECCO Companion.
Paolo Arcaini,
Shaukat Ali,
Tao Yue,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Paolo Arcaini,
Lei Ma,
Ichiro Hasuo,
2021,
CAV.
Paolo Arcaini,
Anthony Ventresque,
Takfarinas Saber,
2021,
2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
2011
.