HASE 2001: Albuquerque, NM, USA

@proceedings{DBLP:conf/hase/2001,
  title     = {6th IEEE International Symposium on High-Assurance Systems Engineering
               (HASE 2001), Special Topic: Impact of Networking, 24-26 October
               2001, Albuquerque, NM, USA, Proceedings},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1275-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynotes

• John C. Knight: Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. 3-4 BibTeX
• Arnold W. Pittler: Keynote Speaker. 4 BibTeX
• Jeffrey M. Voas: Why Testing under Expected Operational Scenarios is Not Sufficient. 5- BibTeX

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 BibTeX

Formal Methods

• Diego Latella, Mieke Massink: A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. 11-22 BibTeX
• Sanjai Rayadurgam, Mats Per Erik Heimdahl: Test-Sequence Generation from Formal Requirement Models. 23-31 BibTeX
• Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy: Model-Checking for Validation of a Fault Protection System. 32-41 BibTeX
• M. J. P. van Osch, Scott A. Smolka: Finite-State Analysis of the CAN Bus Protocol. 42- BibTeX

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 BibTeX
• Farokh B. Bastani, I-Ling Yen, Sung Kim: Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. 65-74 BibTeX
• Edgar Nett, Martin Gergeleit, Michael Mock: Mechanisms for a Reliable Cooperation of Vehicles. 75-81 BibTeX
• Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara: Verification of Assurance of Space On-Board Distributed Computer System. 82- BibTeX

Testing

• Kerstin Buchacker, Volkmar Sieh: Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects. 95-105 BibTeX
• Sudipto Ghosh, Nishant Bawa, Gerald Craig, Ketaki Kalgaonkar: A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications. 106-116 BibTeX
• M. S. Fisher, Bojan Cukic: Automating Techniques for Inspecting High Assurance Systems. 117-126 BibTeX
• Yi Liu, Taghi M. Khoshgoftaar: Genetic Programming Model for Software Quality Classification. 127- BibTeX

Security

• Steve Goddard, Roger M. Kieckhafer, Y. Zhang: An Unavailability Analysis of Firewall Sandwich Configurations. 139-148 BibTeX
• Alec Yasinsac, Justin Childs: Analyzing Internet Security Protocols. 149-162 BibTeX

Systems

• Steve Goddard, Trevor Schroeder: The SASHA Architecture for Network-Clustered Web Servers. 163-172 BibTeX
• Purnendu Sinha, Neeraj Suri: On Simplifying Modular Specification and Verification of Distributed Protocols. 173-181 BibTeX
• 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 BibTeX
• David J. Thuente, John K. Whiteman: Systems Engineering of Communication Protocols for Command and Control Systems. 194- BibTeX

Railway Systems (Experience Reports)

• Giovanni Dipoppa, G. D'Alessandro, R. Semprini, Enrico Tronci: Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. 209- BibTeX
• Masayuki Matsumoto, Satoru Kitamura, M. Sato: High Assurance Technologies for Autonomous Decentralized Train Control System. 220-219 BibTeX
• Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori: Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. 228- BibTeX