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. 3-4
Arnold W. Pittler: Keynote Speaker. 4
Jeffrey M. Voas: Why Testing under Expected Operational Scenarios is Not Sufficient. 5-

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
M. J. P. van Osch, Scott A. Smolka: Finite-State Analysis of the CAN Bus Protocol. 42-

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-

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-

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-

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-
Masayuki Matsumoto, Satoru Kitamura, M. Sato: High Assurance Technologies for Autonomous Decentralized Train Control System. 220-219
Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori: Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. 228-

Last update Wed May 22 23:40:25 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page