Conferences in DBLP

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

1. 
   List of Reviewers. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:- [Conf]
   
2. 
   Organization. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:- [Conf]
   
3. 
   Message from the General Chair. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:- [Conf]
   
4. 
   Message from the Program Chair. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:- [Conf]
   
5. Constance L. Heitmeyer
   A Panacea or Academic Poppycock: Formal Methods Revisited. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:3-7 [Conf]
   
6. Andrea Servida
   The Future EU R&D on Security and Dependability: Moving Towards Resilience and Plasticity. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:8- [Conf]
   
7. Raymond A. Paul
   Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:9-12 [Conf]
   
8. Péter Domokos, István Majzik
   Design and Analysis of Fault Tolerant Architectures by Model Weaving. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:15-24 [Conf]
   
9. Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel
   Safe Allocation of Avionics Shared Resources. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:25-33 [Conf]
   
10. Chris Walter, Peter Ellis, Brian LaValley
    The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:34-43 [Conf]
    
11. Martin Jung, Francesca Saglietti
    Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:47-55 [Conf]
    
12. Gilles Muller, Julia L. Lawall, Hervé Duchesne
    A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:56-65 [Conf]
    
13. Yu Lei, W. Eric Wong
    A Novel Framework for Non-Deterministic Testing of Message-Passing Programs. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:66-75 [Conf]
    
14. Iain Bate, Philippa Conmy
    Safe Composition of Real Time Software. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:79-88 [Conf]
    
15. Naeem Seliya, Taghi M. Khoshgoftaar, Shi Zhong
    Analyzing Software Quality with Limited Fault-Proneness Defect Data. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:89-98 [Conf]
    
16. T. Scott Ankrum, Alfred H. Kromholz
    Structured Assurance Cases: Three Common Standards. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:99-108 [Conf]
    
17. Gergely Pintér, István Majzik
    Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:111-120 [Conf]
    
18. Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin
    View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:121-130 [Conf]
    
19. Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero
    The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:131-139 [Conf]
    
20. Naoki Kobayashi 0002, Tadashi Tadashi
    Bayesian Perspective of Optimal Checkpoint Placement. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:143-152 [Conf]
    
21. Dejan Desovski, Yan Liu, Bojan Cukic
    Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:153-162 [Conf]
    
22. Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone
    Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:163-172 [Conf]