Pietro Ferrara
发表
Pietro Ferrara,
Luca Olivieri,
Fausto Spoto,
2020,
VMCAI.
Fuyuki Ishikawa,
Pietro Ferrara,
Manuel A. Martins,
2009,
SEFM.
Pietro Ferrara,
Raphael Fuchs,
Uri Juhasz,
2012,
SEFM.
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2019,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Pietro Ferrara,
Pietro Ferrara,
2009
.
Pietro Ferrara,
Marco Pistoia,
Omer Tripp,
2014,
ISSTA 2014.
Agostino Cortesi,
Pietro Ferrara,
Gianluca Barbon,
2016,
STM.
Pietro Ferrara,
Peter Müller,
Pietro Ferrara,
2012,
VMCAI.
Pietro Ferrara,
Pietro Ferrara,
2008
.
Agostino Cortesi,
Pietro Ferrara,
Giulia Costantini,
2015,
Comput. Lang. Syst. Struct..
Michael D. Ernst,
Pietro Ferrara,
Fausto Spoto,
2019,
ACM Trans. Program. Lang. Syst..
Pietro Ferrara,
Claudio Lucchese,
Stefano Calzavara,
2020,
ESORICS.
Agostino Cortesi,
Pietro Ferrara,
Matteo Zanioli,
2012,
SAC '12.
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2018,
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Pietro Ferrara,
Marco Pistoia,
Omer Tripp,
2016,
ACSAC.
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2018,
CF.
Agostino Cortesi,
Pietro Ferrara,
Giulia Costantini,
2013,
Festschrift for Dave Schmidt.
Agostino Cortesi,
Pietro Ferrara,
Vincenzo Arceri,
2021,
VMCAI.
Pietro Ferrara,
Peter Müller,
Lucas Brutschy,
2014,
OOPSLA.
Pietro Ferrara,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Pietro Ferrara,
Peter Müller,
Milos Novácek,
2015,
VMCAI.
Pietro Ferrara,
Fausto Spoto,
Elisa Burato,
2017,
ITASEC.
Pietro Ferrara,
Pietro Ferrara,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Margaret M. Burnett,
Pietro Ferrara,
Marco Pistoia,
2017,
2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
Pietro Ferrara,
2016,
Theor. Comput. Sci..
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2018,
SmartCom.
Pietro Ferrara,
Marco Pistoia,
Omer Tripp,
2015,
OOPSLA.
Pietro Ferrara,
2008,
TAP.
Agostino Cortesi,
Pietro Ferrara,
Marco Pistoia,
2015,
CISIM.
Pietro Ferrara,
Donato Rigante,
Carmen D'Aleo,
2002
.
Pietro Ferrara,
Luca Olivieri,
Fausto Spoto,
2018,
APF.
Pietro Ferrara,
2006
.
Agostino Cortesi,
Pietro Ferrara,
Matteo Zanioli,
2018,
Trans. Comput. Sci..
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2020,
Sci. Comput. Program..
Pietro Ferrara,
Manuel Fähndrich,
Francesco Logozzo,
2008,
OOPSLA '08.
Agostino Cortesi,
Pietro Ferrara,
Nabendu Chaki,
2013,
IEEE ISR 2013.
Agostino Cortesi,
Pietro Ferrara,
Marco Pistoia,
2015,
VMCAI.
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2018,
2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE).
Agostino Cortesi,
Pietro Ferrara,
Giulia Costantini,
2012,
APLAS.
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2020,
ACSS.
Pietro Ferrara,
2014,
VMCAI.
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2019,
Softw. Pract. Exp..
Agostino Cortesi,
Pietro Ferrara,
Giulia Costantini,
2011,
ICFEM.
Pietro Ferrara,
Marco Pistoia,
Abdulbaki Aydin,
2017,
FASE.
Pietro Ferrara,
Pietro Ferrara,
2013,
Softw. Pract. Exp..
Giuseppe Maggiore,
Agostino Cortesi,
Pietro Ferrara,
2013,
ICFEM.
Pietro Ferrara,
Pietro Ferrara,
2010,
FMOODS/FORTE.
Pietro Ferrara,
Luca Negrini,
2020,
VSTTE.
Alessandro Orso,
David Notkin,
Pietro Ferrara,
2011,
International Conference on Software Engineering.
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2020,
International Journal on Software Tools for Technology Transfer.
Pietro Ferrara,
Daniel Schweizer,
Lucas Brutschy,
2014,
FASE.
Pietro Ferrara,
Peter Müller,
Lucas Brutschy,
2014,
MobileDeLi '14.
Pietro Ferrara,
Francesco Logozzo,
Manuel Fähndrich,
2008
.
Pietro Ferrara,
Marco Pistoia,
Julia Rubin,
2016,
2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
Pietro Ferrara,
Peter Müller,
Milos Novacek,
2013
.
Pietro Ferrara,
Fausto Spoto,
F. Spoto,
2018,
ITASEC.
Pietro Ferrara,
Paolina Centonze,
Marco Pistoia,
2015,
MobileDeLi.
Pietro Ferrara,
Eric Koskinen,
Peng Liu,
2017,
VMCAI.
Pietro Ferrara,
Marco Pistoia,
Omer Tripp,
2015,
ACSAC.
Agostino Cortesi,
Pietro Ferrara,
Giulia Costantini,
2015,
Softw. Pract. Exp..
Pietro Ferrara,
Fausto Spoto,
Luca Olivieri,
2021,
Int. J. Softw. Eng. Knowl. Eng..
Agostino Cortesi,
Pietro Ferrara,
Vincenzo Arceri,
2021,
SOAP@PLDI.
Agostino Cortesi,
Pietro Ferrara,
Martina Olliaro,
2022,
VMCAI.
Pietro Ferrara,
Carmine Bianchi,
Enzo Bivona,
2010
.
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto,
2019
.