The SCEAS System
Navigation Menu

Conferences in DBLP

SAFECOMP (safecomp)
2005 (conf/safecomp/2005)

  1. Jose Antonio Fonseca, Jorge Rady de Almeida Jr.
    CMMI RAMS Extension Based on CENELEC Railway Standard. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:1-12 [Conf]
  2. Robert Martinez, Torgeir Enkerud
    The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:13-23 [Conf]
  3. Nawal Addouche, Christian Antoine, Jacky Montmain
    Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:24-36 [Conf]
  4. Martin Hall-May, Tim Kelly
    Defining and Decomposing Safety Policy for Systems of Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:37-51 [Conf]
  5. George Bearfield, William Marsh
    Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:52-66 [Conf]
  6. Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
    Control and Data Flow Testing on Function Block Diagrams. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:67-80 [Conf]
  7. Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora
    Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:81-93 [Conf]
  8. Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
    Automatic Analysis of a Safety Critical Tele Control System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:94-107 [Conf]
  9. Brahim Hamid, Mohamed Mosbah
    A Formal Model for Fault-Tolerance in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:108-121 [Conf]
  10. Anjali Joshi, Mats Per Erik Heimdahl
    Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:122-135 [Conf]
  11. Zeshan Kurd, Tim P. Kelly
    Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:136-150 [Conf]
  12. Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla
    On the Effectiveness of Run-Time Checks. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:151-164 [Conf]
  13. Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj
    A Technique for Fault Tolerance Assessment of COTS Based Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:165-178 [Conf]
  14. Monica Kristiansen
    Finding Upper Bounds for Software Failure Probabilities - Experiments and Results. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:179-193 [Conf]
  15. Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas
    Justification of Smart Sensors for Nuclear Applications. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:194-207 [Conf]
  16. Massimo Felici
    Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:208-221 [Conf]
  17. Tage Stabell-Kulø, Simone Lupetti
    Public-Key Cryptography and Availability. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:222-232 [Conf]
  18. Lei Wang, Mingde Zhao, Zengwei Zheng, Zhaohui Wu
    End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:233-245 [Conf]
  19. Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea
    Safety Interfaces for Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:246-260 [Conf]
  20. Martin Skambraks
    A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:261-274 [Conf]
  21. J. H. Nyström, Philip W. Trinder, David J. King
    Are High-Level Languages Suitable for Robust Telecoms Software?. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:275-288 [Conf]
  22. Ola Løkberg, Øystein Skogstad
    Functional Apportioning of Safety Requirements on Railway Signalling Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:289-302 [Conf]
  23. Krzysztof Sacha
    Automatic Code Generation for PLC Controllers. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:303-316 [Conf]
  24. Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä, Jan-Ove Andersson
    The TACO Approach for Traceability and Communication of Requirements. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:317-329 [Conf]
  25. Bengt Ljungquist, Thomas Thelin
    An IEC 62061 Compliant Safety System Design Method for Machinery. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:330-343 [Conf]
  26. Tom Gilb
    Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:344-356 [Conf]
  27. Qiang Yan, Hua-ying Shu
    The Application of an Object-Oriented Method in Information System Security Evaluation. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:357-367 [Conf]
  28. Jose J. Gonzalez
    Towards a Cyber Security Reporting System - A Quality Improvement Process. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:368-380 [Conf]
  29. Atoosa P.-J. Thunem
    Security Research from a Multi-disciplinary and Multi-sectoral Perspective. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:381-389 [Conf]
  30. Denis Hatebur, Maritta Heisel
    Problem Frames and Architectures for Security Problems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:390-404 [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