The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Ann T. Tai, Kishor S. Trivedi, Herbert Hecht
    On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:2-13 [Conf]
  2. James M. Boyle, R. Daniel Resler, Victor L. Winter
    Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:14-0 [Conf]
  3. Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam
    Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:32-0 [Conf]
  4. Thomas F. Lawrence
    The Quality of Service Model and High Assurance. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:38-0 [Conf]
  5. Insup Lee, Oleg Sokolsky
    Analytical Design of Evolutionary Control Flow Components. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:48-55 [Conf]
  6. Mats Per Erik Heimdahl
    Verifying Communication Constraints in RSML Specifications. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:56-0 [Conf]
  7. Gilberto Matos, James M. Purtilo, Elizabeth L. White
    Automated Computation of Decomposable Synchronization Conditions. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:72-77 [Conf]
  8. Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw
    A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:78-84 [Conf]
  9. Andrea Bondavalli, Ivan Mura, Manuela Nelli
    Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:85-0 [Conf]
  10. Mario Dal Cin
    Verifying Fault-Tolerant Behavior of State Machines. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:94-99 [Conf]
  11. Minsoon Kweon, Soomyung Park, Sangjin Joung, Sunyoung Han, Moon-hae Kim
    Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:100-103 [Conf]
  12. Anouar Jamoussi
    An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:104-107 [Conf]
  13. F. Maurice, Abdelmalek Benzekri, Yves Raynaud
    Evaluation and Improvement of Software Products and Processes based on Measurement. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:108-113 [Conf]
  14. S. Sanyal, Viren Shah, Samrat Bhattacharya
    Framework of a Software Reliability Engineering Tool. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:114-119 [Conf]
  15. Zeyad Alkhalifa, V. S. S. Nair
    Design of a Portable Control-Flow Checking Technique. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:120-123 [Conf]
  16. Edgar Nett, Michael Mock
    A Recovery Model for Extended Real-Time Transactions. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:124-129 [Conf]
  17. William G. Castaneda
    Software Complexity Analysis on Department of Defense Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:130-0 [Conf]
  18. Robert W. Sumners, Jacob A. Abraham
    Hierarchical Specification of System Behavior. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:134-140 [Conf]
  19. K. H. Kim, Chittur Subbaraman, Eltefaat Shokri
    High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:141-148 [Conf]
  20. Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.
    ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:149-154 [Conf]
  21. Taghi M. Khoshgoftaar, Edward B. Allen, Robert Halstead, Gary P. Trio, Ronald M. Flass
    Process Measures for Predicting Software Quality. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:155-0 [Conf]
  22. J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello
    Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:162-167 [Conf]
  23. Kinji Mori
    High-Assurance Application Systems and Their Technologies Under Changing Situations. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:168-0 [Conf]
  24. Herbert Hecht, Myron Hecht, Dolores R. Wallace
    Toward More Effective Testing for High-Assurance Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:176-181 [Conf]
  25. Bojan Cukic
    Combining Testing and Correctness Verification in Software Reliability Assessment. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:182-187 [Conf]
  26. Jeffrey J. P. Tsai, Eric Y. T. Juan
    Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:188-193 [Conf]
  27. Saurav Chatterjee, Jaroslaw J. Sydir, Bikash Sabata, Thomas F. Lawrence
    Modeling Applications for Adaptive QoS-based Resource Management. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:194-201 [Conf]
  28. Husni Fahmi, Raymond A. Paul, Ahmed Bashandy, Arif Ghafoor
    Ensuring Quality of Service for Multimedia Applications in a LAN Environment. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:202-0 [Conf]
  29. Michel Raynal
    A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:209-214 [Conf]
  30. Mehrdad Hassani, David B. Stewart
    A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:215-220 [Conf]
  31. Guillem Bernat, José Miró-Julià, Julian Proenza
    A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:221-0 [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