The SCEAS System
Navigation Menu

Conferences in DBLP

SAFECOMP (safecomp)
2003 (conf/safecomp/2003)

  1. M. Thomas
    Issues in Safety Assurance. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:1-7 [Conf]
  2. D. Wright
    Elicitation and Validation of Graphical Dependability Models. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:8-21 [Conf]
  3. A. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
    Visual Modeling and Verification of Distributed Reactive Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:22-34 [Conf]
  4. Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci
    Automatic Timeliness Verification of a Public Mobile Network. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:35-48 [Conf]
  5. Marco Bozzano, Adolfo Villafiorita
    Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:49-62 [Conf]
  6. Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones
    Integrity Static Analysis of COTS/SOUP. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:63-76 [Conf]
  7. Zeshan Kurd, Tim Kelly
    Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:77-91 [Conf]
  8. Atte Helminen, U. Pulkkinen
    Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:92-102 [Conf]
  9. Guy Dewsbury, Ian Sommerville, K. Clarke, Mark Rouncefield
    A Dependability Model for Domestic Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:103-115 [Conf]
  10. Johannes Grünbauer, H. Hollmann, Jan Jürjens, Guido Wimmel
    Modelling and Verification of Layered Security Protocols: A Bank Application. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:116-129 [Conf]
  11. Stefano Bistarelli, Simon N. Foley
    A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:130-143 [Conf]
  12. Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson
    Software Tamper Resistance Using Program Certificates. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:144-158 [Conf]
  13. Constance L. Heitmeyer
    Developing High Assurance Systems: On the Role of Software Tools. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:159-164 [Conf]
  14. Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
    Web Service Availability - Impact of Error Recovery. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:165-178 [Conf]
  15. Stephen Gilmore, Leïla Kloul
    A Unified Tool for Performance Modelling and Prediction. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:179-192 [Conf]
  16. Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, J. Miler, M. Olszewski
    An Approach to Trust Case Development. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:193-206 [Conf]
  17. J. Gorman, S. Walderhaug, H. Kvålen
    Reliable Data Replication in a Wireless Medical Emergency Network. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:207-220 [Conf]
  18. Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
    Critical Feature Analysis of a Radiotherapy Machine. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:221-234 [Conf]
  19. K. Driscoll, B. Hall, Håkan Sivencrona, P. Zumsteg
    Byzantine Fault Tolerance, from Theory to Reality. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:235-248 [Conf]
  20. O. Rooks, M. Armbruster, S. Büchli, A. Sulzmann, G. Spiegelberg, U. Kiencke
    Redundancy Management for Drive-by-Wire Computer Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:249-262 [Conf]
  21. C. Mataix, P. Martín, F. J. Rodríguez, M. J. Manzano, J. Pozo
    Fault-Tolerant Communication System to Improve Safety in Railway Environments. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:263-274 [Conf]
  22. Nagarajan Kandasamy, John P. Hayes, Brian T. Murray
    Dependable Communication Synthesis for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:275-288 [Conf]
  23. W. Weber, H. Tondok, M. Bachmayer
    Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:289-302 [Conf]
  24. Paul Mason, Amer Saeed, Steve Riddle
    On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:303-316 [Conf]
  25. Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis
    Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:317-330 [Conf]
  26. G. Angelis, Stefanos Gritzalis, Costas Lambrinoudakis
    Security Policy Configuration Issues in Grid Computing Environments. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:331-341 [Conf]
  27. Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, G. Vicoli
    Dependability and Survivability of Large Complex Critical Infrastructures. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:342-353 [Conf]
  28. Alberto Pasquini, S. Pozzi
    Safety Assessment of Experimental Air Traffc Management Procedures. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:354-367 [Conf]
  29. Chris W. Johnson
    The Application of Causal Analysis Techniques for Computer-Related Mishaps. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:368-381 [Conf]
  30. Shamus P. Smith, Michael D. Harrison
    Reuse in Hazard Analysis: Identification and Support. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:382-395 [Conf]
  31. N. Storey, A. Faulkner
    The Characteristics of Data in Data-Intensive Safety-Related Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:396-409 [Conf]
  32. Chris W. Johnson
    Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:410-424 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002