People
João Gabriel Silva
Address
Dep. Eng. InformaticaUniversidade de Coimbra - Polo II
P-3030-290 Coimbra
Portugal
Home Page
http://eden.dei.uc.pt/~jgabrielMember
Software and Systems EngineeringResearch interests
Experimental Dependability EvaluationLow-cost Fault-Tolerance
Dependable parallel computing
Affiliation
Department of Informatics EngineeringUniversity of Coimbra
Past Projects
FT-MPI - Fast and Dependable Next Generation Message Passing Interface
CoreGRID: the European Research Network on Foundations, Software Infrastructures and Applications for Large Scale Distributed, GRID and Peer-to-Peer Technologies
WebBench - Dependability benchmarking for web-servers focusing on availability and security
Journal Articles
2015
(2 publications)- Costa, J.P. and Silva, J.G. and Madeira, H. , "Practical and Representative Faultloads for Large-Scale Software Systems", Journal of Systems and Software, vol. 103, pp. 182-197, 2015 [ DOI ]
- Costa, P. .N.d. and Silva, J.G. and Madeira, H. , "Practical and representative faultloads for large-scale software systems", Journal of Systems and Software, vol. 103, pp. 182-197, 2015
2005
(1 publication)2002
(1 publication)2000
(1 publication)1999
(1 publication)1998
(5 publications)- Echtle, K. and Silva, J.G. , "Fehlerinjektion - ein Mittel zur Bewertung der Maÿnahmen gegen Fehler in komplexen Rechensystemen", Informatik Spektrum, vol. 21, pp. 328-336, 1998
- Carreira, J. and Madeira, H. and Silva, J.G. , "Xception: A technique for the evaluation of dependability in modern Computers", IEEE Transactions on Software Engineering, vol. 24, pp. 125-136, 1998
- Bizarro, P. and Silva, L. and Silva, J.G. , "JWARP: a Java library for parallel discrete event simulations", Concurrency: Practice and Experience, vol. 10, pp. 999-1005, 1998
- Silva, L. and Silva, J.G. , "Using two-level stable storage for efficient checkpointing", IEE Software Engineering Journal, vol. 145, 1998
- Bizarro, P. and Silva, J.G. and Silva, L. , "JWARP: A Java Library for Parallel Discrete-Event Simulations", Concurrency: Practice and Experience, vol. 10, 1998
1997
(4 publications)- Silva, L. and Silva, J.G. and Chapple, S. , "Implementation and Performance of DSMPI", Scientific Programming Journal, vol. 6, pp. 201-214, 1997
- Pedroso, H. and Pedroso, H. and Silva, L. and Silva, J.G. , "Web - based Metacomputing with JET", Concurrency: Practice and Experience, vol. 9, 1997
- Silva, L. and Silva, J.G. , "Checkpointing Distributed Shared Memory", n/a, vol. 11, pp. 137-158, 1997
- Carreira, J. and Costa, D. and Silva, J.G. , "WinFT: Software Implemented Fault Tolerance for Win32 Applications.", BYTE, pp. 51-52, 1997
1996
(1 publication)1990
(1 publication)Conference Articles
2009
(1 publication)2006
(2 publications)- Domingues, P. and Silva, J.G. and Silva, L. , "Sharing Checkpoints to Improve Turnaround Time in Desktop Grid", in Advanced Information Networking and Applications (AINA\'06), vol. 1, 2006
- Silva, L. and Madeira, H. and Silva, J.G. , "Software Aging and Rejuvenation in a SOAP-based Server", in IEEE-NCA, Network Computing and Applications, 2006
2005
(1 publication)2004
(2 publications)- Silva, J.G. and Rodríguez, M. and Costa, D. and Loon, H.v. and Rodríguez-Dapena, P. and Pedersen, K. and Aldea-Montero, F. , "Product Assurance of Software Reuse in the SPICE for Space Framework", in 4th International SPICE Conference on Process Assessment and Improvement, 2004
- Christensen, A.L. and Brito, J. and Silva, J.G. , "The Architecture and Performance of WMPI II", in 11th European PVM/MPI Users' Group Meeting - Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2004
2003
(3 publications)- Domingues, P. and Silva, L. and Silva, J.G. , "DRMonitor - A Distributed Resource Monitoring System", in 11th Euromicro Parallel, Distributed and Network-Based Processing, 2003
- Fonseca, N. and Fonseca, N. and Silva, J.G. , "MPI Farm programs on non-dedicated clusters", in 10th European PVM/MPI Users' Group Meeting, 2003
- Costa, P. .N.d. and Marco Vieira and Madeira, H. and Silva, J.G. , "Plug and Play Fault Injector for Dependability Benchmarking", in First Latin-American Symposium on Dependable Computing, LADC, 2003
2002
(6 publications)- Marques, P. and Fonseca, R. and Simões, P. and Silva, L. and Silva, J.G. , "A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure", 2002
- Santos, N. and Marques, P. and Silva, L. and Silva, J.G. , "A Framework for Smart Proxies and Interceptors in RMI", 2002
- Marques, P. and Santos, P. and Silva, L. and Silva, J.G. , "Supporting Disconnected Computing in Mobile Agent Systems", 2002
- Tiago Baptista and Pedroso, H. and Silva, J.G. , "The Implementation of One-Sided Communications for WMPI II", in Euro PVM/MPI 2001, 2002
- Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems", in The International Conference on Dependable Systems and Networks, DSN-2002, 2002
- Cunha, J.C. and Henriques, J. and Mario Zenha-Rela and Silva, J.G. , "Reset-Driven Fault Tolerance", in 4th European Dependable Computing Conference (EDCC-4), vol. 2485, 2002
2001
(7 publications)- Marques, P. and Simões, P. and Silva, L. and Silva, J.G. and Boavida, F. , "Towards Manageable Mobile Agent Infrastructures", 2001
- Marques, P. and Simões, P. and Silva, L. and Boavida, F. and Silva, J.G. , "Providing Applications With Mobile Agent Technology", 2001
- Marques, P. and Santos, N. and Silva, L. and Silva, J.G. , "The Security Architecture of the M&M Mobile Agent Framework", 2001
- Marques, P. and Fonseca, R. and Simões, P. and Silva, L. and Silva, J.G. , "Integrating Mobile Agents into Off-the-Shelf Web Servers: The M&M Approach", in Munich, Germany, 2001
- Cunha, J.C. and Silva, J.G. , "Software-Implemented Stable Storage in Main Memory", in IX Brazilian Symposium on Fault-Tolerant Computing (SCTF'2001), 2001
- Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "A Study of Failure Models in Feedback Control Systems", in The International Conference on Dependable Systems and Networks, DSN-2001, 2001
- Marques, P. and Fonseca, R. and Silva, L. and Silva, J.G. , "Integrating Mobile Agents With Off-the-shelf Web-servers", in Systems and Applications (INBOSA\'2001), 2001
2000
(8 publications)- Marques, P. and Silva, L. and Silva, J.G. , "A Flexible Mobile-Agent Framework for Accessing Information Systems in Disconnected Computing Environments", 2000
- Marques, P. and Silva, L. and Silva, J.G. , "Building Domain-Specific Mobile Agent Platforms from Reusable Software Components", 2000
- Marques, P. and Silva, L. and Silva, J.G. , "Going Beyond Mobile Agent Platforms: Component-Based Development of Mobile Agent Systems", 2000
- Marques, P. and Silva, L. and Silva, J.G. , "Addressing the Question of Platform Extensibility in Mobile Agent Systems", 2000
- Marques, P. and Simões, P. and Silva, L. and Boavida, F. and Silva, J.G. , "Mobile Agent Systems: From Technology to Applications", in OOPSLA'2000 Workshop on Experiences with Autonomous Mobile Objects and Agent Based Systems, 2000
- Silva, L. and Batista, V. and Silva, J.G. , "Fault-Tolerant Execution of Mobile Agents", in DSN-00 - International Conference on Dependable Systems and Networks, 2000
- Távora, V.M.N. and Silva, L. and Silva, J.G. , "Distributed Checkpointing Mechanism for a Parallel File System", in EuroPVM/MPI\'2000, 2000
- Távora, V.M.N. and Silva, L. and Silva, J.G. , "Fault Tolerance for Parallel Systems", in Proc. Int. Conference on Parallel and Distributed Computing and Systems, 2000
1999
(12 publications)- Prata, P. and Silva, J.G. , "Fault-Detection by Result-Checking for the Eigenproblem", in EDDC-3, 1999
- Prata, P. and Silva, J.G. , "Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations", in FTCS - 29, 1999
- Marques, P. and Silva, L. and Silva, J.G. , "Security Mechanisms for Using Mobile Agents in Electronic Commerce", 1999
- Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "Can Software Implemented Fault-Injection be used on Real-Time Systems?", in EDDC-3, vol. 1667, 1999
- Silva, P. and Silva, P. and Silva, J.G. , "Implementing MPI-2 Extended Collective Operations", in 6th European PVM/MPI Users' Group Meeting, vol. 1697, 1999
- Silva, L. and Silva, J.G. , "An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine", in Third European Dependable Computing Conference (EDCC-3), vol. 1667, 1999
- Silva, L. and Silva, J.G. , "The Performance of Coordinated and Independent Checkpointing", in IPPS/SPDP 1999, 1999
- Mourão, F.E. and Silva, J.G. , "Implementing MPI-2 One-Sided Communications for WMPI", in 6th European PVM/MPI Users' Group Meeting, vol. 1697, 1999
- Marques, P. and Silva, L. and Silva, J.G. , "Establishing a Secure Open-Environment for the Computations of Mobile Agents", in In Proceedings of ASA/MAâ??99, 1999
- Silva, L. and Silva, J.G. , "An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine", in In Proceedings of EDCC-3, European Dependable Computing Conference, vol. 1667, 1999
- Silva, L. and Silva, J.G. , "Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery", in Proceedings of the Hawaii International Conference on System Sciences, IEEE, 1999
- Silva, L. and Silva, J.G. , "Using Mobile Agents for the Management of Telecommunications", in Proceedings of ConfTele99, 1999
1998
(12 publications)- Marinho, J.M. and Silva, J.G. , "WMPI - Message Passing Interface for Win32 Clusters", in EuroPVM/MPI98, 1998
- Silva, J.G. and Prata, P. and Mario Zenha-Rela and Madeira, H. , "Practical Issues in the Use of ABFT and a new Failure Model", in FTCS - 28, 1998
- Bizarro, P. and Silva, L. and Silva, J.G. , "JWarp: A Java Library For Parallel Discrete-Event Simulations", 1998
- Bizarro, P. and Silva, L. and Silva, J.G. , "Implementing the Time-Warp Simulation Model in Java", in VECPARâ??98 - 3rd International Meeting on Vector and Parallel Processing, 1998
- Batista, V. and Silva, L. and Silva, J.G. , "Checkpointing Java-based Parallel Applications", in 11th Parallel and Distributed Computing Systems, PDCS'98, 1998
- Silva, L. and Silva, J.G. , "System-Level versus User-Defined Checkpointing", in 17th IEEE Symposium on Reliable Distributed Systems, SRDS'98, 1998
- Silva, L. and Martins, P. and Silva, J.G. , "Merging Web-based with Cluster-based Computing", in Second International Symposium on Computing in Object-Oriented Parallel Environments ISCOPE'98, 1998
- Martins, P. and Silva, L. and Silva, J.G. , "A Java Interface for WMPI", in EuroPVM/MPI 98, 1998
- Silva, L. and Silva, J.G. , "An Experimental Study about Diskless Checkpointing", in Euromicro Workshop on Dependable Computer Systems, 1998, 1998
- Soares, F. and Silva, L. and Silva, J.G. , "How to Get Volunteers for Web-based Computing", in DCW'98, Workshop on Distributed Computing on the Web, 1998
- Silva, L. and Silva, J.G. , "Avoiding Checkpoint Contamination in Parallel Systems", in 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, 1998
- Pedroso, H. and Pedroso, H. and Silva, J.G. and Silva, L. , "JET: Massively Parallel Computing with Java", in Proc. 3rd Int. Conference on Massively Parallel Computing Systems, MPCSâ??98, 1998
1997
(3 publications)- Carreira, J. and Silva, J.G. and Langendoen, K. , "Efficient and Portable Parallel Programming: An Open Distributed Shared Memory Implementation", in 10th Int. Conf. on Parallel and Distributed Computing Systems (PDCS'97), 1997
- Pedroso, H. and Pedroso, H. and Silva, L. and Silva, J.G. , "Web-based Metacomputing with JET", in ACM 1997 Workshop on Java for Science and Engineering Computation, 1997
- Silva, L. and Pedroso, H. and Pedroso, H. and Silva, J.G. , "The Design of JET: A Java Library for Embarrassingly Parallel Applications", in Wotug-20 - Parallel Programming and Java, vol. 50, 1997
1996
(6 publications)- Mario Zenha-Rela and Madeira, H. and Silva, J.G. , "Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks", in 26th Symposium on Fault Tolerant Computer Systems (FTCS-26), 1996
- Silva, L. and Silva, J.G. , "A Checkpoint Facility for an Heterogeneous DSM System", in Ninth ISCA International Conference on Parallel and Distributed Computing Systems (PDCS 96), 1996
- Silva, J.G. and Carreira, J. and Madeira, H. and Costa, D. and Moreira, F. , "Experimental Assessment of Parallel Systems", in Twenty-Six Annual International Symposium on Fault-Tolerant Computing (FTCS-26), 1996
- Silva, L. and Silva, J.G. and Chapple, S. , "Implementing Distributed Shared Memory on top of MPI: the DSMPI library", in 4th Euromicro Workshop on Parallel and Distributed Processing (PDP'96), 1996
- Silva, L. and Silva, J.G. , "Portable Transparent Checkpointing for Distributed Shared Memory", in Fifth IEEE International Symposium on High Performance Distributed Computing (HPDC-5), 1996
- Silva, L. and Távora, V.M.N. and Silva, J.G. , "Mechanisms of File-Checkpointing for Unix Applications", in 14th IASTED International Conference on Applied Informatics, 1996
1995
(7 publications)- Costa, D. and Moreira, F. and Madeira, H. and Mario Zenha-Rela and Silva, J.G. , "Experimental Evaluation of the Impact of Processor Faults on Parallel Applications", in 14th IEEE Symposium on Reliable Distributed Systems (SRDS-14), 1995
- Madeira, H. and Carreira, J. and Silva, J.G. , "Injection of Faults in Complex Computers", in Workshop on Evaluation Techniques for Dependable Systems, 1995
- Carreira, J. and Madeira, H. and Silva, J.G. , "Xception: Software Fault Injection and Monitoring in Processor Functional Units", in Fifth IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5), 1995
- Carreira, J. and Madeira, H. and Silva, J.G. , "Assessing the Effects of Communication Faults on Parallel Applications", in 1st IEEE International Performance and Dependability Symposium (IPDS'95), 1995
- Silva, L. and Silva, J.G. and Chapple, S. and Clarke, L. , "Portable Checkpointing and Recovery", in 4th IEEE International Symposium on High Performance Distributed Computing (HPDC-4), 1995
- Alves, A. and Silva, L. and Carreira, J. and Silva, J.G. , "WPVM: Parallel Computing for the People", in International Conference on High-Performance Computing and Networking (HPCN 95), vol. 919, 1995
- Silva, L. and Silva, J.G. and Clarke, L. and Chapple, S. , "Fault-Tolerance for Regular Decomposition Grid Applications", in Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing PDPâ??95, 1995
1994
(11 publications)- Madeira, H. and Mario Zenha-Rela and Moreira, F. and Silva, J.G. , "RIFLE: a general purpose pin-level fault injector", in 1st European Dependable Computing Conference (EDCC-1), vol. 852, 1994
- Carreira, J. and Silva, L. and Silva, J.G. , "On the design of Eilean: A Linda-like library for MPI", in IEEE Second Scalable Parallel Libraries Conference, 1994
- Madeira, H. and Silva, J.G. , "Experimental evaluation of the fail-silent behavior in computers without error masking", in 24th Fault Tolerant Computing Symposium FTCS-24, 1994
- Silva, J.G. and Silva, L. and Madeira, H. and Jorge Bernardino , "A fault-tolerant mechanism for simple controllers", in First European Dependable Computing Conference, 1994
- Silva, L. and Silva, J.G. , "On the Optimum Recovery of Distributed Programs", in 20th EUROMICRO Conference, 1994
- Silva, L. and Silva, J.G. , "Checkpointing Pipeline Applications", in 1994 World Transputer Congress, vol. 41, 1994
- Silva, L. and Veer, B. and Silva, J.G. , "Checkpointing SPMD Applications on Transputer Networks", in 1994 Scalable High Performance Computing Conference (SHPCC 94), 1994
- Silva, L. and Silva, J.G. and Veer, B. , "The Helios Tuple Space Library", 1994
- Silva, L. and Silva, J.G. , "Integrating a Checkpointing and Rollback-Recovery Algorithm with a Causal Order Protocol", 1994
- Silva, L. and Silva, J.G. , "PipeLib: A Parallel Library for Writing Pipeline Applications", 1994
- Silva, L. and Silva, J.G. and Veer, B. , "A Fault-Tolerant Tuple Space Library", vol. 41, 1994
1993
(3 publications)- Silva, L. and Silva, J.G. , "How to Get a Fault-Tolerant Farm", in 1993 World Transputer Congress, vol. 2, 1993
- Madeira, H. and Moreira, F. and Furtado, P. and Mario Zenha-Rela and Silva, J.G. , "Pin-level Fault Injection for Dependability Validation: Some Research Results at the University of Coimbra", in First IEEE International Workshop on Fault and Error Injection for Dependability Validation, 1993
- Silva, L. and Silva, J.G. , "DIP: Distributed Diagnosis Protocol", in Microprocessing and Microprogramming, vol. 38, 1993
1992
(2 publications)- Madeira, H. and Mario Zenha-Rela and Furtado, P. and Silva, J.G. , "Time Behaviour Monitoring as an Error Detection Mechanism", in 3rd IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-3), 1992
- Silva, L. and Silva, J.G. , "Global Checkpointing for Distributed Programs", in IEEE 11th Symposium on Reliable Distributed Systems SRDS-11, 1992