default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHASE 2001: Albuquerque, NM, USA
- 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings. IEEE Computer Society 2001, ISBN 0-7695-1275-5
Keynotes
- John C. Knight:
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. 3 - Arnold W. Pittler:
Keynote Speaker. 4 - Jeffrey M. Voas:
Why Testing under Expected Operational Scenarios is Not Sufficient. 5-10
Panel
- Allen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu:
Software Dependability in Distributed and Mobile Computing Environments. 7-10
Formal Methods
- Diego Latella
, Mieke Massink:
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. 11-22 - Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Test-Sequence Generation from Formal Requirement Models. 23-31 - Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy:
Model-Checking for Validation of a Fault Protection System. 32-41 - Michiel van Osch, Scott A. Smolka:
Finite-State Analysis of the CAN Bus Protocol. 42-54
Transportation
- Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System. 55-64 - Farokh B. Bastani, I-Ling Yen, Sung Kim:
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. 65-74 - Edgar Nett, Martin Gergeleit, Michael Mock:
Mechanisms for a Reliable Cooperation of Vehicles. 75-81 - Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara:
Verification of Assurance of Space On-Board Distributed Computer System. 82-94
Testing
- Kerstin Buchacker, Volkmar Sieh:
Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects. 95-105 - Sudipto Ghosh, Nishant Bawa, Gerald Craig, Ketaki Kalgaonkar:
A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications. 106-116 - M. S. Fisher, Bojan Cukic:
Automating Techniques for Inspecting High Assurance Systems. 117-126 - Yi Liu, Taghi M. Khoshgoftaar:
Genetic Programming Model for Software Quality Classification. 127-138
Security
- Steve Goddard, Roger M. Kieckhafer, Y. Zhang:
An Unavailability Analysis of Firewall Sandwich Configurations. 139-148 - Alec Yasinsac, Justin Childs:
Analyzing Internet Security Protocols. 149-162
Systems
- Steve Goddard, Trevor Schroeder:
The SASHA Architecture for Network-Clustered Web Servers. 163-172 - Purnendu Sinha, Neeraj Suri:
On Simplifying Modular Specification and Verification of Distributed Protocols. 173-181 - Gisele Rodrigues Mesquita Ferreira, Cecília M. F. Rubira, Rogério de Lemos:
Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. 182-193 - David J. Thuente, John K. Whiteman:
Systems Engineering of Communication Protocols for Command and Control Systems. 194-208
Railway Systems (Experience Reports)
- Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci:
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. 209-219 - Masayuki Matsumoto, Satoru Kitamura, M. Sato:
High Assurance Technologies for Autonomous Decentralized Train Control System. 220-227 - Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori:
Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. 228-
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 2025-02-07 23:56 CET 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:
