The fault-tolerant architecture of the safe system. - Henrique Madeira; Boavida Fernandes; Mário Zenha Rela; João Gabriel Silva (Microprocessing and Microprogramming, 1989)

Experimental evaluation of a set of simple error detection mechanisms. - Henrique Madeira; Gonçalo Quadros; João Gabriel Silva (Microprocessing and Microprogramming, 1990)

A watchdog processor for concurrent error detection in multiple processor systems. - Henrique Madeira; José Camões; João Gabriel Silva (Microprocess. Microsystems, 1991)

Clobal Checkpointing for Distributed Programs. - Luís Moura Silva; João Gabriel Silva (SRDS, 1992)

DIP : Distributed Diagnosis Protocol. - Luís Moura Silva; João Gabriel Silva (Microprocess. Microprogramming, 1993)

RIFLE: A General Purpose Pin-level Fault Injector. - Henrique Madeira; Mário Zenha Rela; Francisco Moreira 001; João Gabriel Silva (EDCC, 1994)

A Fault-Tolerant Mechanism for Simple Controllers. - João Gabriel Silva; Luís Moura Silva; Henrique Madeira; Jorge Bernardino (EDCC, 1994)

Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error Masking. - Henrique Madeira; João Gabriel Silva (FTCS, 1994)

The FTMPS-Project: Design and Implementation of Fault-Tolerance Techniques for Massively Parallel Systems. - Johan Vounckx; Geert Deconinck; Rudy Lauwereins; G. Viehöver; R. Wagner; Henrique Madeira; João Gabriel Silva; Frank Balbach; Jörn Altmann; Bernd Bieker; Harald Willeke (HPCN, 1994)

The Helios Tuple Space Library. - Luís Moura Silva; Bart Veer; João Gabriel Silva (PDP, 1994)

WPVM: parallel computing for the people. - Alexandre Alves; Luís Moura Silva; João Carreira; João Gabriel Silva (HPCN Europe, 1995)

Portable Checkpointing and Recovery. - Luís Moura Silva; João Gabriel Silva; Simon Chapple; Lyndon Clarke (HPDC, 1995)

Fault-tolerance on regular decomposition grid applications. - Luís Moura Silva; João Gabriel Silva; Simon Chapple; Lyndon Clarke (PDP, 1995)

Experimental Evaluation of the Impact of Processor Faults on Parallel Applications. - Diamantino Costa; Francisco Moreira 001; Henrique Madeira; Mário Zenha Rela; João Gabriel Silva (SRDS, 1995)

DELFIM: Error Detection by Thin Memory Protection. - João Carlos Cunha; João Gabriel Silva (EUROMICRO, 1996)

Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks. - Mário Zenha Rela; Henrique Madeira; João Gabriel Silva (FTCS, 1996)

Experimental Assessment of Parallel Systems. - João Gabriel Silva; João Carreira; Henrique Madeira; Diamantino Costa; Francisco Moreira 001 (FTCS, 1996)

Portable Transparent Checkpointing for Distributed Shared Memory. - Luís Moura Silva; João Gabriel Silva; Simon Chapple (HPDC, 1996)

Implementing Distributed Shared Memory on Top of MPI: The DSMPI Library. - Luís Moura Silva; João Gabriel Silva; Simon Chapple (PDP, 1996)

On the nature of deadlines. - Antonio Pessoa Magalhães; Mário Zenha Rela; João Gabriel Silva (Microprocess. Microsystems, 1996)

Implementing Tuple Space with Threads. - João Carreira; João Gabriel Silva; Koen Langendoen; Henri E. Bal (Euro-PDS, 1997)

WINPAR - Windows-based Parallel Computing. - Andreas Bäcker; Dino Ahr; Ottmar Krämer-Fuhrmann; Róbert Lovas; Hermann Mierendorff; Helmut Schwamborn; João Gabriel Silva; Klaus Wolf (PARCO, 1997)

Web-based Metacomputing with JET. - Hernâni Pedroso; Luís Moura Silva; João Gabriel Silva (Concurr. Pract. Exp., 1997)

Implementation and Performance of DSMPI. - Luís Moura Silva; João Gabriel Silva; Simon Chapple (Sci. Program., 1997)

Checkpointing Distributed Shared Memory. - Luís Moura Silva; João Gabriel Silva (J. Supercomput., 1997)

An Experimental Study about Diskless Checkpointing. - Luís Moura Silva; João Gabriel Silva (EUROMICRO, 1998)

Practical Issues in the Use of ABFT and a New Failure Model. - João Gabriel Silva; Paula Prata; Mário Zenha Rela; Henrique Madeira (FTCS, 1998)

Avoiding Checkpoint Contamination in Parallel Systems. - Luís Moura Silva; João Gabriel Silva (FTCS, 1998)

Merging Web-Based with Cluster-Based Computing. - Luís Moura Silva; Paulo Martins 001; João Gabriel Silva (ISCOPE, 1998)

WMPI - Message Passing Interface for Win32 Clusters. - José Marinho 001; João Gabriel Silva (PVM/MPI, 1998)

A Java Interface for WMPI. - Paulo Martins 001; Luís Moura Silva; João Gabriel Silva (PVM/MPI, 1998)

System-Level Versus User-Defined Checkpointing. - Luís Moura Silva; João Gabriel Silva (SRDS, 1998)

Computer Science and the Pygmalion Effect. - João Carreira; João Gabriel Silva (Computer, 1998)

JWarp: A Java Library for Parallel Discrete-Event Simulations. - Pedro Bizarro; Luís Moura Silva; João Gabriel Silva (Concurr. Pract. Exp., 1998)

Using two-level stable storge for efficient checkpointing. - Luís Moura Silva; João Gabriel Silva (IEE Proc. Softw., 1998)

Fehlerinjektion - ein Mittel zur Bewertung der Maßnahmen gegen Fehler in komplexen Rechensystemen. - Klaus Echtle; João Gabriel Silva (Inform. Spektrum, 1998)

Why do some (weird) people inject faults? - João Carreira; João Gabriel Silva (ACM SIGSOFT Softw. Eng. Notes, 1998)

Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. - João Carreira; Henrique Madeira; João Gabriel Silva (IEEE Trans. Software Eng., 1998)

Can Software Implemented Fault-Injection Be Used on Real-Time Systems?. - João Carlos Cunha; Mário Zenha Rela; João Gabriel Silva (EDCC, 1999)

Fault-Detection by Result-Checking for the Eigenproblem. - Paula Prata; João Gabriel Silva (EDCC, 1999)

An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine. - Luís Moura Silva; João Gabriel Silva (EDCC, 1999)

Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations. - Paula Prata; João Gabriel Silva (FTCS, 1999)

Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery. - Luís Moura Silva; João Gabriel Silva (HICSS, 1999)

The Performance of Coordinated and Independent Checkpointing. - Luís Moura Silva; João Gabriel Silva (IPPS/SPDP, 1999)

Establishing a Secure Open-Environment for Using Mobile Agents in Electronic Commerce. - Paulo Marques; Luís Moura Silva; João Gabriel Silva (ASA/MA, 1999)

Implementing MPI's One-Sided Communications for WMPI. - Fernando Elson Mourão; João Gabriel Silva (PVM/MPI, 1999)

Implementing MPI-2 Extended Collective Operations. - Pedro V. Silva; João Gabriel Silva (PVM/MPI, 1999)

Security Mechanisms for using Mobile Agents in Electronic Commerce. - Paulo Marques; Luís Moura Silva; João Gabriel Silva (SRDS, 1999)

Stabilizing Pre-Run-Time Schedules With the Help of Grace Time. - Antonio Pessoa Magalhães; João Gabriel Silva (Real Time Syst., 1999)

A Flexible Mobile-Agent Framework for Accessing Information Systems in Disconnected Computing Environments. - Paulo Marques; Luís Moura Silva; João Gabriel Silva (DEXA Workshop, 2000)

Fault-Tolerant Execution of Mobile Agents. - Luís Moura Silva; Victor Batista; João Gabriel Silva (DSN, 2000)

The WMPI Library Evolution: Experience with MPI Development for Windows Environments. - Hernâni Pedroso; João Gabriel Silva (Euro-Par, 2000)

An Architecture for Using Multiple Communication Devices in a MPI Library. - Hernâni Pedroso; João Gabriel Silva (HPCN Europe, 2000)

MPI-2 Process Creation & Management Implementation for NT Clusters. - Hernâni Pedroso; João Gabriel Silva (PVM/MPI, 2000)

Distributed Checkpointing Mechanism for a Parallel File System. - Vítor N. Távora; Luís Moura Silva; João Gabriel Silva (PVM/MPI, 2000)

Heterogeneous parallel computing using Java and WMPI. - Luís Moura Silva; Paulo Martins 001; João Gabriel Silva (Concurr. Pract. Exp., 2000)

Integrating Mobile Agents into Off-the-Shelf Web Servers: the M&M approach. - Paulo Marques; Raul Fonseca; Paulo Simões 001; Luís Moura Silva; João Gabriel Silva (DEXA Workshop, 2001)

A Study of Failure Models in Feedback Control Systems. - João Carlos Cunha; Ricardo Maia; Mário Zenha Rela; João Gabriel Silva (DSN, 2001)

Towards Manageable Mobile Agent Infrastructures. - Paulo Simões 001; Paulo Marques; Luís Moura Silva; João Gabriel Silva; Fernando Boavida (ICN (2), 2001)

The Implementation of One-Sided Communications for WMPI II. - Tiago R. Baptista; Hernâni Pedroso; João Gabriel Silva (PVM/MPI, 2001)

Reset-Driven Fault Tolerance. - João Carlos Cunha; António Correia; Jorge Henriques; Mário Zenha Rela; João Gabriel Silva (EDCC, 2002)

Supporting Disconnected Computing in Mobile Agent Systems. - Paulo Marques; P. S. Santos; Luís Moura Silva; João Gabriel Silva (IASTED PDCS, 2002)

A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure. - Paulo Marques; Raul Fonseca; Paulo Simões 001; Luís Moura Silva; João Gabriel Silva (SAINT, 2002)

M&M's: Building Binary Software Components for Supporting Mobile-Agent Enabled Applications. - Paulo Marques; Luís Moura Silva; João Gabriel Silva (Auton. Agents Multi Agent Syst., 2002)

Plug and Play Fault Injector for Dependability Benchmarking. - Pedro Costa 002; Marco Vieira; Henrique Madeira; João Gabriel Silva (LADC, 2003)

Dependability Benchmarks: Can We Rely on Them? - João Gabriel Silva (LADC, 2003)

DRMonitor - A Distributed Resource Monitoring System. - Patrício Domingues; Luís Moura Silva; João Gabriel Silva (PDP, 2003)

MPI Farm Programs on Non-dedicated Clusters. - Nuno Fonseca; João Gabriel Silva (PVM/MPI, 2003)

The Architecture and Performance of WMPI II. - Anders Lyhne Christensen; João Brito; João Gabriel Silva (PVM/MPI, 2004)

Topic 6 - Grid and Cluster Computing: Models, Middleware and Architectures. - Craig A. Lee; Thilo Kielmann; Laurent Lefèvre; João Gabriel Silva (Euro-Par, 2005)

Reuse of Existing Software in Space Projects - Proposed Approach and Extensions to Product Assurance and Software Engineering Standards. - Manuel Rodríguez; João Gabriel Silva; Patricia Rodríguez-Dapena; Han van Loon; Fernando Aldea-Montero (ICCBSS, 2005)

Robust Assertions and Fail-Bounded Behavior. - Paula Prata; Mário Zenha Rela; Henrique Madeira; João Gabriel Silva (J. Braz. Comput. Soc., 2005)

Sharing Checkpoints to Improve Turnaround Time in Desktop Grid. - Patrício Domingues; João Gabriel Silva; Luís Moura Silva (AINA (1), 2006)

Software Aging and Rejuvenation in a SOAP-based Server. - Luís Moura Silva; Henrique Madeira; João Gabriel Silva (NCA, 2006)

Failure Boundedness in Discrete Applications. - João Muranho; Paula Prata; Mário Zenha Rela; João Gabriel Silva (LADC, 2007)

Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads. - Pedro Costa 002; João Gabriel Silva; Henrique Madeira (PRDC, 2009)

Practical and representative faultloads for large-scale software systems. - Pedro Costa 002; João Gabriel Silva; Henrique Madeira (J. Syst. Softw., 2015)

Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development. - J. Eduardo Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar (CoRR, 2023)

Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities. - J. Eduardo Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar (IEEE Access, 2024)

Scrum4DO178C: An Agile Process to Enhance Aerospace Software Development for DO-178C Compliance - A Case Study at Criticality Level A. - J. Eduardo Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar (IEEE Access, 2025)

From Waterfallish Aerospace Certification onto Agile Certifiable Iterations. - J. Eduardo Ferreira Ribeiro; Mário Zenha Rela; João Gabriel Silva (CoRR, 2025)