João Gabriel Silva

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 2

Top Topics

Regulatory Requirements

Software Systems

Requirements Engineering

Software Development

Top Venues

J. Syst. Softw.

Publications

J. Eduardo Ferreira Ribeiro, João Gabriel Silva, Ademar Aguiar
Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities. IEEE Access 12 (2024)
J. Eduardo Ferreira Ribeiro, João Gabriel Silva, Ademar Aguiar
Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development. CoRR (2023)
Pedro Costa, João Gabriel Silva, Henrique Madeira
Practical and representative faultloads for large-scale software systems. J. Syst. Softw. 103 (2015)
Pedro Costa, João Gabriel Silva, Henrique Madeira
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads. PRDC (2009)
João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva
Failure Boundedness in Discrete Applications. LADC (2007)
Luís Moura Silva, Henrique Madeira, João Gabriel Silva
Software Aging and Rejuvenation in a SOAP-based Server. NCA (2006)
Patrício Domingues, João Gabriel Silva, Luís Moura Silva
Sharing Checkpoints to Improve Turnaround Time in Desktop Grid. AINA (1) (2006)
Paula Prata, Mário Zenha Rela, Henrique Madeira, João Gabriel Silva
Robust Assertions and Fail-Bounded Behavior. J. Braz. Comput. Soc. 10 (3) (2005)
Craig A. Lee, Thilo Kielmann, Laurent Lefèvre, João Gabriel Silva
Topic 6 - Grid and Cluster Computing: Models, Middleware and Architectures. Euro-Par (2005)
Manuel Rodríguez, João Gabriel Silva, Patricia Rodríguez-Dapena, Han van Loon, Fernando Aldea-Montero
Reuse of Existing Software in Space Projects - Proposed Approach and Extensions to Product Assurance and Software Engineering Standards. ICCBSS (2005)
Anders Lyhne Christensen, João Brito, João Gabriel Silva
The Architecture and Performance of WMPI II. PVM/MPI (2004)
Nuno Fonseca, João Gabriel Silva
MPI Farm Programs on Non-dedicated Clusters. PVM/MPI (2003)
João Gabriel Silva
Dependability Benchmarks: Can We Rely on Them? LADC (2003)
Pedro Costa, Marco Vieira, Henrique Madeira, João Gabriel Silva
Plug and Play Fault Injector for Dependability Benchmarking. LADC (2003)
Patrício Domingues, Luís Moura Silva, João Gabriel Silva
DRMonitor - A Distributed Resource Monitoring System. PDP (2003)
Paulo Marques, Raul Fonseca, Paulo Simões, Luís Moura Silva, João Gabriel Silva
A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure. SAINT (2002)
João Carlos Cunha, António Correia, Jorge Henriques, Mário Zenha Rela, João Gabriel Silva
Reset-Driven Fault Tolerance. EDCC (2002)
Paulo Marques, P. S. Santos, Luís Moura Silva, João Gabriel Silva
Supporting Disconnected Computing in Mobile Agent Systems. IASTED PDCS (2002)
Paulo Marques, Luís Moura Silva, João Gabriel Silva
M&M's: Building Binary Software Components for Supporting Mobile-Agent Enabled Applications. Auton. Agents Multi Agent Syst. 5 (1) (2002)
Tiago R. Baptista, Hernâni Pedroso, João Gabriel Silva
The Implementation of One-Sided Communications for WMPI II. PVM/MPI (2001)
Paulo Simões, Paulo Marques, Luís Moura Silva, João Gabriel Silva, Fernando Boavida
Towards Manageable Mobile Agent Infrastructures. ICN (2) (2001)
João Carlos Cunha, Ricardo Maia, Mário Zenha Rela, João Gabriel Silva
A Study of Failure Models in Feedback Control Systems. DSN (2001)
Paulo Marques, Raul Fonseca, Paulo Simões, Luís Moura Silva, João Gabriel Silva
Integrating Mobile Agents into Off-the-Shelf Web Servers: the M&M approach. DEXA Workshop (2001)
Luís Moura Silva, Paulo Martins, João Gabriel Silva
Heterogeneous parallel computing using Java and WMPI. Concurr. Pract. Exp. 12 (11) (2000)
Hernâni Pedroso, João Gabriel Silva
MPI-2 Process Creation & Management Implementation for NT Clusters. PVM/MPI (2000)
Paulo Marques, Luís Moura Silva, João Gabriel Silva
A Flexible Mobile-Agent Framework for Accessing Information Systems in Disconnected Computing Environments. DEXA Workshop (2000)
Hernâni Pedroso, João Gabriel Silva
The WMPI Library Evolution: Experience with MPI Development for Windows Environments. Euro-Par (2000)
Hernâni Pedroso, João Gabriel Silva
An Architecture for Using Multiple Communication Devices in a MPI Library. HPCN Europe (2000)
Vítor N. Távora, Luís Moura Silva, João Gabriel Silva
Distributed Checkpointing Mechanism for a Parallel File System. PVM/MPI (2000)
Luís Moura Silva, Victor Batista, João Gabriel Silva
Fault-Tolerant Execution of Mobile Agents. DSN (2000)
Paulo Marques, Luís Moura Silva, João Gabriel Silva
Establishing a Secure Open-Environment for Using Mobile Agents in Electronic Commerce. ASA/MA (1999)
Paula Prata, João Gabriel Silva
Fault-Detection by Result-Checking for the Eigenproblem. EDCC (1999)
Paulo Marques, Luís Moura Silva, João Gabriel Silva
Security Mechanisms for using Mobile Agents in Electronic Commerce. SRDS (1999)
Luís Moura Silva, João Gabriel Silva
Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery. HICSS (1999)
Luís Moura Silva, João Gabriel Silva
The Performance of Coordinated and Independent Checkpointing. IPPS/SPDP (1999)
Fernando Elson Mourão, João Gabriel Silva
Implementing MPI's One-Sided Communications for WMPI. PVM/MPI (1999)
João Carlos Cunha, Mário Zenha Rela, João Gabriel Silva
Can Software Implemented Fault-Injection Be Used on Real-Time Systems?. EDCC (1999)
Antonio Pessoa Magalhães, João Gabriel Silva
Stabilizing Pre-Run-Time Schedules With the Help of Grace Time. Real Time Syst. 17 (1) (1999)
Pedro V. Silva, João Gabriel Silva
Implementing MPI-2 Extended Collective Operations. PVM/MPI (1999)
Paula Prata, João Gabriel Silva
Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations. FTCS (1999)
Luís Moura Silva, João Gabriel Silva
An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine. EDCC (1999)
Luís Moura Silva, João Gabriel Silva
Using two-level stable storge for efficient checkpointing. IEE Proc. Softw. 145 (6) (1998)
Klaus Echtle, João Gabriel Silva
Fehlerinjektion - ein Mittel zur Bewertung der Maßnahmen gegen Fehler in komplexen Rechensystemen. Inform. Spektrum 21 (6) (1998)
João Carreira, Henrique Madeira, João Gabriel Silva
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Trans. Software Eng. 24 (2) (1998)
João Gabriel Silva, Paula Prata, Mário Zenha Rela, Henrique Madeira
Practical Issues in the Use of ABFT and a New Failure Model. FTCS (1998)
João Carreira, João Gabriel Silva
Why do some (weird) people inject faults? ACM SIGSOFT Softw. Eng. Notes 23 (1) (1998)
Luís Moura Silva, Paulo Martins, João Gabriel Silva
Merging Web-Based with Cluster-Based Computing. ISCOPE (1998)
Paulo Martins, Luís Moura Silva, João Gabriel Silva
A Java Interface for WMPI. PVM/MPI (1998)
Luís Moura Silva, João Gabriel Silva
System-Level Versus User-Defined Checkpointing. SRDS (1998)
Luís Moura Silva, João Gabriel Silva
Avoiding Checkpoint Contamination in Parallel Systems. FTCS (1998)
Pedro Bizarro, Luís Moura Silva, João Gabriel Silva
JWarp: A Java Library for Parallel Discrete-Event Simulations. Concurr. Pract. Exp. 10 (11-13) (1998)
José Marinho, João Gabriel Silva
WMPI - Message Passing Interface for Win32 Clusters. PVM/MPI (1998)
João Carreira, João Gabriel Silva
Computer Science and the Pygmalion Effect. Computer 31 (2) (1998)
Luís Moura Silva, João Gabriel Silva
An Experimental Study about Diskless Checkpointing. EUROMICRO (1998)
João Carreira, João Gabriel Silva, Koen Langendoen, Henri E. Bal
Implementing Tuple Space with Threads. Euro-PDS (1997)
Luís Moura Silva, João Gabriel Silva
Checkpointing Distributed Shared Memory. J. Supercomput. 11 (2) (1997)
Andreas Bäcker, Dino Ahr, Ottmar Krämer-Fuhrmann, Róbert Lovas, Hermann Mierendorff, Helmut Schwamborn, João Gabriel Silva, Klaus Wolf
WINPAR - Windows-based Parallel Computing. PARCO (1997)
Luís Moura Silva, João Gabriel Silva, Simon Chapple
Implementation and Performance of DSMPI. Sci. Program. 6 (2) (1997)
Hernâni Pedroso, Luís Moura Silva, João Gabriel Silva
Web-based Metacomputing with JET. Concurr. Pract. Exp. 9 (11) (1997)
Antonio Pessoa Magalhães, Mário Zenha Rela, João Gabriel Silva
On the nature of deadlines. Microprocess. Microsystems 20 (2) (1996)
Mário Zenha Rela, Henrique Madeira, João Gabriel Silva
Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks. FTCS (1996)
João Gabriel Silva, João Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira
Experimental Assessment of Parallel Systems. FTCS (1996)
Luís Moura Silva, João Gabriel Silva, Simon Chapple
Portable Transparent Checkpointing for Distributed Shared Memory. HPDC (1996)
Luís Moura Silva, João Gabriel Silva, Simon Chapple
Implementing Distributed Shared Memory on Top of MPI: The DSMPI Library. PDP (1996)
João Carlos Cunha, João Gabriel Silva
DELFIM: Error Detection by Thin Memory Protection. EUROMICRO (1996)
Diamantino Costa, Francisco Moreira, Henrique Madeira, Mário Zenha Rela, João Gabriel Silva
Experimental Evaluation of the Impact of Processor Faults on Parallel Applications. SRDS (1995)
Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke
Portable Checkpointing and Recovery. HPDC (1995)
Alexandre Alves, Luís Moura Silva, João Carreira, João Gabriel Silva
WPVM: parallel computing for the people. HPCN Europe (1995)
Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke
Fault-tolerance on regular decomposition grid applications. PDP (1995)
Luís Moura Silva, Bart Veer, João Gabriel Silva
The Helios Tuple Space Library. PDP (1994)
Henrique Madeira, Mário Zenha Rela, Francisco Moreira, João Gabriel Silva
RIFLE: A General Purpose Pin-level Fault Injector. EDCC (1994)
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
The FTMPS-Project: Design and Implementation of Fault-Tolerance Techniques for Massively Parallel Systems. HPCN (1994)
João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino
A Fault-Tolerant Mechanism for Simple Controllers. EDCC (1994)
Henrique Madeira, João Gabriel Silva
Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error Masking. FTCS (1994)
Luís Moura Silva, João Gabriel Silva
DIP : Distributed Diagnosis Protocol. Microprocess. Microprogramming 38 (1-5) (1993)
Luís Moura Silva, João Gabriel Silva
Clobal Checkpointing for Distributed Programs. SRDS (1992)
Henrique Madeira, José Camões, João Gabriel Silva
A watchdog processor for concurrent error detection in multiple processor systems. Microprocess. Microsystems 15 (3) (1991)
Henrique Madeira, Gonçalo Quadros, João Gabriel Silva
Experimental evaluation of a set of simple error detection mechanisms. Microprocessing and Microprogramming 30 (1-5) (1990)
Henrique Madeira, Boavida Fernandes, Mário Zenha Rela, João Gabriel Silva
The fault-tolerant architecture of the safe system. Microprocessing and Microprogramming 27 (1-5) (1989)