The SCEAS System
Navigation Menu

Conferences in DBLP

Latin-American Symposium on Dependable Computing (ladc)
2005 (conf/ladc/2005)

  1. William H. Sanders
    Probabilistic Validation of Computer System Survivability. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:1- [Conf]
  2. Christof Fetzer
    Timed Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:2-3 [Conf]
  3. Edgar Nett
    WLAN in Automation - More Than an Academic Exercise?. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:4-8 [Conf]
  4. 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]
    LADC, 2005, pp:9-19 [Conf]
  5. 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]
    LADC, 2005, pp:20-34 [Conf]
  6. Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
    Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:35-51 [Conf]
  7. Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano
    Airborne Software Concerns in Civil Aviation Certification. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:52-60 [Conf]
  8. 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]
    LADC, 2005, pp:61-79 [Conf]
  9. 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]
    LADC, 2005, pp:80-100 [Conf]
  10. Christian Buckl, Alois Knoll, Gerhard Schrott
    The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:101-120 [Conf]
  11. 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]
    LADC, 2005, pp:121-130 [Conf]
  12. 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]
    LADC, 2005, pp:131-142 [Conf]
  13. 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]
    LADC, 2005, pp:143-153 [Conf]
  14. George M. de A. Lima, Alan Burns
    Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:154-173 [Conf]
  15. Filipe Araújo, Luís Rodrigues
    On the Monitoring Period for Fault-Tolerant Sensor Networks. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:174-190 [Conf]
  16. 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]
    LADC, 2005, pp:191-205 [Conf]
  17. HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders
    Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:206-225 [Conf]
  18. Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul
    Generating Fast Atomic Commit from Hyperfast Consensus. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:226-244 [Conf]
  19. 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]
    LADC, 2005, pp:245-260 [Conf]
  20. 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]
    LADC, 2005, pp:261- [Conf]
  21. Herman Augusto Lepikson, Leandro Buss Becker
    Latin-American Workshop on Dependable Automation Systems. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:262- [Conf]
  22. Rogério de Lemos, Paulo Asterio de Castro Guerra
    Software Architectures for Dependable Systems. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:263-264 [Conf]
  23. Rachid Guerraoui, Michel Raynal
    Fault-Tolerant Techniques for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:265- [Conf]
  24. Fabíola Gonçalves Pereira Greve
    Agreement Protocols in Environments with Temporal Uncertainties. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:266- [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002