Archivio Istituzionale della RicercaCABODI, Gianpiero
CABODI, Gianpiero
Dipartimento di Automatica e Informatica
001764
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
Formal Property Verification
2026 Fix, Limor; Mcmillan, Ken; Cabodi, Gianpiero; Palena, Marco; Pasini, Paolo; Ip, Norris; Haller, Leopold
Evaluation of optimal charging station location for electric vehicles: an Italian case-study
2021 Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo Enrico; Tadei, Roberto
BDD-Based Hardware Verification
2006 Cabodi, Gianpiero; Murciano, Marco
Advancements in Mixed BDD and SAT Techniques
2004 Cabodi, Gianpiero; Quer, Stefano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Formal Property Verification / Fix, L., Mcmillan, K., Cabodi, G., Palena, M., Pasini, P., Ip, N., Haller, L. - In: Electronic Design Automation for Integrated Circuits Handbook[s.l] : CRC Press, 2026. - ISBN 9781003608721. - pp. 528-557 [10.1201/9781003608721-23] | 1-gen-2026 | Cabodi, GianpieroPalena, MarcoPasini, Paolo + | Chapter_FormalPropVerif_Refer_v1_20_ed3.pdf |
| Evaluation of optimal charging station location for electric vehicles: an Italian case-study / Fadda, E., Manerba, D., Cabodi, G., Camurati, P.E., Tadei, R. - In: Recent Advances in Computational Optimization / Fidanova S.. - ELETTRONICO. - [s.l] : Springer, 2021. - ISBN 978-3-030-58883-0. - pp. 71-87 [10.1007/978-3-030-58884-7_4] | 1-gen-2021 | Edoardo FaddaDaniele ManerbaGianpiero CabodiPaolo CamuratiRoberto Tadei | BiellaPart2.pdf; Evaluation of Optimal Charging Station.pdf |
| BDD-Based Hardware Verification / Cabodi, G., Murciano, M. - In: Formal Methods for Hardware Verification / BERNARDO M.; CIMATTI A.. - BERLIN / HEIDELBERG : Springer, 2006. - ISBN 9783540343042. - pp. 78-107 | 1-gen-2006 | CABODI, GianpieroMURCIANO, MARCO | - |
| Advancements in Mixed BDD and SAT Techniques / Cabodi, G., Quer, S. - In: Advanced Formal Verification / ROLF DRECHSLER. - BOSTON : Kluwer Academic Publishers, 2004. - ISBN 9781402077210. | 1-gen-2004 | CABODI, GianpieroQUER, Stefano | - |