Pietro Ferrara

发表

Pietro Ferrara, Fausto Spoto, F. Spoto, 2018, ITASEC.
Pietro Ferrara, Fausto Spoto, Elisa Burato, 2017, ITASEC.
Michael D. Ernst, Pietro Ferrara, Fausto Spoto, 2019, ACM Trans. Program. Lang. Syst..
Agostino Cortesi, Pietro Ferrara, Fausto Spoto, 2019 .
C. Lucchese, Pietro Ferrara, Stefano Calzavara, 2022, J. Comput. Secur..
Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich, 2008 .
Alessandro Orso, David Notkin, Pietro Ferrara, 2011, International Conference on Software Engineering.
T. J. Watson, Pietro Ferrara, Omer Tripp, 2015 .
Agostino Cortesi, Pietro Ferrara, Martina Olliaro, 2022, VMCAI.
Giuseppe Maggiore, Agostino Cortesi, Pietro Ferrara, 2013, ICFEM.
Pietro Ferrara, Pietro Ferrara, 2010, FMOODS/FORTE.
Pietro Ferrara, Pietro Ferrara, 2013, Softw. Pract. Exp..
Pietro Ferrara, Pietro Ferrara, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Pietro Ferrara, Pietro Ferrara, 2008 .
Agostino Cortesi, Pietro Ferrara, Giulia Costantini, 2013, Festschrift for Dave Schmidt.
Agostino Cortesi, Fausto Spoto, Amit Mandal, 2020, SAC.
Agostino Cortesi, Pietro Ferrara, Giulia Costantini, 2011, ICFEM.
Pietro Ferrara, Claudio Lucchese, Stefano Calzavara, 2020, ESORICS.
Pietro Ferrara, Peter Müller, Pietro Ferrara, 2012, VMCAI.
Agostino Cortesi, Pietro Ferrara, Fausto Spoto, 2019, Softw. Pract. Exp..
Agostino Cortesi, Pietro Ferrara, Fausto Spoto, 2020, International Journal on Software Tools for Technology Transfer.
Agostino Cortesi, Pietro Ferrara, Nabendu Chaki, 2013, IEEE ISR 2013.
Pietro Ferrara, Marco Pistoia, Omer Tripp, 2014, ISSTA 2014.
Agostino Cortesi, Pietro Ferrara, Marco Pistoia, 2015, CISIM.
Agostino Cortesi, Pietro Ferrara, Giulia Costantini, 2015, Comput. Lang. Syst. Struct..
Agostino Cortesi, Pietro Ferrara, Giulia Costantini, 2012, APLAS.
Pietro Ferrara, Marco Pistoia, Omer Tripp, 2015, ACSAC.
Agostino Cortesi, Pietro Ferrara, Fausto Spoto, 2018, 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Agostino Cortesi, Pietro Ferrara, Fausto Spoto, 2019, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Agostino Cortesi, Pietro Ferrara, Marco Pistoia, 2015, VMCAI.