default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHASE 1997: Washington, D.C., USA
- 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings. IEEE Computer Society 1997, ISBN 0-8186-7971-9
Realism Versus Optimism: Integrating and Evaluating Fault Tolerance and Formal Methods
- Ann T. Tai, Kishor S. Trivedi, Herbert Hecht:
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. 2-13 - James M. Boyle, R. Daniel Resler, Victor L. Winter:
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. 14-31
Key Applications in Embedded Systems
- Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam:
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. 32-37
Integrated Design and Development of High-Assurance Systems
- Thomas F. Lawrence:
The Quality of Service Model and High Assurance. 38-41
Tools and Techniques for Formal Specification and Their Use in the Real World
- Insup Lee, Oleg Sokolsky:
Analytical Design of Evolutionary Control Flow Components. 48-55 - Mats Per Erik Heimdahl:
Verifying Communication Constraints in RSML Specifications. 56-63
High-Assurance Techniques and Their Role in Real-World Applications
- Gilberto Matos, James M. Purtilo, Elizabeth L. White:
Automated Computation of Decomposable Synchronization Conditions. 72-77 - Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw:
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. 78-84 - Andrea Bondavalli
, Ivan Mura, Manuela Nelli:
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. 85-93
Practical Methods For Designing, Implementing, then Automatically Analyzing Embedded Real-Time Software
- Mario Dal Cin:
Verifying Fault-Tolerant Behavior of State Machines. 94-99 - Minsoon Kweon, Soomyung Park, Sangjin Joung, Sunyoung Han, Moon-hae Kim:
Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW. 100-103 - Anouar Jamoussi:
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases. 104-107 - F. Maurice, Abdelmalek Benzekri, Yves Raynaud:
Evaluation and Improvement of Software Products and Processes based on Measurement. 108-113 - Sandeepan Sanyal, Viren Shah, Samrat Bhattacharya:
Framework of a Software Reliability Engineering Tool. 114-119 - Zeyad Alkhalifa, V. S. S. Nair:
Design of a Portable Control-Flow Checking Technique. 120-123 - Edgar Nett, Michael Mock:
A Recovery Model for Extended Real-Time Transactions. 124-129 - William G. Castaneda:
Software Complexity Analysis on Department of Defense Real-Time Systems. 130-133
Integrating Specification, Design, and Evaluation Techniques for High-Assurance Systems
- Robert W. Sumners, Jacob A. Abraham:
Hierarchical Specification of System Behavior. 134-140 - K. H. Kim, Chittur Subbaraman, Eltefaat Shokri:
High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication. 141-148 - Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.:
ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems. 149-154 - Taghi M. Khoshgoftaar, Edward B. Allen, Robert Halstead, Gary P. Trio, Ronald M. Flass:
Process Measures for Predicting Software Quality. 155-161
Key Applications in High-Assurance Systems
- 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. 162-167 - Kinji Mori:
High-Assurance Application Systems and Their Technologies Under Changing Situations. 168-175
Testing, Verification, and QoS Control for High-Assurance Systems
- Herbert Hecht, Myron Hecht, Dolores R. Wallace:
Toward More Effective Testing for High-Assurance Systems. 176-181 - Bojan Cukic:
Combining Testing and Correctness Verification in Software Reliability Assessment. 182-187 - Jeffrey J. P. Tsai, Eric Y. T. Juan:
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. 188-193 - Saurav Chatterjee, Jaroslaw J. Sydir, Bikash Sabata, Thomas F. Lawrence:
Modeling Applications for Adaptive QoS-based Resource Management. 194-201 - Husni Fahmi, Raymond A. Paul, Ahmed R. Bashandy, Arif Ghafoor:
Ensuring Quality of Service for Multimedia Applications in a LAN Environment. 202-208
Toward the Integration of Multiple Criteria in High-Assurance Systems
- Michel Raynal:
A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. 209-214 - Mehrdad Hassani, David B. Stewart:
A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems. 215-220 - Guillem Bernat, José Miró-Julià, Julián Proenza:
A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System. 221-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-17 00:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
