Scheduling batch systems using a token player algorithm. - Stéphane Julia; Robert Valette; José M. Fernandes (SMC, 1998)

RTL Test Pattern Generation for High Quality Loosely Deterministic BIST. - Marcelino B. Santos; José M. Fernandes; Isabel C. Teixeira; João Paulo Teixeira 001 (DATE, 2003)

A Probabilistic Method for the Computation of Testability of RTL Constructs. - José M. Fernandes; Marcelino B. Santos; Arlindo L. Oliveira; João Paulo Teixeira 001 (DATE, 2004)

Probabilistic Testability Analysis and DFT Methods at RTL. - José M. Fernandes; Marcelino B. Santos; Arlindo L. Oliveira; João Paulo Teixeira 001 (DDECS, 2006)

DFT and Probabilistic Testability Analysis at RTL. - José M. Fernandes; Marcelino B. Santos; Arlindo L. Oliveira; João Paulo Cacho Teixeira (HLDVT, 2006)

Iterative Decentralized Planning for Collective Construction Tasks with Quadrotors. - Sergio Ronaldo Barros dos Santos; Sidney Givigi; Cairo L. Nascimento Jr.; José M. Fernandes; Luciano Buonocore; Areolino de Almeida Neto (J. Intell. Robotic Syst., 2018)