Publications

2017

Palumbo, Francesca; Sau, Carlo; Fanni, Tiziana; Raffo, Luigi

Challenging CPS Trade-Off Adaptivity with Coarse-Grained Reconfiguration Conference

2017.

Abstract | Links | BibTeX

Palumbo, Francesca; Rubattu, Claudio; Sau, Carlo; Fanni, Tiziana; Meloni, Paolo; Raffo, Luigi

Dynamic Trade-Off Management for CPS Miscellaneous

2017.

Abstract | Links | BibTeX

Palumbo, Francesca; Sau, Carlo; Meloni, Paolo; Raffo, Luigi

Coarse-Grained Reconfiguration: Run-time Adaptivityin Cyber Physical Systems Miscellaneous

2017.

Abstract | Links | BibTeX

Sau, Carlo; Palumbo, Francesca; Pelcat, Maxime; Heulot, Julien; Nogues, Erwan; Menard, Daniel; Meloni, Paolo; Raffo, Luigi

Challenging the Best HEVC Fractional Pixel FPGA Interpolators with Reconfigurable and Multi-frequency Approximate Computing Journal Article

IEEE Embedded Systems Letters, 9 (3), pp. 65-68, 2017, ISSN: 1943-0663.

Abstract | Links | BibTeX

Masin, M; Palumbo, F; Myrhaug, H; de Filho, Oliveira J A; Pastena, M; Pelcat, M; Raffo, L; Regazzoni, F; Sanchez, A A; Toffetti, A; de la Torre, E; Zedda, K

Cross-layer Design of Reconfigurable Cyber-Physical Systems Conference

IEEE, 2017, ISSN: 1558-1101.

Abstract | Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

Verification and repair of control policies for safe reinforcement learning Journal Article

Applied Intelligence, pp. 1-23, 2017.

Abstract | Links | BibTeX

Pandolfo, L; Pulina, L

ADnOTO: A self-adaptive system for automatic ontology-based annotation of unstructured documents Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10350 LNCS , pp. 495-501, 2017.

Abstract | Links | BibTeX

Sau, C; Palumbo, F; Pelcat, M; Heulot, J; Nogues, E; Menard, D; Meloni, P; Raffo, L

Challenging the Best HEVC Fractional Pixel FPGA Interpolators With Reconfigurable and Multifrequency Approximate Computing Journal Article

IEEE Embedded Systems Letters, 9 (3), pp. 65-68, 2017.

Abstract | Links | BibTeX

Abdali, E M; Pelcat, M; Berry, F; Diguet, J -P; Palumbo, F

Exploring the performance of partially reconfigurable point-to-point interconnects Conference

2017.

Abstract | Links | BibTeX

Fanni, T; Li, L; Viitanen, T; Sau, C; Xie, R; Palumbo, F; Raffo, L; Huttunen, H; Takala, J; Bhattacharyya, S S

Hardware design methodology using lightweight dataflow and its integration with low power techniques Journal Article

Journal of Systems Architecture, 78 , pp. 15-29, 2017.

Abstract | Links | BibTeX

Palumbo, F; Sau, C; Pani, D; Meloni, P; Raffo, L

Feasibility study of real-time spiking neural network simulations on a swarm intelligence based digital architecture Conference

2017.

Abstract | Links | BibTeX

Becchi, M; Palumbo, F

Message from the Program Chairs Conference

2017.

Links | BibTeX

Masin, M; Palumbo, F; Myrhaug, H; Filho, De Oliveira J A; Pastena, M; Pelcat, M; Raffo, L; Regazzoni, F; Sanchez, A A; Toffetti, A; Torre, De La E; Zedda, K

Cross-layer design of reconfigurable cyber-physical systems Conference

2017.

Abstract | Links | BibTeX

Meloni, P; Rubattu, C; Tuveri, G; Pani, D; Raffo, L; Palumbo, F

Real-Time neural signal decoding on heterogeneous MPSocs based on VLIW ASIPs Journal Article

Journal of Systems Architecture, 76 , pp. 89-101, 2017.

Abstract | Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Meloni, P

Power-Awarness in Coarse-Grained Reconfigurable Multi-Functional Architectures: a Dataflow Based Strategy Journal Article

Journal of Signal Processing Systems, 87 (1), pp. 81-106, 2017.

Abstract | Links | BibTeX

Pani, D; Meloni, P; Tuveri, G; Palumbo, F; Massobrio, P; Raffo, L

An FPGA platform for real-time simulation of spiking neuronal networks Journal Article

Frontiers in Neuroscience, 11 , 2017.

Abstract | Links | BibTeX

Sau, C; Fanni, T; Meloni, P; Raffo, L; Pelcat, M; Palumbo, F

Demo: Reconfigurable Platform Composer Tool Conference

2017.

Abstract | Links | BibTeX

Li, L; Fanni, T; Viitanen, T; Xie, R; Palumbo, F; Raffo, L; Huttunen, H; Takala, J; Bhattacharyya, S S

Low power design methodology for signal processing systems using lightweight dataflow techniques Conference

2017.

Abstract | Links | BibTeX

2016

Pathak, S; Pulina, L; Tacchella, A

Evaluating probabilistic model checking tools for verification of robot control policies Journal Article

AI Communications, 29 (2), pp. 287-299, 2016.

Abstract | Links | BibTeX

Pulina, L

The ninth QBF solvers evaluation-preliminary report Conference

1719 , 2016.

Abstract | Links | BibTeX

Leofante, F; Pulina, L; Tacchella, A

Learning with safety requirements: State of the art and open questions Conference

1745 , 2016.

Abstract | Links | BibTeX

Pandolfo, L; Pulina, L; Adorni, G

A framework for automatic population of ontology-based digital libraries Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10037 LNAI , pp. 406-417, 2016.

Abstract | Links | BibTeX

Marin, P; Narizzano, M; Pulina, L; Tacchella, A; Giunchiglia, E

Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows Journal Article

Fundamenta Informaticae, 149 (1-2), pp. 133-158, 2016.

Abstract | Links | BibTeX

Kontchakov, R; Pandolfo, L; Pulina, L; Ryzhikov, V; Zakharyaschev, M

Temporal and spatial OBDA with many-dimensional halpern-shoham logic Conference

2016-January , 2016.

Abstract | Links | BibTeX

Cicala, G; Khalili, A; Metta, G; Natale, L; Pathak, S; Pulina, L; Tacchella, A

Engineering approaches and methods to verify software in autonomous systems Journal Article

Advances in Intelligent Systems and Computing, 302 , pp. 1683-1700, 2016.

Abstract | Links | BibTeX

Leofante, F; Vuotto, S; Ábrahám, E; Tacchella, A; Jansen, N

Combining static and runtime methods to achieve safe standing-up for humanoid robots Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9952 LNCS , pp. 496-514, 2016.

Abstract | Links | BibTeX

Palumbo, F; Sau, C; Fanni, T; Meloni, P; Raffo, L

SS-design: Dataflow-based design of coarse-grained: Reconfigurable platforms reconfigurable platform composer tool project - Extended abstract Conference

2016.

Abstract | Links | BibTeX

Tuveri, G; Meloni, P; Palumbo, F; Seu, Pietro G; Loi, I; Conti, F; Raffo, L

On-the-fly adaptivity for process networks over shared-memory platforms Journal Article

Microprocessors and Microsystems, 46 , pp. 240-254, 2016.

Abstract | Links | BibTeX

Sau, C; Meloni, P; Raffo, L; Palumbo, F; Bezati, E; Casale-Brunet, S; Mattavelli, M

Automated Design Flow for Multi-Functional Dataflow-Based Platforms Journal Article

Journal of Signal Processing Systems, 85 (1), pp. 143-165, 2016.

Abstract | Links | BibTeX

Fanni, T; Sau, C; Meloni, P; Raffo, L; Palumbo, F

Power and clock gating modelling in coarse grained reconfigurable systems Conference

2016.

Abstract | Links | BibTeX

Banik, S; Bogdanov, A; Fanni, T; Sau, C; Raffo, L; Palumbo, F; Regazzoni, F

Adaptable AES implementation with power-gating support Conference

2016.

Abstract | Links | BibTeX

Sau, C; Carta, N; Raffo, L; Palumbo, F

Early Stage Automatic Strategy for Power-Aware Signal Processing Systems Design Journal Article

Journal of Signal Processing Systems, 82 (3), pp. 311-329, 2016.

Abstract | Links | BibTeX

Sau, C; Fanni, L; Meloni, P; Raffo, L; Palumbo, F

Reconfigurable coprocessors synthesis in the MPEG-RVC domain Conference

2016.

Abstract | Links | BibTeX

Fanni, T; Sau, C; Meloni, P; Raffo, L; Palumbo, F

Power modelling for saving strategies in coarse grained reconfigurable systems Conference

2016.

Abstract | Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Meloni, P; Raffo, L

Modelling and automated implementation of optimal power saving strategies in coarse-grained reconfigurable architectures Journal Article

Journal of Electrical and Computer Engineering, 2016 , 2016.

Abstract | Links | BibTeX

Meloni, P; Palumbo, F; Rubattu, C; Tuveri, G; Pani, D; Raffo, L

MPSoCs for real-time neural signal decoding: A low-power ASIP-based implementation Journal Article

Microprocessors and Microsystems, 43 , pp. 67-80, 2016.

Abstract | Links | BibTeX

Palumbo, F; Sau, C; Evangelista, D; Meloni, P; Pelcat, M; Raffo, L

Runtime Energy versus Quality Tuning in Motion Compensation Filters for HEVC Journal Article

IFAC-PapersOnLine, 49 (25), pp. 145-152, 2016.

Abstract | Links | BibTeX

2015

Pandolfo, L

STOLE: A reference ontology for historical research documents Conference

1485 , 2015.

Links | BibTeX

Chiappini, M; Pandolfo, L

New technologies and disability: Design of @-bility for educational software research [Nuove tecnologie e disabilità: progettazione di @-bility per la ricerca di software didattici] Journal Article

Mondo Digitale, 14 (58), pp. 34-43, 2015.

Links | BibTeX

Adorni, G; Maratea, M; Pandolfo, L; Pulina, L

An ontology for historical research documents Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9209 , pp. 11-18, 2015.

Links | BibTeX

Adorni, G; Maratea, M; Pandolfo, L; Pulina, L

An ontology-based archive for historical research Conference

1350 , 2015.

Links | BibTeX

Pulina, L; Mazzette, A; Pandolfo, L; Piga, E; Ruiu, M L; Tidore, C

Leveraging semantic web technologies for analysis of crime in social science Conference

1459 , 2015.

Links | BibTeX