Octvio Pscoa Dias
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1999–2016
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | IECON | Semi-formal method design using synchronous dataflows and Petri nets. | Jos-Incio Rocha, Octvio Pscoa Dias, Lus Gomes |
| 2013 | INDIN | Exploiting dataflows and Petri nets mappings. | Jos-Incio Rocha, Octvio Pscoa Dias, Lus Gomes |
| 2012 | IECON | Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. | Jos-Incio Rocha, Lus Gomes, Octvio Pscoa Dias |
| 2003 | ETFA | Hardware/software solution for the automation and real-time control of a wine bottling production line. | Rui Ribeiro, Octvio Pscoa Dias, Joo Paulo Teixeira, Isabel C. Teixeira |
| 2001 | DATE | Embedded tutorial: TRP: integrating embedded test and ATE. | Yervant Zorian, Paolo Prinetto, Joo Paulo Teixeira, Isabel C. Teixeira, Carlos Eduardo Pereira, Octvio Pscoa Dias, Jorge Semio, Peter Muhmenthaler, W. Radermacher |
| 2000 | ISORC | MOSYS A Methodology for Automatic Object Identification from System Specification. | Leandro Buss Becker, Carlos Eduardo Pereira, Octvio Pscoa Dias, Isabel C. Teixeira, Joo Paulo Teixeira |
| 1999 | ETS | From system level to defect-oriented test: a case study. | Octvio Pscoa Dias, Jorge Semio, Marcelino B. Santos, Isabel Maria Cacho Teixeira, Joo Paulo Teixeira |