Publications

158 entries « 1 of 4 »

2019

Pulina, L; Seidl, M

The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) Journal Article

Artificial Intelligence, 274 , pp. 224-248, 2019.

Links | BibTeX

Narizzano, M; Pulina, L; Tacchella, A; Vuotto, S

Property specification patterns at work: verification and inconsistency explanation Journal Article

Innovations in Systems and Software Engineering, 15 (3-4), pp. 307-323, 2019.

Links | BibTeX

Vuotto, S; Narizzano, M; Pulina, L; Tacchella, A

Automata based test generation with SpecPro Conference

Institute of Electrical and Electronics Engineers Inc., 2019.

Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Pulina, L; Raffo, L; Masin, M; Shindin, E; Rojas, P S D; Desnos, K; Pelcat, M; Rodríguez, A; Juárez, E; Regazzoni, F; Meloni, G; Zedda, K; Myrhaug, H; Kaliciak, L; Andriaanse, J; Filho, J O; Munõz, P; Toffetti, A

CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments Conference

Association for Computing Machinery, Inc, 2019.

Links | BibTeX

Vuotto, S; Narizzano, M; Pulina, L; Tacchella, A

Poster: Automatic consistency checking of requirements with ReqV Conference

Institute of Electrical and Electronics Engineers Inc., 2019.

Links | BibTeX

Pulina, L

Preface Conference

2457 , CEUR-WS, 2019.

Links | BibTeX

Pandolfo, L; Pulina, L; Zieliński, M

Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America Journal Article

Communications in Computer and Information Science, 988 , pp. 107-121, 2019.

Links | BibTeX

Guidotti, D; Leofante, F; Pulina, L; Tacchella, A

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11946 LNAI , pp. 405-417, 2019.

Links | BibTeX

Bit-Monnot, A; Leofante, F; Pulina, L; Tacchella, A

SMT-based planning for robots in smart factories Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11606 LNAI , pp. 674-686, 2019.

Links | BibTeX

Amendola, G; Dodaro, C; Faber, W; Pulina, L; Ricca, F

Algorithm Selection for Paracoherent Answer Set Computation Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11468 LNAI , pp. 479-489, 2019.

Links | BibTeX

Vuotto, S

Automata-based generation of test cases for reactive systems Conference

2457 , CEUR-WS, 2019.

Links | BibTeX

Ferreira, J C; Palumbo, F

Preface to the Special Issue on Methods, Tools, and Architectures for Signal and Image Processing Journal Article

Journal of Signal Processing Systems, 91 (7), pp. 701-702, 2019.

Links | BibTeX

Palumbo, F

Message from the General Chairs Conference

Association for Computing Machinery, Inc, 2019.

Links | BibTeX

Nasser, Y; Sau, C; Prévotet, J -C; Fanni, T; Palumbo, F; Hélard, M; Raffo, L

Neu Pow: Artificial Neural Networks for Power and Behavioral Modeling of Arithmetic Components in 45nm ASICs Technology Conference

Association for Computing Machinery, Inc, 2019.

Links | BibTeX

Al-Ars, Z; Basten, T; Beer, A; Geilen, M; Goswami, D; Jaäskelaïnen, P; Kadlec, J; Alejandro, M M; Palumbo, F; Peeren, G; Pomante, L; Linden, F V; Saarinen, J; Säntti, T; Sau, C; Zedda, M K

The FitOptiVis ECSEL Project: Highly Efficient Distributed Embedded Image/Video Processing in Cyber-Physical Systems Invited Pape Conference

Association for Computing Machinery, Inc, 2019.

Links | BibTeX

Meloni, P; Loi, D; Busia, P; Deriu, G; Pimentel, A D; Sapra, D; Stefanov, T; Minakova, S; Conti, F; Benini, L; Pintor, M; Biggio, B; Moser, B; Shepelev, N; Fragoulis, N; Theodorakopoulos, I; Masin, M; Palumbo, F

Optimization and deployment of CNNs at the Edge: The ALOHA experience Conference

Association for Computing Machinery, Inc, 2019.

Links | BibTeX

Palumbo, F; Becchi, M

Editorial: Special Issue on Computing Frontiers Journal Article

Journal of Signal Processing Systems, 91 (3-4), pp. 273, 2019.

Links | BibTeX

Fanni, T; Rodriguez, A; Sau, C; Suriano, L; Palumbo, F; Raffo, L; Torre, E D L

Multi-grain reconfiguration for advanced adaptivity in cyber-physical systems Conference

Institute of Electrical and Electronics Engineers Inc., 2019.

Links | BibTeX

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

An integrated hardware/software design methodology for signal processing systems Journal Article

Journal of Systems Architecture, 93 , pp. 1-19, 2019.

Links | BibTeX

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

Challenging CPS trade-off adaptivity with coarse-grained reconfiguration Journal Article

Lecture Notes in Electrical Engineering, 512 , pp. 57-63, 2019.

Links | BibTeX

Fanni, L; Suriano, L; Rubattu, C; de Rojas, P S; de la Torre, E; Palumbo, F

A dataflow implementation of inverse kinematics on reconfigurable heterogeneous MPSoC Conference

2457 , CEUR-WS, 2019.

Links | BibTeX

Masin, M; Palumbo, F; Adriaanse, J; Myrhaug, H; Regazzoni, F; Sanchez, M; Zedda, K

Elicitation of technical requirements in large research projects: The CERBERO approach Conference

Part F147772 , Association for Computing Machinery, 2019.

Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Rodríguez, A; Madroñal, D; Desnos, K; Morvan, A; Pelcat, M; Rubattu, C; Lazcano, R; Raffo, L; de la Torre, E; Juárez, E; Sanz, C; de Rojas, Sánchez P

Hardware/Software self-adaptation in CPS: The CERBERO project approach Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11733 LNCS , pp. 416-428, 2019.

Links | BibTeX

Payvar, S; Boutellier, J; Rubattu, C; Pelcat, M; Morvan, A

Extending architecture modeling for signal processing towards GPUs Conference

2019-September , European Signal Processing Conference, EUSIPCO, 2019.

Links | BibTeX

Madronã, D; Fanni, T

POSTER: Run-Time Performance Monitoring of Hardware Accelerators Conference

Association for Computing Machinery, Inc, 2019.

Links | BibTeX

Pulina, M; Santoni, V

Hotel online pricing policy: A review and a regional case study [Política online de precios del sector hotelero: Una revisión y un caso de estudio regional] Journal Article

Investigaciones Regionales, 2019 (42), pp. 93-111, 2019.

Links | BibTeX

2018

Giunchiglia, E; Maratea, M; Pulina, L

Translation-based approaches for solving disjunctive temporal problems with preferences Journal Article

Constraints, 23 (4), pp. 383-402, 2018.

Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

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

Applied Intelligence, 48 (4), pp. 886-908, 2018.

Links | BibTeX

Pandolfo, L; Pulina, L; Grosso, E

A user model ontology for adaptive systems in cultural tourism domain Journal Article

Frontiers in Artificial Intelligence and Applications, 310 , pp. 212-219, 2018.

Links | BibTeX

Pandolfo, L; Pulina, L; Zielinski, M

ARKIVO: An ontology for describing archival resources Conference

2214 , CEUR-WS, 2018.

Links | BibTeX

Khellat-Kihel, S; Pandolfo, L; Pulina, L; Grosso, E

On leveraging facial emotion recognition techniques in personalized recommendations Journal Article

Frontiers in Artificial Intelligence and Applications, 310 , pp. 220-230, 2018.

Links | BibTeX

Palumbo, F; Pilato, C; Pulina, L; Sau, C

Preface Conference

2208 , CEUR-WS, 2018.

Links | BibTeX

Narizzano, M; Pulina, L; Tacchella, A; Vuotto, S

Consistency of property specification patterns with boolean and constrained numerical signals Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10811 LNCS , pp. 383-398, 2018.

Links | BibTeX

Korneev, S; Narodytska, N; Pulina, L; Tacchella, A; Bjorner, N; Sagiv, M

Constrained image generation using binarized neural networks with decision procedures Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10929 LNCS , pp. 438-449, 2018.

Links | BibTeX

Vuotto, S

Requirements-driven design of cyber-physical systems Conference

2208 , CEUR-WS, 2018.

Links | BibTeX

Desnos, K; Palumbo, F

Dataflow modeling for reconfigurable signal processing systems Book

Springer International Publishing, 2018.

Links | BibTeX

Meloni, P; Loi, D; Deriu, G; Ripolles, O; Solans, D; Pimentel, A D; Sapra, D; Pintor, M; Biggio, B; Moser, B; Shepeleva, N; Stefanov, T; Minakova, S; Conti, F; Benini, L; Fragoulis, N; Theodorakopoulos, I; Masin, M; Palumbo, F

ALOHA: An architectural-aware framework for deep learning at the edge Conference

Association for Computing Machinery, 2018.

Links | BibTeX

Meloni, P; Loi, D; Deriu, G; Pimentel, A D; Saprat, D; Pintort, M; Biggio, B; Ripolles, O; Solans, D; Conti, F; Benini, L; Stefanov, T; Minakova, S; Moser, B; Shepeleva, N; Masin, M; Palumbo, F; Fragoulis, N; Theodorakopoulos, I

Architecture-aware design and implementation of CNN algorithms for embedded inference: The ALOHA project Conference

2018-December , Institute of Electrical and Electronics Engineers Inc., 2018.

Links | BibTeX

Rubattu, C; Palumbo, F; Pelcat, M

Adaptive software-augmented hardware reconfiguration with dataflow design automation Conference

2018-January , Institute of Electrical and Electronics Engineers Inc., 2018.

Links | BibTeX

Palumbo, F; Pilato, C; Pulina, L; Sau, C

Preface Conference

2208 , CEUR-WS, 2018.

Links | BibTeX

Rubattu, C; Palumbo, F; Sau, C; Salvador, R; Serot, J; Desnos, K; Raffo, L; Pelcat, M

Dataflow-Functional High-Level Synthesis for Coarse-Grained Reconfigurable Accelerators Journal Article

IEEE Embedded Systems Letters, 2018.

Links | BibTeX

Rubattu, C

Dataflow-based adaptation framework with coarse-grained reconfigurable accelerators Conference

2208 , CEUR-WS, 2018.

Links | BibTeX

Rodriguez, A; Fanni, T

DEMO: Multi-Grain Adaptivity in Cyber-Physical Systems Conference

2018-December , Institute of Electrical and Electronics Engineers Inc., 2018.

Links | BibTeX

Fanni, T

Optimal implementation of power saving techniques in CGR systems Conference

2208 , CEUR-WS, 2018.

Links | BibTeX

Pulina, M; Santoni, V

A two-stage DEA approach to analyse the efficiency of the hospitality sector Journal Article

Tourism Economics, 24 (3), pp. 352-365, 2018.

Links | BibTeX

Pulina, M; Santoni, V

Hotel online pricing policy: A review and a regional case study [Política online de precios del sector hotelero: Una revisión y un caso de estudio regional] Journal Article

Investigaciones Regionales, 2018 (42), pp. 93-111, 2018.

Links | BibTeX

2017

Pulina, L; Tacchella, A

More adaptive does not imply less safe (with formal verification) Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10629 LNCS , pp. 237-240, 2017.

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.

Links | BibTeX

Pandolfo, L; Pulina, L; Zieliński, M

Towards an ontology for describing archival resources Conference

2014 , CEUR-WS, 2017.

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.

Links | BibTeX

158 entries « 1 of 4 »