The SCEAS System
Navigation Menu

Conferences in DBLP

High-Assurance Systems (HASE) (hase)
1996 (conf/hase/1996)

  1. Norman E. Johnson
    High Assurance Life and Death. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:2-0 [Conf]
  2. David L. MacPherson
    Specification and Testing of High-Assurance Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:8-15 [Conf]
  3. Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar
    Specifying fault tolerance in mission critical systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:24-31 [Conf]
  4. Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
    Specifying timing constraints in real-time object-oriented systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:32-39 [Conf]
  5. Ramkumar V. Pichai, Joseph E. Urban
    A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:40-0 [Conf]
  6. I-Ling Yen
    Computer security: the good, the bad and the ugly. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:52-53 [Conf]
  7. V. T. Thomas
    Ten practical techniques for high assurance systems engineering. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:55-56 [Conf]
  8. Victor L. Winter
    Software on the edge. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:57-0 [Conf]
  9. Raymond A. Paul, M. Farrukh Khan, Shahab Baqai, Arif Ghafoor
    Ensuring quality in distributed multimedia systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:60-67 [Conf]
  10. Victor L. Winter, James M. Boyle
    Proving refinement transformations for deriving high-assurance software. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:68-77 [Conf]
  11. Jeffrey M. Voas, Frank Charron, Keith W. Miller
    Investigating rare-event failure tolerance: reductions in future uncertainty. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:78-85 [Conf]
  12. Roymond S. C. Shanahan
    Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD). [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:86-92 [Conf]
  13. José M. Drake
    Writing a user functional description for an Army software metrics support tool. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:93-0 [Conf]
  14. Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
    A new compositional method for condensed state-space verification. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:104-111 [Conf]
  15. Jian Chen, Richard H. Carver
    Selecting and mapping test sequences from formal specifications of concurrent programs. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:112-0 [Conf]
  16. Virginia L. Castor
    The Department of Defense Science and Technology (S&T) Program. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:130-0 [Conf]
  17. Nuno Neves, W. Kent Fuchs
    Adaptive recovery for mobile environments. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:134-141 [Conf]
  18. Scott Dawson, Farnam Jahanian, Todd Mitton
    Fault injection experiments on real-time protocols using ORCHESTRA. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:142-149 [Conf]
  19. David B. Stewart, Pradeep K. Khosla
    Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:150-157 [Conf]
  20. Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
    Transaction integration for reusable hard real-time components. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:166-175 [Conf]
  21. Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
    Flow analysis for concurrent, reactive, real-time systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:176-183 [Conf]
  22. Sanghyun Ahn
    Real-time multicast connection establishment over ATM networks. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:184-0 [Conf]
  23. Shi-Kuo Chang
    Active Multimedia Communication Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:194-0 [Conf]
  24. Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz
    A framework for MLS interoperability. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:198-205 [Conf]
  25. Thomas F. Keefe, Wei-Tek Tsai
    A multiversion transaction scheduler for centralized multilevel secure database systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:206-213 [Conf]
  26. Farokh B. Bastani, Bojan Cukic
    Impact of program transformation on software reliability assessment. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:214-221 [Conf]
  27. Takamasa Nara, Masahiro Nakata, Akihiro Ooishi
    Software reliability growth analysis-application of NHPP models and its evaluation. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:222-227 [Conf]
  28. Richard Yu
    Reliability prediction method for electronic systems: a comparative reliability assessment method. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:237-0 [Conf]
  29. Taghi M. Khoshgoftaar, Edward B. Allen, Lofton A. Bullard, Robert Halstead, Gary P. Trio
    A tree-based classification model for analysis of a military software system. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:244-0 [Conf]
  30. Mats Per Erik Heimdahl, Barbara J. Czerny
    Using PVS to analyze hierarchical state-based requirements for completeness and consistency. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:252-262 [Conf]
  31. Qi Shi, Ning Zhang
    A general approach to secure components composition. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:263-286 [Conf]
  32. Jyhjong Lin, David Chenho Kung, Pei Hsia
    Top-down development of real-time software specification. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:271-0 [Conf]
  33. Heidrun Engel
    Data flow transformations to detect results which are corrupted by hardware faults. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:279-251 [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