Francesco Bruschi

Francesco Lorenzo Pallotta

Riccardo Mencucci

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

Decentralized Updates of IoT and Edge Devices.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2024

2023

A Decentralized Approach to Award Game Achievements.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

2022

A new approach for Bitcoin pool-hopping detection.

[BibT_eX]

[DOI]

Comput. Networks, 2022

A Protocol for On-Chain Tenders.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022

2021

Tunneling Trust Into the Blockchain: A Merkle Based Proof System for Structured Documents.

[BibT_eX]

[DOI]

IEEE Access, 2021

A privacy preserving identification protocol for smart contracts.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communications, 2021

2020

Acknowledging Value of Personal Information: a Privacy Aware Data Market for Health and Social Research.

[BibT_eX]

[DOI]

Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC 2020, 2020

A Decentralized System for Fair Token Distribution and Seamless Users Onboarding.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communications, 2020

2018

Mine with it or sell it: the superhashing power dilemma.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2018

2017

User context estimation for public travel assistance and intelligent service scheduling.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Time of arrival cumulative probability in public transportation travel assistance.

[BibT_eX]

[DOI]

Alessio Pagani

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

2016

Efficient Hardware Design of Iterative Stencil Loops.

[BibT_eX]

[DOI]

Ivan Beretta

Alessandro Antonio Nacci

David Atienza

Marco Domenico Santambrogio

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Reconstruction of public transport state.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

2014

On How to Efficiently Implement Regular Expression Matching on FPGA-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

2013

An Algorithm for Extended Dynamic Range Video in Embedded Systems.

[BibT_eX]

Proceedings of the SENSORNETS 2013, 2013

A high-level synthesis flow for the implementation of iterative stencil loop algorithms on FPGA devices.

[BibT_eX]

[DOI]

Alessandro Antonio Nacci

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

High Speed Dynamic Partial Reconfiguration for Real Time Multimedia Signal Processing.

[BibT_eX]

[DOI]

Paolo Roberto Grassi

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

2011

On-chip network resource management design and validation.

[BibT_eX]

[DOI]

Antonio Miele

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

An efficient Quantum-Dot Cellular Automata adder.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Designing and validating access policies to reconfigurable resources in Multiprocessor Systems on chip.

[BibT_eX]

[DOI]

Fabio Arlati

Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, 2010

A Reconfigurable System Based on a Parallel and Pipelined Solution for Regular Expression Matching.

[BibT_eX]

[DOI]

Marco Paolieri

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

2009

A Transform-Parametric Approach to Boolean Matching.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

2008

Static Analysis of Transaction-Level Communication Models.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Design of Communication Infrastructures for Reconfigurable Systems.

[BibT_eX]

[DOI]

Alessandro Meroni

Proceedings of the Languages for Embedded Systems and their Applications, 2008

A Requirements-Driven Simulation Framework for Communication Infrastructures Design.

[BibT_eX]

[DOI]

Alessandro Meroni

Proceedings of the Forum on specification and Design Languages, 2008

An architecture for dynamically reconfigurable real time audio processing systems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

2007

An efficient cost-based canonical form for Boolean matching.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

A Unified Approach to Canonical Form-based Boolean Matching.

[BibT_eX]

[DOI]

Proceedings of the 44th Design Automation Conference, 2007

2006

A SystemC-based Framework of Communication Architecture.

[BibT_eX]

[DOI]

Fabrizio Ferrandi

Proceedings of the Forum on specification and Design Languages, 2006

Synthesis of Object Oriented Models on Reconfigurable Hardware.

[BibT_eX]

Proceedings of the 2006 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2006

2005

A Framework for the Functional Verification of SystemC Models.

[BibT_eX]

[DOI]

Fabrizio Ferrandi

Int. J. Parallel Program., 2005

Mapping Interface Method Calls over OCP Buses.

[BibT_eX]

[DOI]

Federico Moro

Proceedings of the Forum on specification and Design Languages, 2005

Aspect Orientation in System Level Design.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

A Data Oriented Approach to the Design of Reconfigurable Stream Decoders.

[BibT_eX]

[DOI]

Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005

2004

Methodological issues in the system level design of embedded systems.

[BibT_eX]

[DOI]

PhD thesis, 2004

Virtual Community in the Classroom: An Innovating Tool for Elearning.

[BibT_eX]

[DOI]

Proceedings of the EDUTECH, 2004

Synthesis of Dynamic Class Loading Specifications on Reconfigurable Hardware.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004

A Design Methodology for the Exploitation of High Level Communication Synthesis.

[BibT_eX]

[DOI]

Massimo Bombana

Proceedings of the 2004 Design, 2004

2003

Synthesis of Complex Control Structures from Behavioral SystemC Models.

[BibT_eX]

[DOI]

Fabrizio Ferrandi

Proceedings of the 2003 Design, 2003

SystemC-VHDL Co-Simulation and Synthesis in the HW Domain.

[BibT_eX]

[DOI]

Massimo Bombana

Proceedings of the 2003 Design, 2003

Static analysis of transaction-level models.

[BibT_eX]

[DOI]