default search action
João Gabriel Silva
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]J. Eduardo Ferreira Ribeiro
, João Gabriel Silva
Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities. IEEE Access 12: 52778-52802 (2024) - 2023
- [i1]J. Eduardo Ferreira Ribeiro
Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development. CoRR abs/2311.04344 (2023)
2010 – 2019
- 2015
- [j19]Pedro Costa
Practical and representative faultloads for large-scale software systems. J. Syst. Softw. 103: 182-197 (2015)
2000 – 2009
- 2009
- [c58]Pedro Costa
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads. PRDC 2009: 289-294 - 2007
- [c57]João Muranho, Paula Prata, Mário Zenha Rela
Failure Boundedness in Discrete Applications. LADC 2007: 160-169 - 2006
- [c56]Patrício Domingues
Sharing Checkpoints to Improve Turnaround Time in Desktop Grid. AINA (1) 2006: 301-306 - [c55]Luís Moura Silva, Henrique Madeira
Software Aging and Rejuvenation in a SOAP-based Server. NCA 2006: 56-65 - 2005
- [j18]Paula Prata
Robust Assertions and Fail-Bounded Behavior. J. Braz. Comput. Soc. 10(3): 20-32 (2005) - [c54]Craig A. Lee
Topic 6 - Grid and Cluster Computing: Models, Middleware and Architectures. Euro-Par 2005: 379 - [c53]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: 258-267 - [e2]Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva:
Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings. Lecture Notes in Computer Science 3747, Springer 2005, ISBN 3-540-29572-0 [contents] - 2004
- [c52]Anders Lyhne Christensen, João Brito, João Gabriel Silva:
The Architecture and Performance of WMPI II. PVM/MPI 2004: 112-121 - 2003
- [c51]Pedro Costa
Plug and Play Fault Injector for Dependability Benchmarking. LADC 2003: 8-22 - [c50]João Gabriel Silva:
Dependability Benchmarks: Can We Rely on Them? LADC 2003: 361 - [c49]Patrício Domingues
DRMonitor - A Distributed Resource Monitoring System. PDP 2003: 127-133 - [c48]Nuno Fonseca
MPI Farm Programs on Non-dedicated Clusters. PVM/MPI 2003: 473-481 - 2002
- [j17]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): 103-111 (2002) - [c47]João Carlos Cunha
Reset-Driven Fault Tolerance. EDCC 2002: 102-120 - [c46]Paulo Marques, P. S. Santos, Luís Moura Silva, João Gabriel Silva:
Supporting Disconnected Computing in Mobile Agent Systems. IASTED PDCS 2002: 327-332 - [c45]Paulo Marques, Raul Fonseca, Paulo Simões
A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure. SAINT 2002: 100-108 - 2001
- [c44]Paulo Marques, Raul Fonseca, Paulo Simões
Integrating Mobile Agents into Off-the-Shelf Web Servers: the M&M approach. DEXA Workshop 2001: 677-681 - [c43]João Carlos Cunha
A Study of Failure Models in Feedback Control Systems. DSN 2001: 314-326 - [c42]Paulo Simões
Towards Manageable Mobile Agent Infrastructures. ICN (2) 2001: 458-467 - [c41]Tiago R. Baptista
The Implementation of One-Sided Communications for WMPI II. PVM/MPI 2001: 61-68 - 2000
- [j16]Luís Moura Silva, Paulo Martins, João Gabriel Silva:
Heterogeneous parallel computing using Java and WMPI. Concurr. Pract. Exp. 12(11): 1077-1091 (2000) - [c40]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: 173-177 - [c39]Luís Moura Silva, Victor Batista, João Gabriel Silva
Fault-Tolerant Execution of Mobile Agents. DSN 2000: 135-143 - [c38]Hernâni Pedroso, João Gabriel Silva:
The WMPI Library Evolution: Experience with MPI Development for Windows Environments. Euro-Par 2000: 1157-1164 - [c37]Hernâni Pedroso, João Gabriel Silva:
An Architecture for Using Multiple Communication Devices in a MPI Library. HPCN Europe 2000: 688-697 - [c36]Vítor N. Távora, Luís Moura Silva, João Gabriel Silva:
Distributed Checkpointing Mechanism for a Parallel File System. PVM/MPI 2000: 137-144 - [c35]Hernâni Pedroso, João Gabriel Silva:
MPI-2 Process Creation & Management Implementation for NT Clusters. PVM/MPI 2000: 184-191
1990 – 1999
- 1999
- [j15]Antonio Pessoa Magalhães, João Gabriel Silva
Stabilizing Pre-Run-Time Schedules With the Help of Grace Time. Real Time Syst. 17(1): 65-86 (1999) - [c34]Luís Moura Silva, João Gabriel Silva:
An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine. EDCC 1999: 124-142 - [c33]João Carlos Cunha, Mário Zenha Rela
Can Software Implemented Fault-Injection Be Used on Real-Time Systems?. EDCC 1999: 209-228 - [c32]Paula Prata, João Gabriel Silva:
Fault-Detection by Result-Checking for the Eigenproblem. EDCC 1999: 419-436 - [c31]Paula Prata, João Gabriel Silva:
Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations. FTCS 1999: 4-11 - [c30]Luís Moura Silva, João Gabriel Silva:
Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery. HICSS 1999 - [c29]Luís Moura Silva, João Gabriel Silva:
The Performance of Coordinated and Independent Checkpointing. IPPS/SPDP 1999: 280-284 - [c28]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: 268-269 - [c27]Pedro V. Silva, João Gabriel Silva:
Implementing MPI-2 Extended Collective Operations. PVM/MPI 1999: 125-132 - [c26]Fernando Elson Mourão, João Gabriel Silva:
Implementing MPI's One-Sided Communications for WMPI. PVM/MPI 1999: 231-238 - [c25]Paulo Marques, Luís Moura Silva, João Gabriel Silva:
Security Mechanisms for using Mobile Agents in Electronic Commerce. SRDS 1999: 378-383 - 1998
- [j14]João Carreira, João Gabriel Silva
Computer Science and the Pygmalion Effect. Computer 31(2): 116-117 (1998) - [j13]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): 999-1005 (1998) - [j12]Luís Moura Silva, João Gabriel Silva
Using two-level stable storge for efficient checkpointing. IEE Proc. Softw. 145(6): 198-202 (1998) - [j11]Klaus Echtle, João Gabriel Silva:
Fehlerinjektion - ein Mittel zur Bewertung der Maßnahmen gegen Fehler in komplexen Rechensystemen. Inform. Spektrum 21(6): 328-336 (1998) - [j10]João Carreira, João Gabriel Silva:
Why do some (weird) people inject faults? ACM SIGSOFT Softw. Eng. Notes 23(1): 42-43 (1998) - [j9]João Carreira, Henrique Madeira
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Trans. Software Eng. 24(2): 125-136 (1998) - [c24]Luís Moura Silva, João Gabriel Silva:
An Experimental Study about Diskless Checkpointing. EUROMICRO 1998: 10395-10402 - [c23]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: 26-35 - [c22]Luís Moura Silva, João Gabriel Silva:
Avoiding Checkpoint Contamination in Parallel Systems. FTCS 1998: 364-369 - [c21]Luís Moura Silva, Paulo Martins, João Gabriel Silva:
Merging Web-Based with Cluster-Based Computing. ISCOPE 1998: 119-126 - [c20]José Marinho
WMPI - Message Passing Interface for Win32 Clusters. PVM/MPI 1998: 113-120 - [c19]Paulo Martins, Luís Moura Silva, João Gabriel Silva:
A Java Interface for WMPI. PVM/MPI 1998: 121-128 - [c18]Luís Moura Silva, João Gabriel Silva:
System-Level Versus User-Defined Checkpointing. SRDS 1998: 68-74 - 1997
- [j8]Hernâni Pedroso, Luís Moura Silva, João Gabriel Silva:
Web-based Metacomputing with JET. Concurr. Pract. Exp. 9(11): 1169-1173 (1997) - [j7]Luís Moura Silva, João Gabriel Silva, Simon Chapple:
Implementation and Performance of DSMPI. Sci. Program. 6(2): 201-214 (1997) - [j6]Luís Moura Silva, João Gabriel Silva:
Checkpointing Distributed Shared Memory. J. Supercomput. 11(2): 137-158 (1997) - [c17]João Carreira, João Gabriel Silva, Koen Langendoen, Henri E. Bal:
Implementing Tuple Space with Threads. Euro-PDS 1997: 259-264 - [c16]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: 495-502 - 1996
- [j5]Antonio Pessoa Magalhães, Mário Zenha Rela
On the nature of deadlines. Microprocess. Microsystems 20(2): 79-88 (1996) - [c15]João Carlos Cunha, João Gabriel Silva:
DELFIM: Error Detection by Thin Memory Protection. EUROMICRO 1996: 343-350 - [c14]Mário Zenha Rela, Henrique Madeira, João Gabriel Silva:
Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks. FTCS 1996: 394-403 - [c13]João Gabriel Silva, João Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira:
Experimental Assessment of Parallel Systems. FTCS 1996: 415-424 - [c12]Luís Moura Silva, João Gabriel Silva, Simon Chapple:
Portable Transparent Checkpointing for Distributed Shared Memory. HPDC 1996: 422-431 - [c11]Luís Moura Silva, João Gabriel Silva, Simon Chapple:
Implementing Distributed Shared Memory on Top of MPI: The DSMPI Library. PDP 1996: 50-58 - [e1]Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini:
Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings. Lecture Notes in Computer Science 1150, Springer 1996, ISBN 3-540-61772-8 [contents] - 1995
- [c10]Alexandre Alves, Luís Moura Silva, João Carreira, João Gabriel Silva:
WPVM: parallel computing for the people. HPCN Europe 1995: 582-587 - [c9]Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke:
Portable Checkpointing and Recovery. HPDC 1995: 188-195 - [c8]Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke:
Fault-tolerance on regular decomposition grid applications. PDP 1995: 358-365 - [c7]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: 10-19 - 1994
- [c6]João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino
A Fault-Tolerant Mechanism for Simple Controllers. EDCC 1994: 39-55 - [c5]Henrique Madeira, Mário Zenha Rela, Francisco Moreira, João Gabriel Silva:
RIFLE: A General Purpose Pin-level Fault Injector. EDCC 1994: 199-216 - [c4]Henrique Madeira, João Gabriel Silva:
Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error Masking. FTCS 1994: 350-359 - [c3]Johan Vounckx, Geert Deconinck
The FTMPS-Project: Design and Implementation of Fault-Tolerance Techniques for Massively Parallel Systems. HPCN 1994: 401-406 - [c2]Luís Moura Silva, Bart Veer, João Gabriel Silva:
The Helios Tuple Space Library. PDP 1994: 325-331 - 1993
- [j4]Luís Moura Silva, João Gabriel Silva:
DIP : Distributed Diagnosis Protocol. Microprocess. Microprogramming 38(1-5): 171-178 (1993) - 1992
- [c1]Luís Moura Silva, João Gabriel Silva:
Clobal Checkpointing for Distributed Programs. SRDS 1992: 155-162 - 1991
- [j3]Henrique Madeira
A watchdog processor for concurrent error detection in multiple processor systems. Microprocess. Microsystems 15(3): 123-130 (1991) - 1990
- [j2]Henrique Madeira
Experimental evaluation of a set of simple error detection mechanisms. Microprocessing and Microprogramming 30(1-5): 513-520 (1990)
1980 – 1989
- 1989
- [j1]Henrique Madeira
The fault-tolerant architecture of the safe system. Microprocessing and Microprogramming 27(1-5): 705-712 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-19 00:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: