José-Inácio Rocha

According to our database, José-Inácio Rocha authored at least 5 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Semi-formal method design using synchronous dataflows and Petri nets.

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

Proceedings of the IECON 2016, 2016

2015

Comments on "Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks" - Comments on Paper from R. Govindarajan, Guang R. Gao and Palash Desai Published in Journal of VLSI Signal Processing, Volume n.31, pp 207-229, 2002.

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

J. Signal Process. Syst., 2015

2014

Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows.

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

2013

Exploiting dataflows and Petri nets mappings.

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012

Analysing storage resources on Synchronous Dataflows using Petri net verification techniques.

José-Inácio Rocha, Luís Gomes, Octávio Páscoa Dias

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012