The SCEAS System
Navigation Menu

Conferences in DBLP

High-Assurance Systems (HASE) (hase)
2001 (conf/hase/2001)

  1. John C. Knight
    Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:3-4 [Conf]
  2. Arnold W. Pittler
    Keynote Speaker. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:4- [Conf]
  3. Jeffrey M. Voas
    Why Testing under Expected Operational Scenarios is Not Sufficient. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:5-0 [Conf]
  4. Allen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu
    Software Dependability in Distributed and Mobile Computing Environments. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:7-10 [Conf]
  5. Diego Latella, Mieke Massink
    A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:11-22 [Conf]
  6. Sanjai Rayadurgam, Mats Per Erik Heimdahl
    Test-Sequence Generation from Formal Requirement Models. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:23-31 [Conf]
  7. Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy
    Model-Checking for Validation of a Fault Protection System. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:32-41 [Conf]
  8. M. J. P. van Osch, Scott A. Smolka
    Finite-State Analysis of the CAN Bus Protocol. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:42-0 [Conf]
  9. Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiere, Victor L. Winter, Deepak Kapur
    A Survey: Applying Formal Methods to a Software Intensive System. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:55-64 [Conf]
  10. Farokh B. Bastani, I-Ling Yen, Sung Kim
    Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:65-74 [Conf]
  11. Edgar Nett, Martin Gergeleit, Michael Mock
    Mechanisms for a Reliable Cooperation of Vehicles. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:75-81 [Conf]
  12. Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara
    Verification of Assurance of Space On-Board Distributed Computer System. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:82-0 [Conf]
  13. Kerstin Buchacker, Volkmar Sieh
    Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:95-105 [Conf]
  14. Sudipto Ghosh, Nishant Bawa, Gerald Craig, Ketaki Kalgaonkar
    A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:106-116 [Conf]
  15. M. S. Fisher, Bojan Cukic
    Automating Techniques for Inspecting High Assurance Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:117-126 [Conf]
  16. Yi Liu, Taghi M. Khoshgoftaar
    Genetic Programming Model for Software Quality Classification. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:127-0 [Conf]
  17. Steve Goddard, Roger M. Kieckhafer, Y. Zhang
    An Unavailability Analysis of Firewall Sandwich Configurations. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:139-148 [Conf]
  18. Alec Yasinsac, Justin Childs
    Analyzing Internet Security Protocols. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:149-162 [Conf]
  19. Steve Goddard, Trevor Schroeder
    The SASHA Architecture for Network-Clustered Web Servers. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:163-172 [Conf]
  20. Purnendu Sinha, Neeraj Suri
    On Simplifying Modular Specification and Verification of Distributed Protocols. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:173-181 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:182-193 [Conf]
  22. David J. Thuente, John K. Whiteman
    Systems Engineering of Communication Protocols for Command and Control Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:194-0 [Conf]
  23. Giovanni Dipoppa, G. D'Alessandro, R. Semprini, Enrico Tronci
    Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:209-0 [Conf]
  24. Masayuki Matsumoto, Satoru Kitamura, M. Sato
    High Assurance Technologies for Autonomous Decentralized Train Control System. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:220-219 [Conf]
  25. Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori
    Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:228-0 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002