João Gabriel Silva

Orcid: 0000-0002-4800-5201

According to our database1, João Gabriel Silva authored at least 79 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities.
IEEE Access, 2024

2023
Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development.
CoRR, 2023

2015
Practical and representative faultloads for large-scale software systems.
J. Syst. Softw., 2015

2009
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads.
Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

2007
Failure Boundedness in Discrete Applications.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

2006
Software Aging and Rejuvenation in a SOAP-based Server.
Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

Sharing Checkpoints to Improve Turnaround Time in Desktop Grid.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
Robust Assertions and Fail-Bounded Behavior.
J. Braz. Comput. Soc., 2005

Reuse of Existing Software in Space Projects - Proposed Approach and Extensions to Product Assurance and Software Engineering Standards.
Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

Topic 6 - Grid and Cluster Computing: Models, Middleware and Architectures.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004
The Architecture and Performance of WMPI II.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2004

2003
MPI Farm Programs on Non-dedicated Clusters.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29, 2003

DRMonitor - A Distributed Resource Monitoring System.
Proceedings of the 11th Euromicro Workshop on Parallel, 2003

Dependability Benchmarks: Can We Rely on Them?
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Plug and Play Fault Injector for Dependability Benchmarking.
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

2002
M&M's: Building Binary Software Components for Supporting Mobile-Agent Enabled Applications.
Auton. Agents Multi Agent Syst., 2002

A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure.
Proceedings of the 2002 Symposium on Applications and the Internet (SAINT 2002), 28 January, 2002

Supporting Disconnected Computing in Mobile Agent Systems.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

Reset-Driven Fault Tolerance.
Proceedings of the Dependable Computing, 2002

2001
The Implementation of One-Sided Communications for WMPI II.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2001

Towards Manageable Mobile Agent Infrastructures.
Proceedings of the Networking, 2001

A Study of Failure Models in Feedback Control Systems.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Integrating Mobile Agents into Off-the-Shelf Web Servers: the M&M approach.
Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000
Heterogeneous parallel computing using Java and WMPI.
Concurr. Pract. Exp., 2000

Distributed Checkpointing Mechanism for a Parallel File System.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2000

MPI-2 Process Creation & Management Implementation for NT Clusters.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2000

An Architecture for Using Multiple Communication Devices in a MPI Library.
Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

The WMPI Library Evolution: Experience with MPI Development for Windows Environments.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

Fault-Tolerant Execution of Mobile Agents.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

A Flexible Mobile-Agent Framework for Accessing Information Systems in Disconnected Computing Environments.
Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

1999
Stabilizing Pre-Run-Time Schedules With the Help of Grace Time.
Real Time Syst., 1999

Security Mechanisms for using Mobile Agents in Electronic Commerce.
Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Implementing MPI-2 Extended Collective Operations.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1999

Implementing MPI's One-Sided Communications for WMPI.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1999

Establishing a Secure Open-Environment for Using Mobile Agents in Electronic Commerce.
Proceedings of the 1st International Symposium on Agent Systems and Applications / 3rd International Symposium on Mobile Agents (ASA/MA '99), 1999

The Performance of Coordinated and Independent Checkpointing.
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations.
Proceedings of the Digest of Papers: FTCS-29, 1999

An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine.
Proceedings of the Dependable Computing, 1999

Fault-Detection by Result-Checking for the Eigenproblem.
Proceedings of the Dependable Computing, 1999

Can Software Implemented Fault-Injection Be Used on Real-Time Systems?.
Proceedings of the Dependable Computing, 1999

1998
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers.
IEEE Trans. Software Eng., 1998

Why do some (weird) people inject faults?
ACM SIGSOFT Softw. Eng. Notes, 1998

Fehlerinjektion - ein Mittel zur Bewertung der Maßnahmen gegen Fehler in komplexen Rechensystemen.
Inform. Spektrum, 1998

Using two-level stable storge for efficient checkpointing.
IEE Proc. Softw., 1998

JWarp: A Java Library for Parallel Discrete-Event Simulations.
Concurr. Pract. Exp., 1998

Computer Science and the Pygmalion Effect.
Computer, 1998

System-Level Versus User-Defined Checkpointing.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

A Java Interface for WMPI.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1998

WMPI - Message Passing Interface for Win32 Clusters.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1998

Merging Web-Based with Cluster-Based Computing.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

Avoiding Checkpoint Contamination in Parallel Systems.
Proceedings of the Digest of Papers: FTCS-28, 1998

Practical Issues in the Use of ABFT and a New Failure Model.
Proceedings of the Digest of Papers: FTCS-28, 1998

An Experimental Study about Diskless Checkpointing.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

1997
Checkpointing Distributed Shared Memory.
J. Supercomput., 1997

Implementation and Performance of DSMPI.
Sci. Program., 1997

Web-based Metacomputing with JET.
Concurr. Pract. Exp., 1997

WINPAR - Windows-based Parallel Computing.
Proceedings of the Parallel Computing: Fundamentals, 1997

Implementing Tuple Space with Threads.
Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

1996
On the nature of deadlines.
Microprocess. Microsystems, 1996

Implementing Distributed Shared Memory on Top of MPI: The DSMPI Library.
Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

Portable Transparent Checkpointing for Distributed Shared Memory.
Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

Experimental Assessment of Parallel Systems.
Proceedings of the Digest of Papers: FTCS-26, 1996

Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks.
Proceedings of the Digest of Papers: FTCS-26, 1996

DELFIM: Error Detection by Thin Memory Protection.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995
Experimental Evaluation of the Impact of Processor Faults on Parallel Applications.
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

Fault-tolerance on regular decomposition grid applications.
Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995

Portable Checkpointing and Recovery.
Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), 1995

WPVM: parallel computing for the people.
Proceedings of the High-Performance Computing and Networking, 1995

1994
The Helios Tuple Space Library.
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

The FTMPS-Project: Design and Implementation of Fault-Tolerance Techniques for Massively Parallel Systems.
Proceedings of the High-Performance Computing and Networking, 1994

Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error Masking.
Proceedings of the Digest of Papers: FTCS/24, 1994

A Fault-Tolerant Mechanism for Simple Controllers.
Proceedings of the Dependable Computing, 1994

RIFLE: A General Purpose Pin-level Fault Injector.
Proceedings of the Dependable Computing, 1994

1993
DIP : Distributed Diagnosis Protocol.
Microprocess. Microprogramming, 1993

1992
Clobal Checkpointing for Distributed Programs.
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

1991
A watchdog processor for concurrent error detection in multiple processor systems.
Microprocess. Microsystems, 1991

1990
Experimental evaluation of a set of simple error detection mechanisms.
Microprocessing and Microprogramming, 1990

1989
The fault-tolerant architecture of the safe system.
Microprocessing and Microprogramming, 1989


  Loading...