LOIACONO, CARMELO

LOIACONO, CARMELO  

Dipartimento di Automatica e Informatica  

015495  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.038 secondi).
Citazione Data di pubblicazione Autori File
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 20:(2018), pp. 313-325. [10.1007/s10009-017-0451-8] 1-gen-2018 CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, Stefano Cabodi2018_Article_ToSplitOrToGroupFromDivide-and.pdf
Efficient Complex High-Precision Computations on GPUs without Precision Loss / Cabodi, Gianpiero; Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Francini, G.. - In: JOURNAL OF CIRCUITS, SYSTEMS, AND COMPUTERS. - ISSN 0218-1266. - ELETTRONICO. - 26:12(2017), pp. 1-38. [10.1142/S0218126617501870] 1-gen-2017 CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOQUER, Stefano + -
Algorithm Optimization and Applications for Embedded Systems / Loiacono, Carmelo. - (2016). 1-gen-2016 LOIACONO, CARMELO -
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks / Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; Patti, Denis; Vendraminetto, Danilo; Biere, A.; Helianko, K.. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - ELETTRONICO. - 9:(2016), pp. 135-172. 1-gen-2016 CABODI, GianpieroLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOQUER, StefanoPATTI, DENISVENDRAMINETTO, DANILO + -
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 -
Street Viewer: An Autonomous Vision Based Traffic Tracking System / Bottino, ANDREA GIUSEPPE; Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano. - In: SENSORS. - ISSN 1424-8220. - 16:6(2016), pp. 1-21. [10.3390/s16060813] 1-gen-2016 BOTTINO, ANDREA GIUSEPPEGARBO, ALESSANDROLOIACONO, CARMELOQUER, Stefano sensors-16-00813-1.pdf
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 + -
Formal Verification of Embedded Systems for Remote Attestation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo. - In: WSEAS TRANSACTIONS ON COMPUTERS. - ISSN 1109-2750. - ELETTRONICO. - 14:(2015), pp. 760-769. 1-gen-2015 CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPIPITONE, GIOVANNISAVARESE, FRANCESCOVENDRAMINETTO, DANILO -
Optimization techniques for craig interpolant compaction in unbounded model checking / Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 1572-8102. - STAMPA. - 46:(2015), pp. 135-162. [10.1007/s10703-015-0229-0] 1-gen-2015 CABODI, GianpieroLOIACONO, CARMELOVENDRAMINETTO, DANILO Cabodi2015_Article_OptimizationTechniquesForCraig.pdf
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 -