An OO Based Methodology for Real-Time HW/SW Systems Modeling. - Octávio Páscoa Dias; Isabel C. Teixeira; João Paulo Teixeira 001; Carlos Eduardo Pereira (DIPES, 1998)

From system level to defect-oriented test: a case study. - Octávio Páscoa Dias; Jorge Semião; Marcelino B. Santos; Isabel Maria Cacho Teixeira; João Paulo Teixeira 001 (ETW, 1999)

Metrics and Criteria for Quality Assessment of Testable Hw/Sw Systems Architectures. - Octávio Páscoa Dias; Isabel C. Teixeira; João Paulo Teixeira 001 (J. Electron. Test., 1999)

Optimizing Functional distribution in Complex System Design. - Octávio Páscoa Dias; Isabel C. Teixeira; João Paulo Teixeira 001; Leandro Buss Becker; Carlos Eduardo Pereira (DIPES, 2000)

MOSYS A Methodology for Automatic Object Identification from System Specification. - Leandro Buss Becker; Carlos Eduardo Pereira; Octávio Páscoa Dias; Isabel C. Teixeira; João Paulo Teixeira 001 (ISORC, 2000)

Quality of Electronic Design: From Architectural Level to Test Coverage. - Octávio Páscoa Dias; Jorge Semião; Marcelino B. Santos; Isabel C. Teixeira; João Paulo Teixeira 001 (ISQED, 2000)

Embedded tutorial: TRP: integrating embedded test and ATE. - Yervant Zorian; Paolo Prinetto; João Paulo Teixeira 001; Isabel C. Teixeira; Carlos Eduardo Pereira; Octávio Páscoa Dias; Jorge Semião; Peter Muhmenthaler; W. Radermacher (DATE, 2001)

Hardware/software solution for the automation and real-time control of a wine bottling production line. - Rui Ribeiro; Octávio Páscoa Dias; João Paulo Teixeira 001; Isabel C. Teixeira (ETFA (1), 2003)

EDBI - An E-Learning Based Project to Improve Engineering Teaching. - Carlos Pais; V. Fernão Pires; Rui Amaral; João F. A. Martins; Carlos Luz; Octávio Páscoa Dias (VIRTUAL-LAB, 2004)

Identification of Hand Movements based on MMG and EMG Signals. - Pawel Prociow; Andrzej Wolczowski; Tito G. B. Amaral; Octávio Páscoa Dias; Joaquim Filipe (BIOSIGNALS (2), 2008)

Hand movement recognition based on biosignal analysis. - Pawel Wojtczak; Tito G. B. Amaral; Octávio Páscoa Dias; Andrzej Wolczowski; Marek Kurzynski (Eng. Appl. Artif. Intell., 2009)

A Remote Laboratory Environment for Manipulative Therapy Learning. - Octávio Páscoa Dias; Tito Gerardo Batoreo Amaral; Vitor Fernão Pires (Int. J. Online Eng., 2009)

An Analog Electronics Mobile Course with a Competitive Learning Approach. - Rui Neves Madeira; Vitor F. Pires; Octávio Páscoa Dias; João F. A. Martins (Int. J. Interact. Mob. Technol., 2010)

Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. - José-Inácio Rocha; Luís Gomes 001; Octávio Páscoa Dias (IECON, 2012)

Exploiting dataflows and Petri nets mappings. - José-Inácio Rocha; Octávio Páscoa Dias; Luís Gomes 001 (INDIN, 2013)

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 001 (DoCEIS, 2014)

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 001 (J. Signal Process. Syst., 2015)

Semi-formal method design using synchronous dataflows and Petri nets. - José-Inácio Rocha; Octávio Páscoa Dias; Luís Gomes 001 (IECON, 2016)