Filter your results
- 24
- 24
- 24
- 24
- 24
- 7
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
24 Results
|
|
sorted by
|
|
A tool for checking secure interaction in Java Cards12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers
hal-00380664v1
|
||
|
Model Checking by Censoring Markov Chains and Stochastic Comparison12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p
Conference papers
hal-00380667v1
|
||
|
Observation Graph implementation for TINA toolbox12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers
hal-00380671v1
|
||
|
Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers
hal-00380707v1
|
||
|
Automatic web service robustness testing from WSDL descriptions12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers
hal-00380717v1
|
||
|
A Tool for Assessing Fault Tolerance Mechanisms applied to Web Service applications12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Conference papers
hal-00380729v1
|
||
|
Testing Web Services for Robustness: A Tool Demo12th European Workshop on Dependable Computing, EWDC 2009, May 2009, France. 4 p
Conference papers
hal-00381072v1
|
||
|
Revisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers
hal-00381548v1
|
||
|
Risk-based Statistical Testing: A Refinement-based Approach to the Reliability Analysis of Safety-Critical Systems12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers
hal-00381556v1
|
||
|
Distinguish Dynamic Basic Blocks by Structural Statistical Testing12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers
hal-00381557v1
|
||
|
Code Coverage Analysis for Concurrent Programming Languages Using High-Level Decision Diagrams12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers
hal-00381559v1
|
||
|
Experiences from Verifying a Partitioning Kernel Using Fault Injection12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers
hal-00381561v1
|
||
|
Attack Injection for Performance and Dependability Assessment of Ad hoc Networks12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers
hal-00381566v1
|
||
|
Robustness Testing of Robot Controller Software12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Conference papers
hal-00381686v1
|
||
|
Model-Driven Testing based on Markov Chain Usage Models in the Automotive Domain12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 6 p
Conference papers
hal-00381689v1
|
||
|
Validating Failure Detection Isolation and Recovery Strategies using Timed Automata12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p
Conference papers
hal-00381693v1
|
||
|
Experiences in testing a Grid service in a production environment12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers
hal-00381702v1
|
||
|
Fault Tolerant Middleware for Agent Systems: A Refinement Approach12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p
Conference papers
hal-00381724v1
|
||
|
Application of Early Error Detection for Handling Degraded Modes of Operation12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Conference papers
hal-00381913v1
|
||
|
Some Challenges in Adaptive Fault Tolerant Computing12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Conference papers
hal-00381925v1
|
||
|
Deriving Specifications of Dependable Systems: toward a Method12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers
hal-00381939v1
|
||
|
Making Formal Verification Amenable to Real-Time UML Practitioners12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Conference papers
hal-00381949v1
|
||
|
Standards-based Assessment of Development Toolchains in Safety-Critical Systems12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers
hal-00381960v1
|
||
|
Criticality and Confidence Issues in Avionics12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Conference papers
hal-00381966v1
|