The SCEAS System
Navigation Menu

Conferences in DBLP

SAFECOMP (safecomp)
2002 (conf/safecomp/2002)

  1. Sandro Bologna, Erik Hollnagel
    Human-Computer System Dependability. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:1-3 [Conf]
  2. Erik Hollnagel
    Dependability of Joint Human-Computer Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:4-9 [Conf]
  3. Andrea Servida
    Dependability in the Information Society: Getting Ready for the FP6. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:10-18 [Conf]
  4. Jan Bredereke, Axel Lankenau
    A Rigorous View of Mode Confusion. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:19-31 [Conf]
  5. Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield
    Dependability as Ordinary Action. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:32-43 [Conf]
  6. Yoon-Jung Rhee, Tai-Yun Kim
    Practical Solutions to Key Recovery Based on PKI in IP Security. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:44-52 [Conf]
  7. Thomas Droste
    Redundant Data Acquisition in a Distributed Security Compound. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:53-60 [Conf]
  8. Ferdinand J. Dafelmair
    Survivability Strategy for a Security Critical Process. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:61-69 [Conf]
  9. Klaus D. Heidtmann
    Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:70-81 [Conf]
  10. Kevin Lano, David Clark, Kelly Androutsopoulos
    Safety and Security Analysis of Object-Oriented Models. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:82-93 [Conf]
  11. Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theodosis Dimitrakos
    The CORAS Framework for a Model-Based Risk Management Process. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:94-105 [Conf]
  12. John C. Knight
    Software Challenges in Aviation Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:106-112 [Conf]
  13. Wenhui Zhang
    A Strategy for Improving the Efficiency of Procedure Verification. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:113-125 [Conf]
  14. Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
    Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:126-138 [Conf]
  15. Peter T. Popov
    Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:139-150 [Conf]
  16. Luping Chen, John H. R. May, Gordon Hughes
    Assessment of the Benefit of Redundant Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:151-162 [Conf]
  17. Peter G. Bishop
    Estimating Residual Faults from Code Coverage. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:163-174 [Conf]
  18. Jef Jacobs, Jos J. M. Trienekens
    Towards a Metrics Based Verification and Validation Maturity Model. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:175-185 [Conf]
  19. Stephen Paynter, Bob W. Born
    Analysing the Safety of a Software Development Process. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:186-197 [Conf]
  20. Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
    Software Criticality Analysis of COTS/SOUP. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:198-211 [Conf]
  21. Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
    Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:212-223 [Conf]
  22. Ítalo Romani de Oliveira, Paulo Sérgio Cugnasca
    Checking Safe Trajectories of Aircraft Using Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:224-235 [Conf]
  23. Yiannis Papadopoulos
    Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:236-248 [Conf]
  24. Bev Littlewood
    On Diversity, and the Elusiveness of Independence. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:249-251 [Conf]
  25. MahdiReza Mohajerani, Ali Moeini
    An Approach to a New Network Security Architecture for Academic Environments. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:252-260 [Conf]
  26. Francisco Rodríguez, José Carlos Campelo, Juan José Serrano
    A Watchdog Processor Architecture with Minimal Performance Overhead. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:261-272 [Conf]
  27. Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
    Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:273-283 [Conf]
  28. Babita Sharma, S. D. Dhodapkar, S. Ramesh
    Assertion Checking Environment (ACE) for Formal Verification of C Programs. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:284-295 [Conf]
  29. Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
    Safety Analysis of the Height Control System for the Elbtunnel. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:296-308 [Conf]
  30. Titos Saridakis
    Dependability and Configurability: Partners or Competitors in Pervasive Computing? [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:309-320 [Conf]
  31. Iain Bate, Tim Kelly
    Architectural Considerations in the Certification of Modular Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:321-333 [Conf]
  32. Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner
    A Problem-Oriented Approach to Common Criteria Certification. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:334-346 [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