HASE 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. HASE 2001: 3 - Jeffrey M. Voas:
Why Testing under Expected Operational Scenarios is Not Sufficient. HASE 2001: 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. HASE 2001: 7-10
Formal Methods
- Diego Latella, Mieke Massink:
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE 2001: 11-22 - Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Test-Sequence Generation from Formal Requirement Models. HASE 2001: 23-31 - Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy:
Model-Checking for Validation of a Fault Protection System. HASE 2001: 32-41
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. HASE 2001: 55-64 - Farokh B. Bastani, I-Ling Yen, Sung Kim:
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. HASE 2001: 65-74 - Edgar Nett, Martin Gergeleit, Michael Mock:
Mechanisms for a Reliable Cooperation of Vehicles. HASE 2001: 75-81 - Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara:
Verification of Assurance of Space On-Board Distributed Computer System. HASE 2001: 82-94
Testing
- Kerstin Buchacker, Volkmar Sieh:
Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects. HASE 2001: 95-105 - Sudipto Ghosh, Nishant Bawa, Gerald Craig, Ketaki Kalgaonkar:
A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications. HASE 2001: 106-116 - M. S. Fisher, Bojan Cukic:
Automating Techniques for Inspecting High Assurance Systems. HASE 2001: 117-126 - Yi Liu, Taghi M. Khoshgoftaar:
Genetic Programming Model for Software Quality Classification. HASE 2001: 127-138
Security
- Steve Goddard, Roger M. Kieckhafer, Y. Zhang:
An Unavailability Analysis of Firewall Sandwich Configurations. HASE 2001: 139-148
Systems
- Steve Goddard, Trevor Schroeder:
The SASHA Architecture for Network-Clustered Web Servers. HASE 2001: 163-172 - Purnendu Sinha, Neeraj Suri:
On Simplifying Modular Specification and Verification of Distributed Protocols. HASE 2001: 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. HASE 2001: 182-193 - David J. Thuente, John K. Whiteman:
Systems Engineering of Communication Protocols for Command and Control Systems. HASE 2001: 194-208
Railway Systems (Experience Reports)
- Giovanni Dipoppa, G. D'Alessandro, R. Semprini, Enrico Tronci:
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. HASE 2001: 209-219 - Masayuki Matsumoto, Satoru Kitamura, M. Sato:
High Assurance Technologies for Autonomous Decentralized Train Control System. HASE 2001: 220-227 - Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori:
Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. HASE 2001: 228-