Follow
José-Inácio Rocha
José-Inácio Rocha
Escola Superior de Tecnologia de Setúbal
Verified email at estsetubal.ips.pt
Title
Cited by
Cited by
Year
The development of a robotic system for maintenance and inspection of power lines
J Rocha, J Sequeira
power 3 (2), 3, 2004
282004
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
142011
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
13*2013
New approaches for surveillance tasks
J Rocha, J Sequeira
IFAC Proceedings Volumes 37 (8), 892-897, 2004
92004
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
62012
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
62011
Improving synchronous dataflow analysis supported by petri net mappings
JI Rocha, O Páscoa Dias, L Gomes
Electronics 7 (12), 448, 2018
52018
Exploiting dataflows and Petri nets mappings
JI Rocha, OP Dias, L Gomes
2013 11th IEEE International Conference on Industrial Informatics (INDIN …, 2013
42013
A fault diagnosis scheme based on the normalized indexes of the images eccentricity for a multilevel converter of a switched reluctance motor drive
TG Amaral, VF Pires, D Foito, A Cordeiro, JI Rocha, M Chaves, AJ Pires, ...
2022 11th International Conference on Renewable Energy Research and …, 2022
22022
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 …
JI Rocha, OP Dias, L Gomes
Journal of Signal Processing Systems 81, 129-133, 2015
22015
A Fault Detection and Diagnosis Method Based on the Currents Entropy Indexes for the SRM Drive with a Fault Tolerant Multilevel Converter
TG Amaral, VF Pires, D Foito, A Cordeiro, JI Rocha, M Chaves, AJ Pires, ...
IEEE Transactions on Industry Applications, 2023
12023
Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows
JI Rocha, O Páscoa Dias, L Gomes
Technological Innovation for Collective Awareness Systems: 5th IFIP WG 5.5 …, 2014
12014
Paper ID: 17-A Fault Diagnosis Scheme Based on the Normalized Indexes of the Images eccentricity for a Multilevel Converter of a Switched Reluctance Motor Drive
JI Rocha
Universidade Nova de Lisboa, 2023
2023
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–15