José-Inácio Rocha
José-Inácio Rocha
Escola Superior de Tecnologia de Setúbal
Verified email at estsetubal.ips.pt
TitleCited byYear
The development of a robotic system for maintenance and inspection of power lines
J Rocha, J Sequeira
power 3 (2), 3, 2004
252004
Dataflow model property verification using Petri net translation techniques
JI Rocha, L Gomes, OP Dias
2011 9th IEEE International Conference on Industrial Informatics, 783-788, 2011
92011
NEW APPROACHES FOR SURVEILLANCE TASKS⋆
J Rocha, J Sequeira
power 3 (2), 3, 2004
92004
Implementation of a low cost data acquisition board for photovoltaic arrays analysis and diagnostic
VFPJIR Sérgio Sousa
ICRERA 2013 - The International Conference on Renewable Energy Research and …, 2013
8*2013
Analysing storage resources on synchronous dataflows using Petri net verification techniques
JI Rocha, L Gomes, OP Dias
IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society …, 2012
52012
Petri Net Verification Techniques on Synchronous Dataflow Models
José-Inácio Rocha, Luis Gomes, Octávio Dias
IECON2012, 37th Annual Conference of the IEEE Industrial Electronics Society, 2011
52011
Exploiting dataflows and Petri nets mappings
JI Rocha, OP Dias, L Gomes
2013 11th IEEE International Conference on Industrial Informatics (INDIN …, 2013
32013
Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”
JI Rocha, OP Dias, L Gomes
Journal of Signal Processing Systems 81 (1), 129-133, 2015
22015
Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows
JI Rocha, OP Dias, L Gomes
Doctoral Conference on Computing, Electrical and Industrial Systems, 237-248, 2014
12014
Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings
JI Rocha, O Páscoa Dias, L Gomes
Electronics 7 (12), 448, 2018
2018
Semi-formal method design using synchronous dataflows and Petri nets
JI Rocha, OP Dias, L Gomes
IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society …, 2016
2016
Automatic Tool for High Level Hw/Sw Co-Design
J. Rocha, O.P. Dias, I.M.Teixeira, J.P. Teixeira
DCIS 2007, XXII Conference on Design of Circuits and Integrated Systems, 2007
2007
The system can't perform the operation now. Try again later.
Articles 1–12