Archivio Istituzionale della RicercaLOIACONO, CARMELO
LOIACONO, CARMELO
Dipartimento di Automatica e Informatica
015495
Scalable FPGA Graph model to detect routing faults
2016 Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Du, Boyang
Secure Embedded Architectures: Taint Properties Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
Secure Path Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
Accurate and Efficient Visual Search on Embedded Systems
2015 Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano
CDVS feature selection on embedded systems
2015 Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Balestri, Massimo; Francini, Gianluca
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties
2014 Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties
2013 Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking
2013 Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Scalable FPGA Graph model to detect routing faults / Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Du, Boyang. - ELETTRONICO. - (2016). (Intervento presentato al convegno IEEE International Symposium on On-Line Testing and Robust System Design) [10.1109/IOLTS.2016.7604690]. | 1-gen-2016 | STERPONE, LUCACABODI, GianpieroFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCODU, BOYANG | - |
| Secure Embedded Architectures: Taint Properties Verification / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo. - ELETTRONICO. - (2016). (Intervento presentato al convegno International Conference on Development and Application Systems) [10.1109/DAAS.2016.7492565]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
| Secure Path Verification / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo. - ELETTRONICO. - (2016). (Intervento presentato al convegno IEEE International Verification and Security Workshop) [10.1109/IVSW.2016.7566608]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
| 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 + | - |
| CDVS feature selection on embedded systems / Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Balestri, Massimo; Francini, Gianluca. - ELETTRONICO. - (2015), pp. 1-6. (Intervento presentato al convegno IEEE International Conference on Multimedia and Expo tenutosi a Turin nel 29th June - 3th July 2015) [10.1109/ICMEW.2015.7169789]. | 1-gen-2015 | GARBO, ALESSANDROLOIACONO, CARMELOQUER, Stefano + | - |
| To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2014). (Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) tenutosi a Lausanne, Switzerland nel October 20, 2014). | 1-gen-2014 | CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano | - |
| Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties / Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.. - STAMPA. - (2013), pp. 803-806. (Intervento presentato al convegno Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) tenutosi a Grenoble, France nel March 2013) [10.7873/DATE.2013.170]. | 1-gen-2013 | LOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, StefanoVENDRAMINETTO, DANILO + | - |
| Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking / Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo. - STAMPA. - (2013), pp. 1417-1422. (Intervento presentato al convegno Design Automation and Test in Europe (DATE) tenutosi a Grenoble, France nel March 2013) [10.7873/DATE.2013.289]. | 1-gen-2013 | CABODI, GianpieroLOIACONO, CARMELOVENDRAMINETTO, DANILO | - |