CABODI, Gianpiero
CABODI, Gianpiero
Dipartimento di Automatica e Informatica
001764
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem
2016 Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems
2005 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions
2007 BISCHOFF G., P; BRACE K., S; Cabodi, Gianpiero
A data parallel approach to Boolean function manipulation using BDDs
1994 Cabodi, Gianpiero; Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform
2017 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
A new model for improving symbolic Product Machine traversal
1992 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; S., Gai; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
A Parallel Approach to Symbolic Traversal Based on Set Partitioning
1997 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano
A Parallel System for Test Pattern Generation
1993 G. P., Balboni; Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars
2019 Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
2002 Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano
A Transputer-based gate-level fault simulator
1990 Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
Accurate and Efficient Visual Search on Embedded Systems
2015 Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano
Advancements in Mixed BDD and SAT Techniques
2004 Cabodi, Gianpiero; Quer, Stefano
Algoritmi e programmazione in pratica. Da specifiche a codice C
2018 Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo; Cabodi, Gianpiero; Camurati, Paolo Enrico
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Are BDDs Still Alive within Sequential Verification?
2005 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking
2008 Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano. - ELETTRONICO. - (2016). ((Intervento presentato al convegno 27th Annual Symposium on Combinatorial Pattern Matching tenutosi a Tel Aviv, Israel nel June 27 - 29, 2016. | 1-gen-2016 | BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano | - |
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 89:4(2003), pp. 623-638. [10.1016/S1571-0661(05)82547-2] | 1-gen-2003 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | - |
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 102-117. | 1-gen-2005 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | - |
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.. - STAMPA. - (2003). ((Intervento presentato al convegno First International Workshop on Bounded Model Checking (BMC 2003) tenutosi a Boulder, Colorado, USA nel July, 2003. | 1-gen-2003 | CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + | bmc2003.pdf |
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions / BISCHOFF G., P; BRACE K., S; Cabodi, Gianpiero. - 4739:(2007), pp. 505-514. ((Intervento presentato al convegno Eurocast 2007 tenutosi a Las Palmas de Gran Canaria (Spagna) nel February 12-16, 2007. | 1-gen-2007 | CABODI, Gianpiero + | - |
A data parallel approach to Boolean function manipulation using BDDs / Cabodi, Gianpiero; Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1994), pp. 163-175. ((Intervento presentato al convegno Massively Parallel Computing Systems, 1994., Proceedings of the First International Conference on tenutosi a Ischia (I) nel 2-6 May 1994 [10.1109/MPCS.1994.367081]. | 1-gen-1994 | CABODI, GianpieroGAI, SilvanoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad. - In: JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS. - ISSN 2079-9268. - 7:2(2017), pp. 1-16. [10.3390/jlpea7020010] | 1-gen-2017 | RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPatti, Denis + | jlpea-07-00010.pdf |
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - ELETTRONICO. - 46:4(2016), pp. 493-511. [10.1002/spe.2321] | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | spe.2321.pdf |
A new model for improving symbolic Product Machine traversal / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; S., Gai; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1992), pp. 614-619. ((Intervento presentato al convegno DAC-29: 29th ACM/IEEE Design Automation Conference tenutosi a Anaheim, CA (USA) nel June 1992. | 1-gen-1992 | CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + | - |
A Parallel Approach to Symbolic Traversal Based on Set Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano. - (1997). ((Intervento presentato al convegno CHARME’97: Correct Hardware Methodologies. | 1-gen-1997 | CABODI, GianpieroCAMURATI, Paolo EnricoLIOY, ANTONIOM. PoncinoQUER, Stefano | - |
A Parallel System for Test Pattern Generation / G. P., Balboni; Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo. - In: PARALLEL COMPUTING. - ISSN 0167-8191. - 19:(1993), pp. 177-185. | 1-gen-1993 | CABODI, GianpieroSONZA REORDA, Matteo + | - |
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars / Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco. - In: ELECTRONICS. - ISSN 2079-9292. - 8:2(2019), p. 177. [10.3390/electronics8020177] | 1-gen-2019 | Cabodi, GianpieroCamurati, PaoloGarbo, AlessandroQuer, StefanoSavarese, Francesco + | savarese_paper.pdf |
A Symbolic Approach for the Combined Solution of Scheduling and Allocation / Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano. - ELETTRONICO. - (2002), pp. 237-242. ((Intervento presentato al convegno ISSS'02: ACM/IEEE International Symposium of System Synthesis tenutosi a Kyoto, Japan nel 2-4 ottobre 2002 [10.1145/581199.581252]. | 1-gen-2002 | CABODI, GianpieroLAVAGNO, LucianoLAZARESCU, MIHAI TEODORNOCCO, SERGIOPASSERONE, ClaudioQUER, Stefano | scheduling.pdf |
A Transputer-based gate-level fault simulator / Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo. - In: MICROPROCESSING AND MICROPROGRAMMING. - ISSN 0165-6074. - 30:(1990), pp. 529-534. | 1-gen-1990 | CABODI, GianpieroSONZA REORDA, Matteo + | - |
Accurate and Efficient Visual Search on Embedded Systems / Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2015). ((Intervento presentato al convegno International conference on advanced in computing, communication and information technology tenutosi a Birmingham nel 26-27 Maggio 2015. | 1-gen-2015 | CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOPATTI, DENISQUER, Stefano + | - |
Advancements in Mixed BDD and SAT Techniques / Cabodi, Gianpiero; Quer, Stefano - In: Advanced Formal Verification / ROLF DRECHSLER. - BOSTON : Kluwer Academic Publishers, 2004. - ISBN 9781402077210. | 1-gen-2004 | CABODI, GianpieroQUER, Stefano | - |
Algoritmi e programmazione in pratica. Da specifiche a codice C / Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo; Cabodi, Gianpiero; Camurati, Paolo Enrico. - STAMPA. - (2018). | 1-gen-2018 | paolo pasinidenis pattidanilo vendraminettogianpiero cabodipaolo camurati | - |
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - 4:(1993), pp. 11-17. | 1-gen-1993 | CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
Are BDDs Still Alive within Sequential Verification? / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 129-142. | 1-gen-2005 | CABODI, GianpieroNOCCO, SERGIOQUER, Stefano | - |
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco. - STAMPA. - (2008), pp. 129-136. ((Intervento presentato al convegno ICCAD'08: IEEE/ACM International Conference on Computer Aided Design tenutosi a San Jose nel 10-13 nov 2008. | 1-gen-2008 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCO | ICCAD2008.pdf |