Publications

The list below reports the publications of the current students of the PhD programme in Computer and Control Engineering.

Source: Publication Open Repository TOrino

Journals ·Book chapters ·Conference proceedings· Other
Journals
Garraffa M., Salassa F., Vancroonenburg W., Vanden Berghe G., Wauters T. "The one-dimensional cutting stock problem with sequence-dependent cut losses," International Transactions In Operational Research, John Wiley & Sons, Ltd, in press, ISSN: 0969-6016, doi: 10.1111/itor.12095.
Giulia Paciello, Andrea Acquaviva, Chiara Pighi, Alberto Ferrarini, Enrico Macii, Alberto Zamò, Elisa Ficarra "VDJSeq-Solver: In Silico V(D)J Recombination Detection tool," Plos One, PLOS org, in press, ISSN: 1932-6203.
Antonella Padella, Giorgia Simonetti, Viviana Guadagnuolo, Emanuela Ottaviani, Anna Ferrari, Elisa Zago, Francesca Griggio, Marianna Garonzi, Giulia Paciello, Simona Bernardi, Carmen Baldazzi, Cristina Papayannidis, Maria Chiara Abbenante, Francesca Volpato, Raffaele Calogero, Nicoletta Testoni, Elisa Ficarra, Alberto Ferrarini, Massimo Delledonne, Ilaria Iacobucci, Giovanni Martinelli "Next-Generation Sequencing Analysis Revealed That BCL11B Chromosomal Translocation Cooperates with Point Mutations in the Pathogenesis of Acute Myeloid Leukemia," Blood, in press, ISSN: 0006-4971.
Figueroa C., Vagliano I., Rodriguez Rocha O., Morisio M. "Systematic Review of Linked Data-based Recommender Systems," Concurrency And Computation, Fox Geoffrey C., Walker David W/ Wiley, in press, ISSN: 1532-0634.
Cagliano A.C., De Marco A., Rafele C., Bragagnini A., Gobbato L. "Analysing the Diffusion of a Mobile Service Supporting the E-grocery Supply Chain," Business Process Management Journal, EMERALD, in press, ISSN: 1463-7154.
Rodríguez-Rocha O., Vagliano I., Figueroa C., Cairo F., Futia G., Licciardi C., Marengo M., Morando F. "Semantic Annotation and Classification in Practice," It Professional, IEEE, in press, ISSN: 1520-9202.
Aringhieri R., Grosso A., Hosteins P., Scatamacchia R. "VNS solutions for the Critical Node Problem," Electronic Notes In Discrete Mathematics, Elsevier, in press, ISSN: 1571-0653.
G. Cena,I. Cibrario Bertolotti,T. Hu,A. Valenzano "A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication," IEEE Transactions On Industrial Informatics, IEEE, in press, ISSN: 1551-3203, doi: 10.1109/TII.2014.2365153.
Di Carlo S., Gambardella G., Prinetto P., Rolfo D., Trotta P. "SA-FEMIP: A Self-Adaptive Features Extractor and Matcher IP-Core Based on Partially Reconfigurable FPGAs for Space Applications," IEEE Transactions On Very Large Scale Integration (vlsi) Systems, IEEE / Institute of Electrical and Electronics Engineers, pag. 1-1, in press, ISSN: 1063-8210, doi: 10.1109/TVLSI.2014.2357181.
Procaccianti G., Lago P., Bevini S. "A systematic literature review on Energy Efficiency in Cloud Software Architectures," Sustainable Computing, Elsevier, in press, ISSN: 2210-5379, doi: 10.1016/j.suscom.2014.11.004.
Lamberti F., Manuri F., Sanna A., Paravati G., Pezzolla P., Montuschi P. "Challenges, opportunities and future trends of emerging techniques for Augmented Reality-based maintenance," IEEE Transactions On Emerging Topics In Computing, IEEE, in press, ISSN: 2168-6750, doi: 10.1109/TETC.2014.2368833.
Irene Rubino, Claudia Barberis, Jetmir Xhembulla, Giovanni Malnati "Integrating a Location-Based Mobile Game in the Museum Visit: Evaluating Visitors' Behaviour and Learning," Acm Journal On Computing And Cultural Heritage, Association for Computing Machinery (ACM), in press, ISSN: 1556-4673.
I. Cibrario Bertolotti,T. Hu "Modular design of an open-source, networked embedded system," Computer Standards & Interfaces, Elsevier, vol. 37, pag. 41-52, in press, ISSN: 0920-5489, doi: 10.1016/j.csi.2014.05.004.
A. Bottino, T. Vieira, I. Ul Islam "Geometric and Textural Cues for Automatic Kinship Verification," International Journal Of Pattern Recognition And Artificial Intelligence, World Scientific, in press, ISSN: 0218-0014.
Causapruno G., Urgese G., Vacca M., Graziano M., Zamboni M. "Protein Alignment Systolic Array Throughput Optimization," IEEE Transactions On Very Large Scale Integration (vlsi) Systems, IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, vol. 23, pag. 68-77, 2015, ISSN: 1063-8210, doi: 10.1109/TVLSI.2014.2302015.
Di Carlo S., Gambardella G., Prinetto P., Rolfo D., Trotta P. "SATTA: a Self-Adaptive Temperature-based TDF awareness methodology for dynamically reconfigurable FPGAs," Acm Transactions On Reconfigurable Technology And Systems, ACM, vol. 8, pag. 1-22, 2015, ISSN: 1936-7406, doi: 10.1145/2659001.
Ardito L., Procaccianti G., Torchiano M., Vetrò A. "Understanding Green Software Development: A Conceptual Framework," It Professional, IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, vol. 17, pag. 44-50, 2015, ISSN: 1520-9202, doi: 10.1109/MITP.2015.16.
Aced Lopez S., Corno F., De Russis L. "Supporting Caregivers in Assisted Living Facilities for Persons with Disabilities: a User Study," Universal Access In The Information Society, Springer, vol. 14, pag. 133-144, 2015, ISSN: 1615-5289, doi: 10.1007/s10209-014-0400-1.
Crainic T.G., Gobbato L., Perboli G., Rei W., Woodruff D., Watson J-P "Bin Packing Problem with uncertainty on item availability: an application to Capacity Planning in Logistics," Procedia: Social & Behavioral Sciences, Elsevier Ltd, vol. 111, pag. 654-662, 2014, ISSN: 1877-0428, doi: 10.1016/j.sbspro.2014.01.099.
Perboli G., Ghirardi M., Gobbato L., Perfetti F. "Flights and their economic impact on the airport catchment area: an application to the Italian tourist market," Journal Of Optimization Theory And Applications, Springer, pag. 1-25, 2014, ISSN: 0022-3239, doi: 10.1007/s10957-014-0613-8.
Di Carlo S., Gaudesi M., Sanchez E., Sonza Reorda M. "A Functional Approach for Testing the Reorder Buffer Memory," Journal Of Electronic Testing, Spinger, vol. 30, pag. 469-481, 2014, ISSN: 0923-8174, doi: 10.1007/s10836-014-5461-9.
Federico Della Croce,Michele Garraffa "The Selective Fixing Algorithm for the closest string problem," Computers & Operations Research, Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598, vol. 41, pag. 24-30, 2014, ISSN: 0305-0548, doi: 10.1016/j.cor.2013.07.017.
Tenace V., Miryala S., Calimera A., Macii A., Macii E., Poncino M. "Row-Based Body-Bias Assignment for Dynamic Thermal Clock-Skew Compensation," Microelectronics Journal, ELSEVIER, vol. 45, pag. 530-538, 2014, ISSN: 0959-8324, doi: 10.1016/j.mejo.2013.11.013.
Anna Corinna Cagliano, L. Gobbato, Roberto Tadei, Guido Perboli "ITS for E-grocery Business: the Simulation and Optimization of Urban Logistics Project," Transportation Research Procedia, Elsevier, vol. 3, pag. 489-498, 2014, ISSN: 2352-1465, doi: 10.1016/j.trpro.2014.10.030.
Di Carlo S., Prinetto P., Rolfo D., Sansonne N., Trotta P. "A novel algorithm and hardware architecture for fast video-based shape reconstruction of space debris," Eurasip Journal On Advances In Signal Processing, Springer, vol. 2014:147, pag. 1-19, 2014, ISSN: 1687-6180, doi: 10.1186/1687-6180-2014-147.
Sabena D., Sterpone L., Carro L., Rech P. "Reliability Evaluation of Embedded GPGPUs for Safety Critical Applications," IEEE Transactions On Nuclear Science, IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, vol. 61, pag. 3123-3129, 2014, ISSN: 0018-9499, doi: 10.1109/TNS.2014.2363358.
Sabena D., Sonza Reorda M., Sterpone L. "On the Automatic Generation of Optimized Software-Based Self-Test Programs for VLIW Processors," IEEE Transactions On Very Large Scale Integration (vlsi) Systems, IEEE, vol. 22, pag. 813-823, 2014, ISSN: 1063-8210, doi: 10.1109/TVLSI.2013.2252636.
Sabena D., Sonza Reorda M., Sterpone L., Rech P., Carro L. "Evaluating the radiation sensitivity of GPGPU caches: New algorithms and experimental results," Microelectronics Reliability, Elsevier, vol. 54, pag. 2621-2628, 2014, ISSN: 0026-2714, doi: 10.1016/j.microrel.2014.05.001.
Crepaldi M., Grosso M., Sassone A., Gallinaro S., Rinaudo S., Poncino M., Macii E., Demarchi D. "A Top-down Constraint-driven Methodology for Smart System Design," IEEE Circuits And Systems Magazine, IEEE, vol. 14, pag. 37-57, 2014, ISSN: 1531-636X, doi: 10.1109/MCAS.2013.2296415.
Ullah Anees, Sterpone L. "Recovery Time and Fault Tolerance Improvement for Circuits mapped on SRAM-based FPGAs," Journal Of Electronic Testing, Springer, vol. 30, pag. 425-442, 2014, ISSN: 0923-8174, doi: 10.1007/s10836-014-5463-7.
Bonino D., Procaccianti G. "Exploiting Semantic Technologies in Smart Environments and Grids: Emerging Roles and Case Studies," Science Of Computer Programming, Elsevier, vol. 95, pag. 112-134, 2014, ISSN: 0167-6423, doi: 10.1016/j.scico.2014.02.018.
Perboli G., Tadei R., Gobbato L. "The multi-handler knapsack problem under uncertainty," European Journal Of Operational Research, Elsevier, vol. 236, pag. 1000-1007, 2014, ISSN: 0377-2217, doi: 10.1016/j.ejor.2013.11.040.
Perboli G., Gobbato L., Perfetti F. "Packing problems in Transportation and Supply Chain: new problems and trends," Procedia: Social & Behavioral Sciences, Elsevier Ltd, vol. 111, pag. 672-681, 2014, ISSN: 1877-0428, doi: 10.1016/j.sbspro.2014.01.101.
Arbab Rahim, Carlo Ragusa, Bilal Jan, Omar Khan "A mixed mid-point Runge-Kutta like scheme for the integration of Landau-Lifshitz equation," Journal Of Applied Physics, AIP American Institute of Physics, vol. 115, pag. 17D101-, 2014, ISSN: 0021-8979, doi: 10.1063/1.4852118.
S. Di Cataldo, A. Bottino, I. Ul Islam, T.F. Vieira, E. Ficarra "Subclass Discriminant Analysis of Morphological and Textural Features for HEp-2 Staining Pattern Classification," Pattern Recognition, Elsevier, vol. 47, pag. 2389-2399, 2014, ISSN: 0031-3203, doi: 10.1016/j.patcog.2013.09.024.
M.A.U. Khan, K. Ullah, A. Khan, I. Ul Islam "Robust multi-scale orientation estimation: Directional filter bank based approach," Applied Mathematics And Computation, Elsevier, vol. 242, pag. 814-824, 2014, ISSN: 0096-3003, doi: 10.1016/j.amc.2014.06.071.
G. Cena,I. Cibrario Bertolotti,T. Hu,A. Valenzano "Un codec a basso jitter per reti CAN," Automazione E Strumentazione, ANIPLA - Associazione Nazionale Italiana Per L'Automazione, vol. 62, pag. 76-79, 2014, ISSN: 0005-1284.
Xiao X., Chiusano S. "Analysis of Medical Treatments Using Data Mining Techniques," The IEEE Intelligent Informatics Bulletin, IEEE Computer Society, vol. 15, pag. 30-31, 2014, ISSN: 1727-5997.
Politano G., Benso A., Di Carlo S., Savino A., Ur Rehman H., Vasciaveo A. "Using Boolean Networks to Model Post-transcriptional Regulation in Gene Regulatory Networks," Journal Of Computational Science, Elsevier, vol. 5, pag. 332-344, 2014, ISSN: 1877-7503, doi: 10.1016/j.jocs.2013.10.005.
Benso A., Di Carlo S., Politano G., Savino A., Vasciaveo A. "An Extended Gene Protein/Products Boolean Network Model Including Post-Transcriptional Regulation," Theoretical Biology And Medical Modelling, BioMed Central, vol. 11(Suppl 1), pag. 1-17, 2014, ISSN: 1742-4682, doi: 10.1186/1742-4682-11-S1-S5.
Canuto E, Colangelo L, Buonocore M, Massotti L, Girouart B "ORBIT AND FORMATION CONTROL FOR LOW-EARTH-ORBIT GRAVIMETRY DRAG-FREE SATELLITES," Proceedings Of The Institution Of Mechanical Engineers. Part G, Journal Of Aerospace Engineering, LONDON:SAGE PUBLICATIONS LTD, pag. 1-20, 2014, ISSN: 2041-3025, doi: 10.1177/0954410014548236uk.sagepub.com/jaero.
L. Parra,A. Lindoso,M. Portela-Garcia,L. Entrena,B. Du,M. Sonza Reorda,L. Sterpone "A New Hybrid Nonintrusive Error-Detection Technique Using Dual Control-Flow Monitoring," IEEE Transactions On Nuclear Science, IEEE, vol. 61, pag. 3236-3243, 2014, ISSN: 0018-9499, doi: 10.1109/TNS.2014.2361953.
Alessandro Fiori,Alberto Grand,Giulia Bruno,Francesco Gavino Brundu,Domenico Schioppa,Andrea Bertotti "Information Extraction from Microarray Data: a survey of data mining techniques," Journal Of Database Management, IGI Global, vol. 25, pag. 29-58, 2014, ISSN: 1063-8016, doi: 10.4018/jdm.2014010102.
Chinea A., Grivet-Talocia S., Olivadese S.B.,Gobbato L. "High-Performance Passive Macromodeling Algorithms for Parallel Computing Platforms," IEEE Transactions On Components, Packaging, And Manufacturing Technology, IEEE, vol. 3, pag. 1188-1203, 2013, ISSN: 2156-3950, doi: 10.1109/TCPMT.2013.2257193.
G. Cena,I.C. Bertolotti,T. Hu,A. Valenzano "Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication," IEEE Transactions On Industrial Informatics, IEEE, vol. 9, pag. 2155-2164, 2013, ISSN: 1551-3203, doi: 10.1109/TII.2013.2240310.
Ardito L., Procaccianti G., Menga G., Morisio M. "Smart Grid Technologies in Europe: An Overview," Energies, MDPI AG (Basel, Switzerland), vol. 6, pag. 251-281, 2013, ISSN: 1996-1073, doi: 10.3390/en6010251.
Sassone A., Liu W., Calimera A., Macii A., Macii E., Poncino M. "Modeling and Characterization of Thermally-Induced Skew on Clock Distribution Networks of Nanometric ICs," Microelectronics Journal, Elsevier, vol. 44, pag. 970-976, 2013, ISSN: 0959-8324, doi: 10.1016/j.mejo.2012.07.007.
G. Cena,I. . Bertolotti,T. Hu,A. Valenzano "On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks," Computer Standards & Interfaces, Elsevier, vol. 35, pag. 536-548, 2013, ISSN: 0920-5489, doi: 10.1016/j.csi.2013.02.003.
Sanna A., Lamberti F., Paravati G., Manuri F. "A Kinect-based natural interface for quadrotor control," Entertainment Computing, Elsevier, vol. 4, pag. 179-186, 2013, ISSN: 1875-9521, doi: 10.1016/j.entcom.2013.01.001.
I. Rubino, J. Xhembulla, A. Martina, A. Bottino, G. Malnati "MusA: Using Indoor Positioning and Navigation to Enhance Cultural Experiences in a museum," Sensors, MDPI, vol. 13, pag. 17445-17471, 2013, ISSN: 1424-8220, doi: 10.3390/s131217445.
B. Jan, B. Montrucchio, C.S. Ragusa, F.G. Khan, O.U. Khan "Fast parallel sorting algorithms on GPUs," International Journal Of Distributed And Parallel Systems, AIRCC, vol. 3, pag. 107-118, 2012, ISSN: 2229-3957, doi: 10.5121/ijdps.2012.3609.
Benedetti G., Gobbato L., Perboli G., Perfetti F. "The Cagliari Airport impact on Sardinia tourism: a Logit-based analysis," Procedia: Social & Behavioral Sciences, Elsevier, vol. 54, pag. 1010-1018, 2012, ISSN: 1877-0428, doi: 10.1016/j.sbspro.2012.09.816.
Abate F., Acquaviva A., Paciello G., Foti C., Ficarra E., Ferrarini A., Delle Donne M., Iacobucci I., Soverini S., Martinelli G., Macii E. "Bellerophontes: a RNA-seq data analysis framework tor chimeric transcripts discovery base on accurate fusion model," Bioinformatics, Oxford journals, vol. 28, pag. 2114-2121, 2012, ISSN: 1367-4803, doi: 10.1093/bioinformatics/bts334.
Deriu M.A., Shkurti A., Paciello G., Bidone T.C., Morbiducci U., Ficarra E., Audenino A., Acquaviva A. "Multiscale Modelling of Cellular Actin Filaments: From Atomistic Molecular to Coarse Grained Dynamics," Proteins, Wiley, vol. 80, pag. 1598-1609, 2012, ISSN: 0887-3585, doi: 10.1002/prot.24053.
Giulia Paciello, Andrea Acquaviva, Elisa Ficarra, Marco Deriu, Enrico Macii "A Molecular Dynamics study of a miRNA:mRNA interaction," Journal Of Molecular Modeling, Springer, vol. 17, pag. 2895-2906, 2011, ISSN: 1610-2940, doi: 10.1007/s00894-011-0991-x.
Book chapters
Fernandez H., Procaccianti G., Lago P., "Economic Aspects of Green ICT". In: Green In Software Engineering / Calero, C., Piattini, M., Springer, in press, ISBN: 9783319085807.
Hu T., Cibrario Bertolotti I., "Model checking". In: Digital Avionics Handbook, 3rd Edition, CRC press - Taylor and Francis Group, 2014, ISBN: 9781439868614.
I. Ul Islam, S. Di Cataldo, A. Bottino, E. Macii, E. Ficarra, "A Preliminary Analysis on HEp-2 Pattern Classification: Evaluating Strategies Based on Support Vector Machines and Subclass Discriminant Analysis". In: Biomedical Engineering Systems And Technologies / M.f. Chimeno Et Al., Springer, vol. CCIS 452, pag. 176-190, 2014, doi: 10.1007/978-3-662-44485-6 13.
Alessandro Fiori, Alberto Grand, Piero Alberto, Emanuele Geda, Francesco Gavino Brundu, Domenico Schioppa, Andrea Bertotti, "A Case Study of a Laboratory Information System Developed at the Institute for Cancer Research at Candiolo". In: Laboratory Management Information Systems: Current Requirements And Future Perspectives / Anastasius Moumtzoglou, Anastasia Kastania, Stavros Archondakis, IGI Global, pag. 252-279, 2014, ISBN: 1466663200, doi: 10.4018/978-1-4666-6320-6.ch013.
Sabena D., Sterpone L., Sonza Reorda M., "On the Automatic Generation of Software-Based Self-Test Programs for Functional Test and Diagnosis of VLIW Processors". In: Vlsi-soc: From Algorithms To Circuits And System-on-chip Design, Springer Berlin Heidelberg, pag. 162-180, 2013, ISBN: 9783642450723, doi: 10.1007/978-3-642-45073-0_9.
Procaccianti G., Ardito L., Vetrò A., Morisio M., "Energy Efficiency in the ICT - Profiling Power Consumption in Desktop Computer Systems". In: Energy Efficiency - The Innovative Ways For Smart Energy, The Future Towards Modern Utilities / Intech, Prof. Moustafa Eissa, pag. 353-372, 2012, ISBN: 9789535108009, doi: 10.5772/48237.
Conference proceedings
Marco Desogus, Luca Sterpone, Davide Sabena, Anees Ullah, Mario Porrmann, Jens Hagemeyer, Jorgan Ilstad, "Hardening Dynamically Reconfigurable Processing Modules Architectures: A Neutron Test Experience". In: Proc. Radiation Effects on Components and Systems 2013, in press.
Sterpone Luca, Ullah Anees, "Real-Time SEU Tolerant Circuits on SRAM-based FPGAs". In: Proc. Radiation Effects on Components and Systems 2013, in press.
Francesco Gavino Brundu, Edoardo Patti, Andrea Acquaviva, Michelangelo Grosso, Gaetano Rasconà, Salvatore Rinaudo, Enrico Macii, "A new distributed framework for integration of district energy data from heterogeneous devices". In: Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE), IEEE, in press.
Basile C., Lioy A., Pitscheider C., Zhao S., "A formal model of policy reconciliation". In: Proc. PDP-2015: 23rd EuroMicro International Conference on Parallel, Distributed and network-based Processing, in press.
Gianpiero Cabodi, Marco Palena, Paolo Pasini, "Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking". In: Proc. Formal Methods in Computer-Aided Design (FMCAD 2014), in press.
Bonafiglia R., Ciaccia F., Lioy A., Nemirovsky M., Risso F., Su T., "Offloading Personal Security Applications to a Secure and Trusted Network Node". In: Proc. First IEEE Conference on Network Softwarization (Netsoft 2015), IEEE, in press.
Francesco Gavino Brundu, Edoardo Patti, Matteo Del Giudice, Anna Osello, Enrico Macii, Andrea Acquaviva, "DIMCloud: a distributed framework for district energy simulation and management". In: Proc. International Conference on IoT as a Service (IoTaaS 2014), Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST), in press.
Tadewos Getahun T., Prinetto P., Rolfo D., Trotta P., Lanza P., Martelli A., Tramutola A., "A novel approach for video-based absolute navigation in space exploration missions". In: Proc. Data Systems in Aerospace 2014, ESA Publications Division, in press.
Paolo Camurati, Carmelo Loiacono, Paolo Pasini, Denis Patti, Stefano Quer, "To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties". In: Proc. International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014)), in press.
Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy, "Inter-technology conflict analysis for communication protection policies". In: Proc. CRiSIS-2014: 9th International Conference on Risks and Security of Internet and Systems, Springer, in press.
Baralis E., Cagliero L., Cerquitelli T., Chiusano S., Garza P., Grimaudo L., Pulvirenti F., "NEMICO: Mining network data through cloud-based data mining techniques". In: Proc. 7th International Conference on Utility and Cloud Computing (UCC 2014), IEEE, in press, doi: 10.1109/UCC.2014.72.
N. Palermo, V. Tihhomirov, T.S. Copetti, M. Jenihhin, J. Raik, S. Kostin, M. Gaudesi, G. Squillero, M. Sonza Reorda, F. Vargas, "Rejuvenation of Nanoscale Logic at NBTI-Critical Paths Using Evolutionary TPG". In: Proc. 16th Latin-American Test Symposium, in press.
Marco Gaudesi, Matteo Sonza Reorda, Irith Pomeranz, "On Test Program Compaction". In: Proc. European Test Symposium, in press.
Guadamillas A., López M.A., Maravitsas N., Mozo A., Pulvirenti F., "A Telecom Analytics Framework for Dynamic Quality of Service Management". In: Proc. First International Workshop on Big Data Applications and Principles (BIGDAP 2014), in press.
Apiletti D., Baralis E., Cagliero L., Cerquitelli T., Chiusano S., Garza P., Grimaudo L., Pulvirenti F., "Network traffic analysis by means of Misleading Generalized Itemsets". In: Proc. First International Workshop on Big Data Applications and Principles (BIGDAP 2014), in press.
Procaccianti G., Lago P., Lewis G.A., "A Catalogue of Green Architectural Tactics for the Cloud". In: Proc. Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments (MESOCA), in press.
Procaccianti G., Lago P., Vetrò A., Méndez Fernández D., Wieringa R.J., "The Green Lab: Experimentation in Software Energy Efficiency". In: Proc. 37th International Conference on Software Engineering (ICSE), in press.
Aced Lopez S., Corno F., De Russis L., "IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities". In: Proc. 1st International Conference on IoT Technologies for HealthCare, in press.
Sanna A., Manuri F., Lamberti F., Paravati G., Pezzolla P., "Using handheld devices to support Augmented Reality-based maintenance and assembly tasks". In: Proc. 32nd IEEE International Conference on Consumer Electronics (ICCE2015), IEEE, in press.
Virgilio M., Marchetto G., Sisto R., "Interest Flooding Attack Countermeasures Assessment on Content Centric Networking". In: Proc. International Conference on Information Technology: New Generations (ITNG 2015), in press.
Manuri F., Sanna A., Lamberti F., Paravati G., Pezzolla P., "A workflow analysis for implementing AR-based maintenance procedures". In: Proc. 1st International Conference on Augmented and Virtual Reality, in press.
R. Cantoro, M. Gaudesi, E. Sanchez, P. Schiavone, G. Squillero, "An Evolutionary Approach for Test Program Compaction". In: Proc. 16th Latin-American Test Symposium, in press.
Jiwen Lu, Junlin Hu, Venice Erin Liong, Xiuzhuang Zhou, Andrea Bottino, Ihtesham Ul Islam, Tiago Figueiredo Vieira, Xiaoqian Qin, Xiaoyang Tan, Yosi Keller, Lilei Zheng, Khalid Idrissi, Christophe Garcia, Stefan Duffner, Atilla Baskurt, Modesto Castrillon-Santana, Javier Lorenzo-Navarro, "The FG 2015 Kinship Verification in the Wild Evaluation". In: Proc. IEEE FG 2015, 2015.
Aced López S., Corno F., De Russis L., "GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities". In: Proc. CHI'15: CHI Conference on Human Factors in Computing Systems, ACM, pag. 995-1000, 2015, ISBN: 9781450331463, doi: 10.1145/2702613.2732802.
Bacchetta A, Buonocore B, Cesare S, Dionisio S, Parisch M, Canuto E, Colangelo L, Girouart B, Massotti L, "The Results of the AOCS Solutions and Technologies study for the Next Generation Gravity Mission". In: Proc. AIAA Guidance, Navigation, and Control Conference, AIAA Science and Technology Forum 2015, American Institute of Aeronautics and Astronautics, 2015, doi: 10.2514/6.2015-1556.
Lucrezia F.; Marchetto G.; Risso F.; Vercellone V., "Introducing Network-Aware Scheduling Capabilities in OpenStack". In: Proc. First IEEE International Conference on Network Softwarization (Netsoft 2015), IEEE, pag. 1-5, 2015, doi: 10.1109/NETSOFT.2015.7116155.
Sanislav T., Mois G., Folea S., Miclea L., Gambardella G., Prinetto P., "A cloud-based Cyber-Physical System for environmental monitoring". In: Proc. 3rd Mediterranean Conference on Embedded Computing (MECO), IEEE, pag. 6-9, 2014, ISBN: 9781479948260, doi: 10.1109/MECO.2014.6862654.
Canavese D., Cesena E., Ouchary R., Pedicini M., Roversi L., "Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?". In: Proc. FOPARA 2013, Springer, vol. 8552, pag. 38-57, 2014, doi: 10.1007/978-3-319-12466-7_3.
Di Carlo S., Gambardella G., Prinetto P., Reichenbach F., Lokstad T., Rafiq G., "On Enhancing Fault Injection's Capabilities and Performances for Safety Critical Systems". In: Proc. 17th Euromicro Conference on Digital System Design (DSD), IEEE, pag. 583-590, 2014, ISBN: 9781479957934, doi: 10.1109/DSD.2014.12.
M. Gaudesi, M. Jenihhin, J. Raik, E. Sanchez, G. Squillero, V. Tihhomirov, R. Ubar, "Diagnostic Test Generation for Statistical Bug Localization using Evolutionary Computation". In: Proc. EVOSTAR - The Leading European event on Bio-Inspired Computation, Springer, vol. 8602, pag. 425-436, 2014, ISBN: 9783662455234, doi: 10.1007/978-3-662-45523-4_35.
Baldi M.M., Gobbato L., Perboli G., Tadei R., "The Generalized Bin Packing Problem with bin-dependent item profits: a case study". In: Proc. 44th Annual Conference of the Italian Operational Research Society, 2014.
Cagliano A.C.; Gobbato L.; Tadei R.; Perboli G., "ITS FOR E-GROCERY BUSINESS: THE SIMULATION AND OPTIMIZATION OF URBAN LOGISTICS PROJECT". In: Proc. 17th meeting of the EURO WORKING GROUP ON TRANSPORTATION (EWGT) 2014, pag. 23-23, 2014.
Marco Gaudesi, Giovanni Squillero, Alberto Tonda, "Universal information distance for genetic programming". In: Proc. GECCO '14 - Genetic and Evolutionary Computation Conference, ACM, pag. 137-138, 2014, ISBN: 9781450328814, doi: 10.1145/2598394.2598440.
Cani A., Gaudesi M., Sanchez E., Squillero G., Tonda A., "Towards Automated Malware Creation: Code Generation and Code Integration". In: Proc. 29th Symposium on Applied Computing - SAC 14, ACM SIGAPP, pag. 157-158, 2014.
M. Gaudesi, S. Saleem, E. Sanchez, M. Sonza Reorda, E. Tanowe, "On the In-Field Test of Branch Prediction Units using the Correlated Predictor mechanism". In: Proc. IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, IEEE, 2014, ISBN: 9781479945603.
Gaudesi M., Piccolo E., Squillero G., Tonda A., "TURAN: Evolving non-deterministic players for the iterated prisoner's dilemma". In: Proc. 2014 IEEE Congress on Evolutionary Computation (CEC), IEEE, pag. 21-27, 2014, ISBN: 9781479966264, doi: 10.1109/CEC.2014.6900564.
Bettassa Copet P., Sisto R., "Automated Formal Verification of Application-specific Security Properties". In: Proc. Engineering Secure Software and Systems (ESSOS), Springer, vol. 8364, pag. 45-59, 2014, ISBN: 9783319048963, doi: 10.1007/978-3-319-04897-0_4.
Irene Rubino, Claudia Barberis, Lara Di Chio, Jetmir Xhembulla, Giovanni Malnati, "Enhancing a Museum Mobile Application through User Experience Design: A Comparative Analysis". In: Proc. 3rd International Conference on Circuits, Systems, Communications, Computers and Applications (CSCCA '14), WSEAS Press, pag. 295-300, 2014, ISBN: 9789604743995.
A. Atzeni,T. Su,M. Baltatu,R. D'Alessandro,G. Pessiva, "How Dangerous is Your Android App? An Evaluation Methodology". In: Proc. 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pag. 130-139, 2014, ISBN: 9781631900396, doi: 10.4108/icst.mobiquitous.2014.257832.
Atzeni A., Su T., Montanaro T., "Lightweight Formal Verification in Real World, A Case Study". In: Proc. WISSE 2014: 4th International Workshop on Information Systems Security Engineering, Springer International Publishing, pag. 335-342, 2014, ISBN: 9783319078687, doi: 10.1007/978-3-319-07869-4_31.
Tenace V., Calimera A., Macii E., Poncino M., "Pass-XNOR Logic: A new Logic Style for P-N Junction based Graphene Circuits". In: Proc. DATE-14: ACM/IEEE Design, Automation and Test in Europe, 2014.
Christian Pitscheider, "Network-Security-Policy Analysis". In: Proc. DEPEND 2014, The Seventh International Conference on Dependability, International Academy, Research and Industrial Association (IARIA), pag. 10-16, 2014, ISBN: 9781612083780.
Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto, "Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization". In: Proc. Design Automation and Test in Europe (DATE), 2014, doi: 10.7873/DATE.2014.129.
Federico Della Croce, Michele Garraffa, Fabio Salassa, "A hybrid heuristic and bounding methods for the Max-Mean Dispersion Problem". In: Proc. AIRO2014, AIRO, pag. 14-14, 2014.
V. Tenace, A. Calimera, E. Macii, M. Poncino, "Quantifying the figures of merit of graphene-based adiabatic Pass-XNOR Logic (PXL) circuits". In: Proc. PRIME-14: IEEE Conference on Ph.D. Research in Microelectronics and Electronics, pag. 1-4, 2014.
Jetmir Xhembulla, Irene Rubino, Claudia Barberis, Giovanni Malnati, "Intrigue at the Museum: Facilitating Engagement and Learning through a Location-based Mobile Game". In: Proc. 10th International Conference on Mobile Learning 2014, IADIS Press, pag. 41-48, 2014, ISBN: 9789898704023.
Giuseppe Airo Farulla, Marco Indaco, Paolo Prinetto, Daniele Rolfo, Pascal Trotta, "ABLUR: An FPGA-based adaptive deblurring core for real-time applications". In: Proc. Adaptive Hardware and Systems (AHS), 2014 NASA/ESA Conference on, IEEE / Institute of Electrical and Electronics Engineers, pag. 104-111, 2014, ISBN: 9781479953561, doi: 10.1109/AHS.2014.6880165.
M. Vacca , M. Graziano, J. Wang, F. Cairo, G. Causapruno , G. Urgese, A. Biroli, M. Zamboni, "NanoMagnet Logic: an Architectural Level Overview". In: Proc. Field Coupled Nanocomputing, Springer, vol. In press, pag. 223-256, 2014, doi: 10.1007/978-3-662-43722-3 10.
Di Carlo S., Prinetto P., Rolfo D., Trotta P., "A Fault Injection Methodology and Infrastructure for Fast Single Event Upsets Emulation on Xilinx SRAM-based FPGAs". In: Proc. 27th IEEE Defect and Fault Tolerance in VLSI and Nanotechnology Systems Symposium (DFTS), IEEE, pag. 159-164, 2014, ISBN: 9781479961542, doi: 10.1109/DFT.2014.6962073.
Di Carlo S., Gambardella G., Martella I., Prinetto P., Rolfo D., Trotta P., "An improved fault mitigation strategy for CUDA Fermi GPUs". In: Proc. Dependable GPU Computing workshop 2014, pag. 1-6, 2014.
Giulia Bruno, Tania Cerquitelli, Silvia Chiusano, Xin Xiao, "A Clustering-Based Approach to Analyse Examinations for Diabetic Patients". In: Proc. IEEE International Conference on Healthcare Informatics 2014, IEEE Computer Society, pag. 45-50, 2014, doi: 10.1109/ICHI.2014.14.
Maggioni F., Gobbato L., Perboli G., "A Progressive Hedging method for the multi-path Traveling Salesman Problem with stochastic travel times". In: Proc. XXXII EURO Mini Conference, 2014.
Sabena D., Sterpone L., Schölzel M., Koal T., Vierhaus H.T., Wong S., Glein R., Rittner F., Stender C., Porrmann M., Hagemeyer J., "Reconfigurable High Performance Architectures: How much are they ready for safety-critical applications". In: Proc. 19th IEEE European Test Symposium (ETS), pag. 175-182, 2014, ISBN: 9781479934140.
Sabena D., Sonza Reorda M., Sterpone L., "Soft Error Effects Analysis and Mitigation in VLIW Safety-Critical Applications". In: Proc. IFIP/IEEE 22nd International Conference on Very Large Scale Integration (VLSI-SoC), pag. 135-140, 2014, ISBN: 9781479960156.
De Carvalho M., Sabena D., Sonza Reorda M., Sterpone L., Rech P., Carro L., "Fault Injection in GPGPU Cores to Validate and Debug Robust Parallel Applications". In: Proc. IEEE 20th International On-Line Testing Symposium (IOLTS), pag. 210-211, 2014, ISBN: 9781479953233.
Razavian M., Procaccianti G., Tamburri D.A., "Four-Dimensional Sustainable E-Services". In: Proc. EnviroInfo 2014 - ICT for Energy Efficiency, BIS-Verlag, vol. 1, pag. 221-228, 2014, ISBN: 9783814223179.
Procaccianti G.; Lago P.; Lewis G.A., "Green Architectural Tactics for the Cloud". In: Proc. WICSA 2014, IEEE, pag. 41-44, 2014, ISBN: 9781479934126, doi: 10.1109/WICSA.2014.30.
Donghwa Shin, Alessandro Sassone, Alberto Bocca, Alberto Macii, Enrico Macii, Massimo Poncino, "A Compact Macromodel for the Charge Phase of a Battery with Typical Charging Protocol". In: Proc. 2014 ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED'14), ACM, pag. 267-270, 2014, doi: 10.1145/2627369.2627652.
Guarnieri V., Petricca M., Sassone A., Vinco S., Bombieri N., Fummi F., Macii E., Poncino M., "A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors". In: Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, pag. 1-6, 2014, doi: 10.7873/DATE.2014.262.
Sanchez Ernesto , Sterpone Luca , Ullah Anees, "Effective emulation of permanent faults in ASICs through dynamically reconfigurable FPGAs". In: Proc. 24th International Conference on Field Programmable Logic and Applications (FPL), 2014, pag. 1-6, 2014, doi: 10.1109/FPL.2014.6927478.
Sara Vinco, Alessandro Sassone, Franco Fummi, Enrico Macii, Massimo Poncino, "An Open-Source Framework for Formal Specification and Simulation of Electrical Energy Systems". In: Proc. 2014 ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED'14), ACM, pag. 287-290, 2014, doi: 10.1145/2627369.2627657.
Sassone A., Shin D., Bocca A., Macii A., Macii E., Poncino M., "Modeling of the Charging Behavior of Li-Ion Batteries based on Manufacturer's Data". In: Proc. 24th ACM Great lakes symposium on VLSI (GLSVLSI'14), ACM, pag. 39-44, 2014, doi: 10.1145/2591513.2591592.
Alessandro Sassone, Sara Vinco, Massimo Poncino, Enrico Macii, "An Efficient Simulation Methodology for Electrical Energy Systems". In: Proc. 10th Conference on Ph.D Research in Microelectronics and Electronics (PRIME 2014), IEEE / Institute of Electrical and Electronics Engineers, pag. 1-4, 2014, doi: 10.1109/PRIME.2014.6872718.
Sara Vinco, Alessandro Sassone, Davide Lasorsa, Enrico Macii, Massimo Poncino, "A Framework for Efficient Evaluation and Comparison of EES Models". In: Proc. 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2014, IEEE / Institute of Electrical and Electronics Engineers, pag. 1-8, 2014, doi: 10.1109/PATMOS.2014.6951908.
G. Cena,I. Cibrario Bertolotti,T. Hu,A. Valenzano, "Design, verification, and performance of a MODBUS-CAN adaptation layer". In: Proc. 10th IEEE International Workshop on Factory Communication Systems (WFCS), pag. 1-10, 2014, doi: 10.1109/WFCS.2014.6837605.
G. Cena,I. Cibrario Bertolotti,T. Hu,A. Valenzano, "Effect of jitter-reducing encoders on CAN error detection mechanisms". In: Proc. 10th IEEE International Workshop on Factory Communication Systems (WFCS), pag. 1-10, 2014, doi: 10.1109/WFCS.2014.6837604.
Crainic T.G., Gobbato L., Perboli G., Rei W., "Stochastic Capacity Planning: a multiple-recourse formulation". In: Proc. Logistics, Optimization and Transportation 2014, 2014.
Federico Della Croce, Claudio Borean, Michele Garraffa, Ennio Grasso, Fabio Salassa, "An ILP model and a hybrid heuristic for an energy management problem". In: Proc. AIRO2014, pag. 60-60, 2014.
Crainic T.G., Gobbato L. , Perboli G., Rei W., "A Progressive Hedging algorithm for the Stochastic Variable Cost and Size Bin Packing Problems: An application to capacity planning in logistics". In: Proc. 3rd INFORMS Transportation Science and Logistics Society Workshop, 2014.
A. Ballarino,A. Brusaferri,M. Cereia,I.C. Bertolotti,L. Durante,T. Hu,E. Leo,L. Nicolosi,L. Seno,S. Spinelli,F. Tramarin,A. Valenzano,S. Vitturi, "System-Level Performance of an Automation Solution Based on Industry Standards". In: Proc. 19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), IEEE Press, pag. 1-6, 2014.
O. Khan, B. Jan, C. Ragusa, A. Rahim, F. Khan, B. Montrucchio, "Optimization of a Mult-Dimensional FFT Library for Accelerating Magnetostatic Field Computations". In: Proc. 10th European Conference on Magnetic Sensors and Actuators, Vienna University of Technology Faculty of Electrical Engineering and Information Technology Institute of Sensor and Actuator Systems & "Resch Druck", Thomas Resch e.U., Rosinagasse 19, A-1150 Vienna, pag. 250-250, 2014, ISBN: 9783854650218.
Lewis G.A., Lago P., Procaccianti G., "Architecture Strategies for Cyber-Foraging: Preliminary Results from a Systematic Literature Review". In: Proc. Software Architecture, Springer, vol. 8627, pag. 154-169, 2014, ISBN: 9783319099699, doi: 10.1007/978-3-319-09970-5_15.
Perboli G., Gobbato L., Maggioni F., "New models and methods for the multi-path Travelling Salesman Problem with stochastic travel times". In: Proc. International Conference on Applied Mathematical Optimization and Modelling, 2014.
Urgese G., Paciello G., Acquaviva A., Ficarra E., Graziano M., Zamboni M., "Dynamic Gap Selector: A Smith Waterman Sequence Alignment Algorithm with Affine Gap Model Optimisation". In: Proc. 2nd International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2014), Copicentro Granada S.L, vol. 2, pag. 1347-1358, 2014, ISBN: 9788415814849.
Bartolomeo Montrucchio, Maurizio Rebaudengo, Alejandro David Velasco, "Fault Injection in the Process Descriptor of a Unix-based Operating System". In: Proc. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, IEEE / Institute of Electrical and Electronics Engineers, pag. 1-6, 2014.
Paciello Giulia, Andrea Acquaviva, Consalvo Petti, Claudio Isella, Enzo Medico, Elisa Ficarra, "A Novel Pipeline for Identification and Prioritization of Gene Fusions in Patient-derived Xenografts of Metastatic Colorectal Cancer". In: Proc. BIOSTEC 2014, SciTePress, pag. 142-148, 2014, doi: 10.5220/0004799401420148.
Urgese G., Paciello G., Isella C., Medico E., Macii E., Ficarra E., Acquaviva A., "miR-SEA: miRNA Seed Extension based Aligner Pipeline for NGS Expression Level Extraction". In: Proc. 2nd International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2014), Copicentro Granada S.L, vol. 2, pag. 1015-1026, 2014, ISBN: 9788415814849.
Bartolomeo Montrucchio, Maurizio Rebaudengo, Alejandro David Velasco, "Software-implemented Fault Injection in Operating System Kernel Mutex Data Structure". In: Proc. 5th IEEE Latin American Symposium on Circuits and Systems, pag. 1-6, 2014, doi: 10.1109/LASCAS.2014.6820257.
Francesco Lucrezia; Guido Marchetto; Fulvio Risso, "In-Network Support For Over-The-Top Video Quality of Experience". In: Proc. International Conference on Advances in Future Internet (AFIN 2014), International Academy, Research and Industrial Association (IARIA), pag. 72-78, 2014.
Canuto E, Perez Montenegro C, Colangelo L, Lotufo M, "Embedded Model Control: design separation under uncertainty". In: Proc. 33rd Chinese Control Conference, Technical Committee On Control Theory, CAA, pag. 3637-3643, 2014, ISBN: 9789881563842.
Canuto E, Colangelo L, Buonocore M, Massotti L, Girouart B, "Long-distance, low-Earth-orbit, drag-free integrated orbit and formation control for the Next Generation Gravity Mission". In: Proc. 9th international ESA conference on Guidance, Navigation and Control (GNC 2014), ESA, pag. 1-12, 2014.
Colangelo L, Massotti L, Canuto E, Dionisio S, "Model Description and Simulated Mission Performance of the Next Generation Gravity Mission E2E Simulator". In: Proc. GNC 2013: 9th International ESA conference on Guidance, navigation and control, ESA - European Space Agency, pag. 1-14, 2014.
Perez Montenegro C, Lotufo M, Canuto E, Colangelo L, "Saturation managing for the propulsion system and optimal dispatching proposal for multi-rotor UAV". In: Proc. 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667, vol. 1, pag. 452-457, 2014, ISBN: 9781479957378, doi: 10.1109/AIM.2014.6878119.
Di Carlo S., Gambardella G., Prinetto P., Rolfo D., Trotta P., Vallero A., "A novel methodology to increase fault tolerance in autonomous FPGA-based systems". In: Proc. IEEE 20th International On-Line Testing Symposium (IOLTS), IEEE Computer Society, pag. 87-92, 2014, ISBN: 9781479953240, doi: 10.1109/IOLTS.2014.6873677.
Yuan Z.,Rosa S., Russo L.O., Bona B., "A Kinect-based Front-end for Graph-SLAM Using Plane Matching in Planar Indoor Environments". In: Proc. The 13th International Conference on Intelligent Autonomous Systems, Springer, 2014, ISBN: 9783319083353.
Spinoso S., Leogrande M., Risso F., Singh S., Sisto R., "Automatic Configuration of Opaque Network Functions in CMS". In: Proc. 1st International Workshop on Network Virtualization and Software-Defined Networks for Cloud Data Centres (NVSDN 2014), IEEE, pag. 750-755, 2014, doi: 10.1109/UCC.2014.122.
Della Croce F., Salassa F., Scatamacchia R., "An effective approach for the Knapsack problem with setup". In: Proc. 44th Annual Conference of the Italian Operational Research Society (AIR0 2014), pag. 13-13, 2014.
Stefano Rosa, Ludovico Orlando Russo, Basilio Bona, "Towards A ROS-Based Autonomous Cloud Robotics Platform for Data Center Monitoring". In: Proc. 2014 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2014, ISBN: 9781479948468.
Ludovico Russo,Stefano Rosa,Basilio Bona,Matteo Matteucci, "A ROS Implementation of the Mono-Slam Algorithm". In: Proc. ARIA 2014 : International Conference on Artificial Intelligence & Applications, vol. 4, pag. 339-351, 2014, ISBN: 9781921987243, doi: 10.5121/csit.2014.4131.
Rodriguez Rocha O., Figueroa C., Vagliano I., Moltchanov B., "Linked Data-Driven Smart Spaces". In: Proc. The 7th conference on Internet of Things and Smart Spaces ruSMART 2014, Springer International Publishing, vol. 8638, pag. 3-15, 2014, doi: 10.1007/978-3-319-10353-2-1.
Baralis E., Cagliero L., Cerquitelli T., Chiusano S., Garza P., Grimaudo L., Pulvirenti F., "Misleading generalized itemset mining in the cloud". In: Proc. 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA'14), IEEE, pag. 211-216, 2014, doi: 10.1109/ISPA.2014.36.
Di Carlo S., Vallero A., Gizopoulos D., Di Natale G., Gonzalez A., Canal R., Mariani R., Pipponzi M., Grasset A., Bonnot F., Reichenbach F., Rafiq G., Loekstad T., "Cross-layer early reliability evaluation: Challenges and promises". In: Proc. IEEE 20th International On-Line Testing Symposium (IOLTS), IEEE Computer Society, pag. 228-233, 2014, ISBN: 9781479953240, doi: 10.1109/IOLTS.2014.6873704.
Di Carlo S., Vallero A., Gizopoulos D., Di Natale G., Grasset A., Mariani R., Reichenbach F., "Cross-Layer Early Reliability Evaluation for the Computing cOntinuum". In: Proc. 17th Euromicro Conference on Digital System Design (DSD), IEEE, pag. 199-205, 2014, ISBN: 9781479957934, doi: 10.1109/DSD.2014.65.
Federico Della Croce, Michele Garraffa, Fabio Salassa, "A Hybrid Heuristic Approach Based on a Quadratic Knapsack Formulation for the Max-Mean Dispersion Problem". In: Proc. ISCO 2014, vol. 8596, pag. 186-197, 2014, ISBN: 9783319091730, doi: 10.1007/978-3-319-09174-7_16.
Baralis E., Cagliero L., Cerquitelli T., Chiusano S., Garza P., Grimaudo L., Pulvirenti F., "MGI-Cloud: discovery of misleading generalized itemsets". In: Proc. 22nd Italian Symposium on Advanced Database Systems (SEBD'14), pag. 45-52, 2014.
Canuto E, Colangelo L, "Angular drag-free control and fine satellite-to-satellite pointing for the Next Generation Gravity Missions". In: Proc. 13th European Control Conference, EUCA European Control Association, pag. 3017-3022, 2014, ISBN: 9783952426920.
Francesco Gavino Brundu, Edoardo Patti, Andrea Acquaviva, Michelangelo Grosso, Gaetano Rasconà, Davide Lena, Salvatore Rinaudo, Amos Ronzino, Anna Osello, Enrico Macii, "DIMCloud - a distributed infrastructure for district energy management". In: Proc. European Technology Platform on Smart Systems Integration (EPoSS 2014), 2014.
L. Sterpone, B. Du, "Analysis and mitigation of single event effects on flash-based FPGAS". In: Proc. IEEE 19th EUROPEAN TEST SYMPOSIUM (ETS), IEEE, pag. 1-6, 2014, ISBN: 9781479934157, doi: 10.1109/ETS.2014.6847804.
Sebastian Aced Lopez, Dario Bonino, Fulvio Corno, "Template-based ontology population for Smart Environments configuration". In: Proc. The 9th Semantic Web Enabled Software Engineering, Springer International Publishing, vol. 8377, pag. 271-278, 2014, ISBN: 9783319068589, doi: 10.1007/978-3-319-06859-6_24.
P. Bernardi, R. Cantoro, L. Ciganda, B. Du, E. Sanchez, M. Sonza Reorda, M. Grosso, O. Ballan, "On the Functional Test of the Register Forwarding and Pipeline Interlocking Unit in Pipelined Processors". In: Proc. 14th International Workshop on Microprocessor Test and Verification (MTV), IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, pag. 52-57, 2014, doi: 10.1109/MTV.2013.10.
Rosa S., Russo L.O., Airo Farulla G., Carlone L.,Antonini R., Gaspardone M.,Bona B., "An Application of Laser-Based Autonomous Navigation for Data-Center Monitoring". In: Proc. The 13th International Conference on Intelligent Autonomous Systems, Springer, 2014, ISBN: 9783319083346.
Giuseppe Airò Farulla, Marco Indaco, Daniele Rolfo, Ludovico Orlando Russo, Pascal Trotta, "Evaluation of image deblurring algorithms for real-time applications". In: Proc. Design & Technology of Integrated Systems In Nanoscale Era (DTIS), 2014 9th IEEE International Conference On, IEEE, pag. 1-6, 2014, ISBN: 9781479949724, doi: 10.1109/DTIS.2014.6850668.
Giuseppe Airo Farulla, Ludovico Orlando Russo, Chiara Pintor, Daniele Pianu, Giorgio Micotti, Alice Rita Salgarella, Domenico Camboni, Marco Controzzi, Christian Cipriani, Calogero Maria Oddo, Stefano Rosa, Marco Indaco, "Real-time single camera hand gesture recognition system for remote deaf-blind communication". In: Proc. 1st International Conference on Augmented and Virtual Reality - Salento AVR 2014, Springer, vol. 1, pag. 35-52, 2014, ISBN: 9783319139685, doi: 10.1007/978-3-319-13969-2_3.
B. Du, M. Sonza Reorda, L. Sterpone, L. Parra, M. Portela-Garcia, A. Lindoso, L. Entrena, "A New Solution to On-Line Detection of Control Flow Errors". In: Proc. IEEE 20th International On-Line Testing Symposium, IEEE / Institute of Electrical and Electronics Engineers, pag. 105-110, 2014, ISBN: 9781479953233.
Cerrato I., Palesandro A., Risso F., Jungel T., Sune M., Woesner H., "User-specific Network Service Functions in an SDN-enabled Network Node". In: Proc. Third European Workshop on Software Defined Networks (EWSDN 2014), IEEE, pag. 135-136, 2014, doi: 10.1109/EWSDN.2014.26.
Cerrato I., Annarumma M., Risso F., "Supporting Fine-Grained Network Functions through Intel DPDK". In: Proc. Third European Workshop on Software Defined Networks (EWSDN 2014), IEEE, pag. 1-6, 2014, doi: 10.1109/EWSDN.2014.33.
P. Bernardi, R. Cantoro, L. Ciganda, E. Sanchez, M. Sonza Reorda, S. De Luca, R. Meregalli, A. Sansonetti, "On the in-Field Functional Testing of Decode Units in Pipelined RISC Processors". In: Proc. 2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, pag. 298-303, 2014, ISBN: 9781479961542.
Canuto E, Perez Montenegro C, Colangelo L, Lotufo M, "Active Disturbance Rejection Control and Embedded Model Control: a case study comparison". In: Proc. 33rd Chinese Control Conference, Technical Committee On Control Theory, CAA, pag. 3697-3702, 2014, ISBN: 9789881563842.
Cerrato I., Marchetto G., Risso F., Sisto R., Virgilio M., "An Efficient Data Exchange Algorithm for Chained Network Functions". In: Proc. 2014 IEEE 15th International Conference on High Performance Switching and Routing (HPSR 2014), IEEE, pag. 98-105, 2014, doi: 10.1109/HPSR.2014.6900888.
Cagliano A.C., De Marco A., Gobbato L.,Perboli G., Tadei R., "Optimising the e-grocery supply chain with a mobile service". In: Proc. EURO I INFORMS 26th European Conference on Operational Research, 2013.
Perboli G.,Tadei R., Gobbato L., Baldi M.M., "The Stochastic Generalized Bin Packing Problem". In: Proc. XIII International Conference on Stochastic Programming, 2013.
Crainic T.G., Gobbato L., Perboli G., Rei W., Woodruff D., Watson J-P, "Bin Packing Problem with uncertainty on item availability: an application to Capacity Planning in Logistics". In: Proc. EWGT2013 - 16th Meeting of the EURO Working Group on Transportation, pag. 1-9, 2013.
Russo L.O., Airo' Farulla G., Indaco M., Rosa S., Rolfo D., Bona B., "Blurring Prediction in Monocular SLAM". In: Proc. 8th IEEE International Design & Test Symposium 2013, 2013, doi: 10.1109/IDT.2013.6727095.
Sonza Reorda M., Sterpone L., Ullah A., "An Error-Detection and Self-Repairing Method for Dynamically and Partially Reconfigurable Systems". In: Proc. IEEE European Test Symposium, IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, pag. 149-155, 2013.
Sterpone L., Ullah A., "On the Optimal Reconfiguration Times for TMR Circuits on SRAM based FPGAs". In: Proc. IEEE AHS, IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, pag. 9-14, 2013.
Sassone A., Petricca M., Poncino M., Macii E., "A Fully Standard-Cell Delay Measurement Circuit for Timing Variability Detection". In: Proc. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, pag. 239-242, 2013.
Ardito L., Procaccianti G., Torchiano M., Migliore G., "Profiling Power Consumption on Mobile Devices". In: Proc. ENERGY 2013, The Third International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, IARIA, vol. Proceedings of The Third International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, pag. 101-106, 2013, ISBN: 9781612082592.
Loiacono C., Palena M., Pasini P., Patti D., Quer S., Ricossa S., Vendraminetto D., Baumgartner J., "Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties". In: Proc. Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE), pag. 803-806, 2013, doi: 10.7873/DATE.2013.170.
I. Ul Islam, S. Di Cataldo, A. Bottino, E. Ficarra, E. Macii, "Classification of HEp-2 staining patterns in ImmunoFluorescence images. Comparison of Support Vector Machines and Subclass Discriminant Analysis strategies". In: Proc. BIOINFORMATICS (International Conference on Bioinformatics Models, Methods and Algorithms) 2013, pag. 1-9, 2013.
T.F. Vieira, A. Bottino, I. Ul Isalm, "Automatic Verification of Parent-Child Pairs from Face Images". In: Proc. CIARP 2013, vol. 8259, pag. 326-333, 2013.
Sabena D., Sonza Reorda M., Sterpone L., "On the development of diagnostic test programs for VLIW processors". In: Proc. 21st IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), pag. 87-92, 2013.
Perez C, Lotufo M, Canuto E., "Control Architecture and Simulation of the Borea Quadrotor". In: Proc. Second IFAC Workshop on Research, Education and Development of Unmanned Aerial Systems (RED-UAS), Elsevier, vol. 2 parte 1, pag. 168-173, 2013, ISBN: 9783902823571, doi: 10.3182/20131120-3-FR-4045.00031.
B. Jan,B. Montrucchio,C. Ragusa,F. Khan,O. Khan, "Parallel butterfly sorting algorithm on GPU". In: Proc. 11th IASTED International Conference on Parallel and Distributed Computing and Networks, PDCN 2013; Innsbruck; Austria; 11 February 2013 through 13 February 2013; Code 96246, ACTA Press, pag. 544-551, 2013, doi: 10.2316/P.2013.795-026.
Sabena D., Sonza Reorda M., Sterpone L., Rech P., Carro L., "On the evaluation of soft-errors detection techniques for GPGPUs". In: Proc. 2013 8th IEEE International Design and Test Symposium (IDT), 2013.
M. Gaudesi, A. Marion, T. Musner, G. Squillero, A. Tonda, "Evolutionary Optimization of Wetlands Design". In: Proc. 28th Annual ACM Symposium on Applied Computing, SAC 2013, ACM New York, NY, USA, vol. I, pag. 176-181, 2013, ISBN: 9781450316569, doi: 10.1145/2480362.2480400.
Ardito L., Procaccianti G., Vetro' A., Morisio M., "Introducing Energy Efficiency into SQALE". In: Proc. ENERGY 2013, The Third International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, pag. 28-33, 2013, ISBN: 9781612082592.
Sterpone L., Sabena D., Ullah A., Porrmann M., Hagemeyer J., Ilstad J., "Dynamic Neutron Testing of Dynamically Reconfigurable Processing Modules Architecture". In: Proc. IEEE AHS, IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, pag. 184-188, 2013.
G. Cena,I. . Bertolotti,T. Hu,A. Valenzano, "Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller". In: Proc. 18th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, pag. 1-9, 2013, doi: 10.1109/ETFA.2013.6648025.
Procaccianti G., Bevini S., Lago P., "Energy Efficiency in Cloud Software Architectures". In: Proc. 27th International Conference on Informatics for Environmental Protection (EnviroInfo 2013), Shaker Verlag GmbH, vol. 1, pag. 291-299, 2013.
Giulia Paciello, Elisa Ficarra, Alberto Zamò, Chiara Pighi, Carmelo Foti, Francesco Abate, Enrico Macii, Andrea Acquaviva, "A novel pipeline for V(D)J junction identification using RNA-Seq paired-end reads". In: Proc. Bioinformatics 2013, International Conference on Bioinformatics Models, Methods and Algorithms, 2013, ISBN: 9789898565358.
Vetro' A., Ardito L., Procaccianti G., Morisio M., "Definition, implementation and validation of energy code smells: an exploratory study on an embedded system". In: Proc. ENERGY 2013 : The Third International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, pag. 34-39, 2013, ISBN: 9781612082592.
I. . Bertolotti,L. Durante,T. Hu,A. Valenzano, "A Model for the Analysis of Security Policies in Industrial Networks". In: Proc. 1st International Symposium for ICS and SCADA Cyber Security Research, BCS Learning and Development Ltd, pag. 66-77, 2013.
Perboli G., Gobbato L., Perfetti F., "Packing problems in Transportation and Supply Chain: new problems and trends". In: Proc. EWGT2013 - 16th Meeting of the EURO Working Group on Transportation, 2013.
C. Basile, D. Canavese, A. Lioy, C. Pitscheider, "Improved reachability analysis for security management". In: Proc. PDP-2013: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, IEEE Computer Society Press, pag. 534-541, 2013, ISBN: 9781467353212, doi: 10.1109/PDP.2013.86.
Su T., Lyle J.,Atzeni A.,Faily S., Virji H., Ntanos C., Botsikas C., "Continuous integration for web-based software infrastructures: lessons learned on the webinos project". In: Proc. HVC-2013: Ninth Haifa Verification Conference, Springer, vol. LNCS-8244, pag. 145-150, 2013, doi: 10.1007/978-3-319-03077-7_10.
Benso A., Di Carlo S., Rehman H.U. ,Politano G.,Savino A., Squillero G.,Vasciaveo A., Benedettini S., "Accounting for Post-Transcriptional Regulation in Boolean Networks Based Regulatory Models". In: Proc. International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2013, Copicentro Editorial, pag. 397-404, 2013.
Virgilio M., Marchetto G., Sisto R., "PIT Overload Analysis in Content Centric Networks". In: Proc. ACM SIGCOMM Workshop on Information-Centric Networking (ICN 2013), ACM, pag. 67-72, 2013, doi: 10.1145/2491224.2491225.
Walter Allasia, Paolo Ariano, Alain Favetto, Francesco Gallo, Enrico Licata, Marco Paleari, Paolo Prinetto, Daniele Rolfo, Francesco Rosso, Pascal Trotta, "Stereo vision system for capture and removal of space debris". In: Proc. IEEE Conference on Design and Architectures for Signal and Image Processing (DASIP), IEEE, pag. 201-207, 2013.
G. Cabodi, A. Mishchenko, M. Palena, "Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3". In: Proc. International Workshop on Design and Implementation of Formal Tools and Systems, 2013.
Di Carlo S., Gambardella G., Huynh Bao T., Prinetto P., Rolfo D., Trotta P., "ZipStream: improving dependability in Dynamic Partial Reconfiguration". In: Proc. IEEE 8th International Design and Test Symposium (IDT), IEEE Computer Society, pag. 1-6, 2013, ISBN: 9781479935253, doi: 10.1109/IDT.2013.6727128.
Di Carlo S., Gambardella G., Indaco M., Martella I., Prinetto P., Rolfo D., Trotta P., "A software-based self test of CUDA Fermi GPUs". In: Proc. IEEE 18th European Test Symposium (ETS), IEEE Computer Society, pag. 1-6, 2013, doi: 10.1109/ETS.2013.6569353.
Di Carlo S., Gambardella G., Indaco M., Martella I., Prinetto P., Rolfo D., Trotta P., "Increasing the robustness of CUDA Fermi GPU-based systems". In: Proc. IEEE 19th International On-Line Testing Symposium (IOLTS), IEEE, pag. 234-235, 2013, ISBN: 9781479906642, doi: 10.1109/IOLTS.2013.6604088.
Di Carlo S., Gambardella G., Martella I., Prinetto P., Rolfo D., Trotta P., "Fault mitigation strategies for CUDA GPUs". In: Proc. IEEE International Test Conference (ITC), IEEE, pag. 1-8, 2013, ISBN: 9781479908592, doi: 10.1109/TEST.2013.6651908.
Baralis E., Cerquitelli T., Chiusano S., Grimaudo L., Xiao X., "Analysis of Twitter Data Using a Multiple-level Clustering Strategy". In: Proc. Third International Conference on Model and Data Engineering (MEDI 2013), Springer Heidelberg NewYork Dordrecht London, vol. 8216, pag. 13-24, 2013, ISBN: 9783642413650, doi: 10.1007/978-3-642-41366-7.
Di Carlo S., Gambardella G., Lanza P., Prinetto P., Rolfo D., Trotta P., "SAFE: a Self Adaptive Frame Enhancer FPGA-based IP-core for real-time space applications". In: Proc. IEEE 8th International Design and Test Symposium (IDT), IEEE Computer Society, pag. 1-6, 2013, ISBN: 9781479935253, doi: 10.1109/IDT.2013.6727127.
Rosso F., Gallo F., Allasia W., Licata E., Prinetto P., Rolfo D., Trotta P., Favetto A., Paleari M., Ariano P., "Stereo vision system for capture and removal of space debris". In: Proc. 5th European Conference for Aeronautics and Space Sciences EUCASS 2013, 2013.
Lanza P., Martelli A., Prinetto P., Rolfo D., Tramutola A., Trotta P., "FPGA-based IP-cores library for advanced image processing in space applications". In: Proc. Data Systems in Aerospace 2013, ESA Publications Division, 2013.
Cerrato I., Pramotton M., Risso F., "Moving Applications from the Host to the Network: Experiences, Challenges and Findings". In: Proc. IEEE International Conference on Communications 2013 (IEEE ICC'13) - 1st International Workshop on Mobile Cloud Networking and Services (MCN), IEEE, pag. 744-749, 2013, doi: 10.1109/ICCW.2013.6649332.
Gaudesi M., Marion A., Musner T., Squillero G., Tonda A., "An Evolutionary Approach to Wetlands Design". In: Proc. 11th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2013, Springer Berlin Heidelberg, vol. 7833, pag. 177-187, 2013, doi: 10.1007/978-3-642-37189-9_16.
Garraffa M., Smet P., Vanden Berghe G., "A hybrid heuristic for a real world task assignment problem". In: Proc. European conference on operational research (EURO 2013), pag. 338-338, 2013.
Luca Costabello, Serena Villata, Iacopo Vagliano, Fabien Gandon, "Assisted Policy Management for SPARQL Endpoints Access Control". In: Proc. International Semantic Web Conference 2013, pag. 33-36, 2013.
Cerrato I., Leogrande M., Risso F., "Filtering Network Traffic Based on Protocol Encapsulation Rules". In: Proc. International Conference on Computing, Networking and Communications (ICNC 2013), IEEE, pag. 1058-1063, 2013, ISBN: 9781467352871, doi: 10.1109/ICCNC.2013.6504238.
Garraffa M., Salassa F., Vancroonenburg W., Vanden Berghe G., Wauters T., "A computational study of a cutting stock problem with sequence dependent cut losses". In: Proc. Multidisciplinary International Scheduling conference: Theory & Applications (MISTA2013), pag. 703-706, 2013.
L. Sterpone, B. Du, D. Merodio Codinachs, V. Ferlet Cavrois, "Accurate Mitigation of Single Event Effects on Flash-based FPGAs: A new Design Flow". In: Proc. RADECS, 2013.
Gaudesi M., Squillero G., Tonda A., "An Efficient Distance Metric for Linear Genetic Programming". In: Proc. GECCO 2013 - Genetic and Evolutionary Computation Conference, ACM, pag. 925-932, 2013, doi: 10.1145/2463372.2463495.
B. Du, M. Sonza Reorda , L. Sterpone, , L. Parra, M. Portela Garcia, A. Lindoso , L. Entrena, "EXPLOITING THE DEBUG INTERFACE TO SUPPORT ON LINE TEST OF CONTROL FLOW ERRORS". In: Proc. 2013 IEEE 19th International On-Line Testing Symposium (IOLTS), IEEE, pag. 98-103, 2013, doi: 10.1109/IOLTS.2013.6604058.
Lanza P., Martelli A., Prinetto P., Rolfo D., Tramutola A., Trotta P., "Advanced image processing in space applications: the new trend to increase the success rate of exploration space missions". In: Proc. 5th European Conference for Aeronautics and Space Sciences (EUCASS 2013), 2013.
Di Carlo S., Prinetto P., Rolfo D., Trotta P., "AIDI: An adaptive image denoising FPGA-based IP-core for real-time applications". In: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), IEEE, pag. 99-106, 2013, ISBN: 9781467363839, doi: 10.1109/AHS.2013.6604232.
Di Carlo S., Gambardella G., Prinetto P., Rolfo D., Trotta P., Lanza L., "FEMIP: A high performance FPGA-based features extractor & matcher for space applications". In: Proc. 23rd International Conference on Field programmable Logic and Applications (FPL), IEEE, pag. 1-4, 2013, ISBN: 9781479900046, doi: 10.1109/FPL.2013.6645606.
Di Carlo S., Gambardella G., Indaco M., Prinetto P., Rolfo D., Trotta P., "Dependable Dynamic Partial Reconfiguration with minimal area & time overheads on Xilinx FPGAS". In: Proc. 23rd International Conference on Field programmable Logic and Applications (FPL), IEEE, pag. 1-4, 2013, ISBN: 9781479900046, doi: 10.1109/FPL.2013.6645549.
Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto, "Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking". In: Proc. Design Automation and Test in Europe (DATE), pag. 1417-1422, 2013, ISBN: 9781467350716, doi: 10.7873/DATE.2013.289.
Wei L., Miryala S., Tenace V., Calimera A., Macii E., Poncino M., "NBTI effects on tree-like clock distribution networks". In: Proc. GLSVLSI-12: IEEE/ACM Great Lakes symposium on VLSI, pag. 279-282, 2012, ISBN: 9781450312448, doi: 10.1145/2206781.2206849.
Di Carlo S., Galfano S., Gambardella G., Indaco M., Prinetto P., Rolfo D., Trotta P., "NBTI Mitigation by Dynamic Partial Reconfiguration". In: Proc. IEEE 13th Biennal Baltic Electronics Conference (BEC), IEEE, pag. 93-96, 2012, doi: 10.1109/BEC.2012.6376823.
Sanna A., Lamberti F., Paravati G., Henao Ramirez E.A., Manuri F., "A Kinect-based natural interface for quadrotor control". In: Proc. 4th International ICST Conference on Intelligent Technologies for Interactive Entertainment (INTETAIN2011), vol. 78, pag. 48-56, 2012, doi: 10.1007/978-3-642-30214-5_6.
L. Sterpone, D. Sabena, M. Sonza Reorda, "A New SBST Algorithm for Testing the Register File of VLIW Processors". In: Proc. IEEE Design, Automation and Test in Europe, 2012, pag. 412 -417, 2012.
Risso F., Cerrato I., "Customizing Data-plane Processing in Edge Routers". In: Proc. European Workshop on Software Defined Networks (EWSDN), IEEE, pag. 114-120, 2012, ISBN: 9781467345545, doi: 10.1109/EWSDN.2012.14.
Cibrario Bertolotti I., Durante L., Hu T., Valenzano A., "A Unified Class Model for Checking Security Policies in ICT Infrastructures". In: Proc. International IEEE-AESS Conference in Europe about Space and Satellite Telecommunications, pag. 1-6, 2012, doi: 10.1109/ESTEL.2012.6400068.
Urgese G., Graziano M., Vacca M., Awais M., Frache S., Zamboni M., "Protein alignment HW/SW optimizations". In: Proc. Electronics, Circuits and Systems (ICECS), 2012 19th IEEE International Conference on, IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC, pag. 145-148, 2012, ISBN: 9781467312615, doi: 10.1109/ICECS.2012.6463779.
Sabena D., Sonza Reorda M., Sterpone L., "On the optimized generation of Software-Based Self-Test programs for VLIW processors". In: Proc. VLSI and System-on-Chip (VLSI-SoC), 2012 IEEE/IFIP 20th International Conference on, pag. 129-134, 2012, ISBN: 9781467326575, doi: 10.1109/VLSI-SoC.2012.6379018.
Sabena D., Sonza Reorda M., Sterpone L., "On the development of Software-Based Self-Test methods for VLIW processors". In: Proc. Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), 2012 IEEE International Symposium on, pag. 25-30, 2012, ISBN: 9781467330435, doi: 10.1109/DFT.2012.6378194.
Abate F., Paciello G., Acquaviva A., Ficarra E., Ferrarini A., Delledonne M., Macii E., "A NOVEL ANALYSIS FLOW FOR FUSED TRANSCRIPTS DISCOVERY FROM PAIRED-END RNA-SEQ DATA". In: Proc. International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2012), pag. 331-334, 2012, doi: 10.5220/0003789003310334.
Ciganda L., Gaudesi M., Lutton E., Sanchez E., Squillero G., Tonda A., "Automatic Generation of On-Line Test Programs through a Cooperation Scheme". In: Proc. 13th International Workshop on Microprocessor Test and Verification (MTV), 2012, IEEE, pag. 13-18, 2012, doi: 10.1109/MTV.2012.17.
Benedetti G., Gobbato L., Perboli G., Perfetti F., "The Cagliari Airport impact on Sardinia tourism: a Logit-based analysis". In: Proc. EWGT 2012, pag. 1-9, 2012.
Anees Ullah, Hazrat Ali, Yasir Ali Khan, Muhammad Aamir, Nazim Ali, K.M. Yahya, "Phase compensated differential based quadrature direct digital frequency synthesis". In: Proc. 2012 International Conference on Emerging Technologies (ICET), pag. 1-6, 2012, ISBN: 9781467344524, doi: 10.1109/ICET.2012.6375485.
Sassone A., Calimera A., Macii A.; Macii E., Poncino M., Goldman R., Melikyan V., Babayan E., Rinaudo S., "Investigating the Effects of Inverted Temperature Dependence (ITD) on Clock Distribution Networks". In: Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, pag. 165-166, 2012, doi: 10.1109/DATE.2012.6176453.
L. Sterpone, D. Sabena, M. Sonza Reorda, "A New Fault Injection Approach for Testing Network-on-Chips". In: Proc. PDP 2012, pag. 530-535, 2012, doi: 10.1109/PDP.2012.82.
Cena G., Cibrario Bertolotti I., Hu T., Valenzano A., "Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication". In: Proc. IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pag. 1-8, 2012.
Ardito L., Procaccianti G., Menga G., Morisio M., "A Survey on Smart Grid Technologies in Europe". In: Proc. The Second International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, ENERGY 2012, vol. Proceedings of The Second International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, pag. 22-28, 2012.
Ghinamo G., Vadalà F., Corbi C., Bettassa Copet P., Risso F., Sisto R., "Vehicle Navigation Service Based on Real-Time Traffic Information". In: Proc. 2nd International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Service (UPINLBS 2012), IEEE, pag. 1-8, 2012, ISBN: 9781467319096, doi: 10.1109/UPINLBS.2012.6409749.
Cena G., Cibrario Bertolotti I., Hu T., "Formal Verification of a Distributed Master Election Protocol". In: Proc. IEEE International Workshop on Factory Communication Systems (WFCS 2012), pag. 245-254, 2012, doi: 10.1109/WFCS.2012.6242572.
Cena G., Cibrario Bertolotti I., Hu T., Valenzano A., "Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks". In: Proc. IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pag. 1-8, 2012.
Bettassa Copet P., Pironti A., Pozza D., Sisto R., Vivoli P., "Visual Model-Driven Design, Verification and Implementation of Security Protocols". In: Proc. 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012), IEEE, pag. 62-65, 2012, ISBN: 9781467347426, doi: 10.1109/HASE.2012.23.
Tenace V., Miryala S., Calimera A., Macii A., Macii E., Poncino M., "Layout Constrained Body-Biasing for Temperature Induced Clock-Skew Compensation". In: Proc. THERMINIC-12: IEEE International Workshop on Thermal Investigations of ICs and Systems, pag. 1-6, 2012.
Vetro' A., Ardito L., Morisio M., Procaccianti G., "Monitoring IT Power Consumption in a Research Center: Seven Facts". In: Proc. The First International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, pag. 64-69, 2011, ISBN: 9781612080062.
Procaccianti G., Vetrò A., Ardito L., Morisio M., "Profiling Power Consumption on Desktop Computer Systems". In: Proc. 1st International Conference on Information and Communication on Technology for the Fight Against Global Warming, ICT-GLOW 2011, Springer, vol. 6868, pag. 110-123, 2011, ISBN: 9783642234460, doi: 10.1007/978-3-642-23447-7_11.
Cibrario Bertolotti I., Hu T., "Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo". In: Proc. Congresso Nazionale AICA, pag. 1-10, 2011.
Di Carlo S., Gambardella G., Indaco M., Rolfo D., Prinetto P., "MarciaTesta: An Automatic Generator of Test Programs for Microprocessors' Data Caches". In: Proc. IEEE 20th Asian Test Symposium (ATS), IEEE Computer Society, pag. 401-406, 2011, ISBN: 9781457719844, doi: 10.1109/ATS.2011.78.
Perboli G., Ghirardi M., Gobbato L., Benedetti G., "A DSS for business decisions in air transportation: a case study". In: Proc. Intelligent Systems Design and Applications (ISDA), 2011 11th International Conference on, IEEE, pag. 766-771, 2011, ISBN: 9781457716768, doi: 10.1109/ISDA.2011.6121749.
L. Sterpone, D. Sabena, S. Campagna, M. Sonza Reorda, "Fault Injection Analysis of Transient Faults in Clustered VLIW Processors". In: Proc. 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, IEEE, pag. 207-212, 2011.
Di Carlo S., Gambardella G., Indaco M., Rolfo D., Prinetto P., "Validation & Verification of an EDA automated synthesis tool". In: Proc. IEEE 6th International Design and Test Workshop (IDT), IEEE Computer Society, pag. 48-52, 2011, ISBN: 9781467304689, doi: 10.1109/IDT.2011.6123100.
Di Carlo S., Gambardella G., Indaco M., Rolfo D., Tiotto G., Prinetto P., "An area-efficient 2-D convolution implementation on FPGA for space applications". In: Proc. IEEE 6th International Design and Test Workshop (IDT), IEEE Computer Society, pag. 88-92, 2011, ISBN: 9781467304689, doi: 10.1109/IDT.2011.6123108.
A. Sassone, W. Liu, A. Calimera, A. Macii, E. Macii, M. Poncino, "Modeling of thermally induced skew variations in clock distribution network". In: Proc. 17th International Workshop on Thermal Investigations of ICs and Systems, THERMINIC 2011, IEEE, pag. 1-6, 2011.
Di Carlo S., Gambardella G., Indaco M., Rolfo D., Prinetto P., "A unifying formalism to support automated synthesis of SBSTs for embedded caches". In: Proc. IEEE East-West Design & Test Symposium (EWDTS), IEEE Computer Society, pag. 39-42, 2011, ISBN: 9781457719578, doi: 10.1109/EWDTS.2011.6116421.
Gobbato L., Chinea A., Grivet-Talocia S., "A Parallel Hamiltonian Eigensolver for Passivity Characterization and Enforcement of Large Interconnect Macromodels". In: Proc. Design Automation and Test in Europe, IEEE, pag. 26-31, 2011, ISBN: 9781612842080.
G. Paciello, A. Acquaviva, E. Ficarra, M. Deriu, E. Macii, "Binding free energy calculation via Molecular Dynamics simulations for a miRNA:mRNA interaction". In: Proc. Bioinformatics 2011, International Conference on Bioinformatics Models Methods and Algorithms, SciTePress, pag. 318-321, 2011, ISBN: 9789898425362.
Silvestro J., Canavese D., Cesena E., Smiraglia P., "A unified ontology for the virtualization domain". In: Proc. DOA-SVI 2011: Distributed Objects and Applications and Secure Virtual Infrastructures, Springer, pag. 617-624, 2011, ISBN: 9783642251054, doi: 10.1007/978-3-642-25106-1_14.
Cibrario Bertolotti I., Hu T., "Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems". In: Proc. IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2011), pag. 1-8, 2011, doi: 10.1109/ETFA.2011.6059000.
Other
Vetrò A., Torchiano M., Minotas Orozco C., Procaccianti G., Iemma R., Morando F., An Exploratory Empirical Assessment of Italian Open Government Data Quality With an eye to enabling linked open data, 2014 ().
Perboli G., Ghirardi M., Gobbato L., Perfetti F., Flights and their economic impact on the airport catchment area: an application to the Italian tourist market, CIRRELT, pag. 1-32, 2012 ().
Perboli G., Tadei R., Gobbato L., The multi-handler knapsack problem under uncertainty, CIRRELT, 2012 ().