Conferences in DBLP
William H. Sanders Probabilistic Validation of Computer System Survivability. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Fetzer Timed Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Edgar Nett WLAN in Automation - More Than an Academic Exercise?. [Citation Graph (0, 0)][DBLP ] Conf ] Regina Lúcia de Oliveira Moraes , Eliane Martins , Elaine C. Catapani Poletti , Naaliel Vicente Mendes Using Stratified Sampling for Fault Injection. [Citation Graph (0, 0)][DBLP ] Conf ] João Durães , Henrique Madeira A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenzo Falai , Andrea Bondavalli , Felicita Di Giandomenico Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. [Citation Graph (0, 0)][DBLP ] Conf ] Benedito Sakugawa , Edson Cury , Edgar Toshiro Yano Airborne Software Concerns in Civil Aviation Certification. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Henrique da S. Brito , Camila Ribeiro Rocha , Fernando Castor Filho , Eliane Martins , Cecília M. F. Rubira A Method for Modeling and Testing Exceptions in Component-Based Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Luís Dotti , Odorico Machado Mendizabal , Osmar Marchi dos Santos Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Buckl , Alois Knoll , Gerhard Schrott The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hamid R. Zarandi , Seyed Ghassem Miremadi Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Mário Zenha Rela , João Carlos Cunha , Carlos Bruno Silva , Luís Ferreira da Silva On the Effects of Errors During Boot. [Citation Graph (0, 0)][DBLP ] Conf ] Mahdi Fazeli , Reza Farivar , Shaahin Hessabi , Seyed Ghassem Miremadi A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] George M. de A. Lima , Alan Burns Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Filipe Araújo , Luís Rodrigues On the Monitoring Period for Fault-Tolerant Sensor Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Fábio Lima , Raimundo A. Macêdo Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets. [Citation Graph (0, 0)][DBLP ] Conf ] HariGovind V. Ramasamy , Adnan Agbaria , William H. Sanders Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Fabíola Gonçalves Pereira Greve , Jean-Pierre Le Narzul Generating Fast Atomic Commit from Hyperfast Consensus. [Citation Graph (0, 0)][DBLP ] Conf ] Afrânio Correia Jr. , A. Sousa , L. Soares , José Pereira , Francisco Moura , Rui Carlos Oliveira Group-Based Replication of On-Line Transaction Processing Servers. [Citation Graph (0, 0)][DBLP ] Conf ] Avelino F. Zorzo , Ingrid Jansch-Pôrto , Fabíola Gonçalves Pereira Greve Third Workshop on Theses and Dissertations on Dependable Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Herman Augusto Lepikson , Leandro Buss Becker Latin-American Workshop on Dependable Automation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rogério de Lemos , Paulo Asterio de Castro Guerra Software Architectures for Dependable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rachid Guerraoui , Michel Raynal Fault-Tolerant Techniques for Concurrent Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Fabíola Gonçalves Pereira Greve Agreement Protocols in Environments with Temporal Uncertainties. [Citation Graph (0, 0)][DBLP ] Conf ] 