João Gabriel Silva

83 papers A 4B 5C 5Misc 7Journal 23Unranked 38

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