Marco Palena
发表
Gianpiero Cabodi,
Paolo Camurati,
Paolo Pasini,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stefano Quer,
Denis Patti,
Paolo Pasini,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Gianpiero Cabodi,
Stefano Quer,
Nicolas Boria,
2016,
ArXiv.
Matteo Sonza Reorda,
Riccardo Cantoro,
Paolo Pasini,
2016,
2016 IEEE 25th Asian Test Symposium (ATS).
Armin Biere,
Gianpiero Cabodi,
Stefano Quer,
2014,
J. Satisf. Boolean Model. Comput..
Gianpiero Cabodi,
Paolo Camurati,
Paolo Pasini,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Alan Mishchenko,
Gianpiero Cabodi,
Paolo Camurati,
2017,
Formal Methods Syst. Des..
Matteo Sonza Reorda,
Farrokh Ghani Zadegan,
Riccardo Cantoro,
2018,
IEEE Transactions on Computers.
Gianpiero Cabodi,
Paolo Camurati,
Paolo Pasini,
2017,
SEFM.
Gianpiero Cabodi,
Stefano Quer,
Denis Patti,
2017,
International Journal on Software Tools for Technology Transfer.
Gianpiero Cabodi,
Stefano Quer,
Nicolas Boria,
2016,
CPM.
Gianpiero Cabodi,
Paolo Pasini,
Marco Palena,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Marco Palena,
2017
.
Alan Mishchenko,
Gianpiero Cabodi,
Marco Palena,
2013,
DIFTS@FMCAD.
Gianpiero Cabodi,
Alexey Ignatiev,
Marco Palena,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).