José M. Fernandes

RTL test pattern generation for high quality loosely deterministic BIST

João Paulo Teixeira, Marcelino B. Santos, Isabel C. Teixeira, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

A probabilistic method for the computation of testability of RTL constructs

João Paulo Teixeira, Marcelino B. Santos, Arlindo L. Oliveira, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Probabilistic Testability Analysis and DFT Methods at RTL

João Paulo Teixeira, Marcelino B. Santos, Arlindo L. Oliveira, 2006, 2006 IEEE Design and Diagnostics of Electronic Circuits and systems.

DFT and Probabilistic Testability Analysis at RTL

Marcelino B. Santos, Arlindo L. Oliveira, José M. Fernandes, 2006, 2006 IEEE International High Level Design Validation and Test Workshop.

Scheduling batch systems using a token player algorithm

Stéphane Julia, Robert Valette, José M. Fernandes, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

Iterative Decentralized Planning for Collective Construction Tasks with Quadrotors

Cairo L. Nascimento, Sidney Givigi, Areolino de Almeida Neto, 2018, J. Intell. Robotic Syst..