Octávio Páscoa Dias

Publication Activity (10 Years)

Years Active: 1998-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)
Rui Neves Madeira, Vitor F. Pires, Octávio Páscoa Dias, João F. Martins
An Analog Electronics Mobile Course with a Competitive Learning Approach. Int. J. Interact. Mob. Technol. 4 (4) (2010)
Pawel Wojtczak, Tito G. B. Amaral, Octávio Páscoa Dias, Andrzej Wolczowski, Marek Kurzynski
Hand movement recognition based on biosignal analysis. Eng. Appl. Artif. Intell. 22 (4-5) (2009)
Octávio Páscoa Dias, Tito Gerardo Batoreo Amaral, Vitor Fernão Pires
A Remote Laboratory Environment for Manipulative Therapy Learning. Int. J. Online Eng. 5 (2) (2009)
Pawel Prociow, Andrzej Wolczowski, Tito G. B. Amaral, Octávio Páscoa Dias, Joaquim Filipe
Identification of Hand Movements based on MMG and EMG Signals. BIOSIGNALS (2) (2008)
Carlos Pais, V. Fernão Pires, Rui Amaral, João F. Martins, Carlos Luz, Octávio Páscoa Dias
EDBI - An E-Learning Based Project to Improve Engineering Teaching. VIRTUAL-LAB (2004)
Rui Ribeiro, Octávio Páscoa Dias, João Paulo Teixeira, Isabel C. Teixeira
Hardware/software solution for the automation and real-time control of a wine bottling production line. ETFA (1) (2003)
Yervant Zorian, Paolo Prinetto, João Paulo Teixeira, Isabel C. Teixeira, Carlos Eduardo Pereira, Octávio Páscoa Dias, Jorge Semião, Peter Muhmenthaler, W. Radermacher
Embedded tutorial: TRP: integrating embedded test and ATE. DATE (2001)
Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Leandro Buss Becker, Carlos Eduardo Pereira
Optimizing Functional distribution in Complex System Design. DIPES (2000)
Octávio Páscoa Dias, Jorge Semião, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira
Quality of Electronic Design: From Architectural Level to Test Coverage. ISQED (2000)
Leandro Buss Becker, Carlos Eduardo Pereira, Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira
MOSYS A Methodology for Automatic Object Identification from System Specification. ISORC (2000)
Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira
Metrics and Criteria for Quality Assessment of Testable Hw/Sw Systems Architectures. J. Electron. Test. 14 (1-2) (1999)
Octávio Páscoa Dias, Jorge Semião, Marcelino B. Santos, Isabel Maria Cacho Teixeira, João Paulo Teixeira
From system level to defect-oriented test: a case study. ETW (1999)
Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Carlos Eduardo Pereira
An OO Based Methodology for Real-Time HW/SW Systems Modeling. DIPES (1998)