Francesco Robino

According to our database1, Francesco Robino authored at least 7 papers between 2012 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
VrFy: Verification of Formal Requirements using Generic Traces.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2015
A formal, model-driven design flow for system simulation and multi-core implementation.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
Validation of Pipelined Double-precision Floating Point operations in a multi-core environment implemented on FPGA using the ForSyDe/NoC system generator tool suite.
Proceedings of the 2014 NORCHIP, Tampere, Finland, October 27-28, 2014, 2014

From Simulink to NoC-based MPSoC on FPGA.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
The HeartBeat model: A platform abstraction enabling fast prototyping of real-time applications on NoC-based MPSoC on FPGA.
Proceedings of the 2013 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2013

2012
Artificial neural network emulation on NOC based multi-core FPGA platform.
Proceedings of the NORCHIP 2012, Copenhagen, Denmark, November 12-13, 2012, 2012


  Loading...