José-Inácio Rocha

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

High Level Petri Nets

Manufacturing Systems

Top Venues

J. Signal Process. Syst.

Publications

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
Semi-formal method design using synchronous dataflows and Petri nets. IECON (2016)
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
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. J. Signal Process. Syst. 81 (1) (2015)
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows. DoCEIS (2014)
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
Exploiting dataflows and Petri nets mappings. INDIN (2013)
José-Inácio Rocha, Luís Gomes, Octávio Páscoa Dias
Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. IECON (2012)