Search - Archive ouverte HAL Access content directly

Filter your results

24 Results
Image document

A tool for checking secure interaction in Java Cards

Marco Avvenuti , Cinzia Bernardeschi , Nicoletta de Francesco , Paolo Masci
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers hal-00380664v1
Image document

Model Checking by Censoring Markov Chains and Stochastic Comparison

Nihal Pekergin , Sana Younes
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p
Conference papers hal-00380667v1
Image document

Observation Graph implementation for TINA toolbox

Rodrigo Tacla Saad , François Vernadat , Bernard Berthomieu , Silvano Dal Zilio
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers hal-00380671v1
Image document

Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet

Romaric Guillerm , Nabil Sadou , Hamid Demmou
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers hal-00380707v1
Image document

Automatic web service robustness testing from WSDL descriptions

Sébastien Salva , Issam Rabhi
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers hal-00380717v1
Image document

A Tool for Assessing Fault Tolerance Mechanisms applied to Web Service applications

Khaled Farj , Neil A. Speirs
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Conference papers hal-00380729v1
Image document

Testing Web Services for Robustness: A Tool Demo

Nuno Laranjeiro , Marco Vieira
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, France. 4 p
Conference papers hal-00381072v1
Image document

Revisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation

Virginia Papailiopoulou , Besnik Seljimi , Ioannis Parissis
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers hal-00381548v1
Image document

Risk-based Statistical Testing: A Refinement-based Approach to the Reliability Analysis of Safety-Critical Systems

Fabian Zimmermann , Robert Eschbach , Johannes Kloos , Thomas Bauer
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers hal-00381556v1
Image document

Distinguish Dynamic Basic Blocks by Structural Statistical Testing

Matthieu Petit , Arnaud Gotlieb
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers hal-00381557v1
Image document

Code Coverage Analysis for Concurrent Programming Languages Using High-Level Decision Diagrams

Maksim Jenihhin , Jaan Raik , Anton Chepurov , Uljana Reinsalu , Raimund Ubar et al.
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers hal-00381559v1
Image document

Experiences from Verifying a Partitioning Kernel Using Fault Injection

Raul Barbosa , Johan Karlsson
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers hal-00381561v1
Image document

Attack Injection for Performance and Dependability Assessment of Ad hoc Networks

Jesús Friginal , Juan-Carlos Ruiz , David de Andrés , Pedro Gil
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers hal-00381566v1
Image document

Robustness Testing of Robot Controller Software

Hoang-Nam Chu , Jean Arlat , Marc-Olivier Killijian , Benjamin Lussier , David Powell et al.
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Conference papers hal-00381686v1
Image document

Model-Driven Testing based on Markov Chain Usage Models in the Automotive Domain

Sebastian Siegl , Winfried Dulz , Reinhard German , Gerhard Kiffe
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 6 p
Conference papers hal-00381689v1
Image document

Validating Failure Detection Isolation and Recovery Strategies using Timed Automata

Ana-Elena Rugina , Jean-Paul Blanquart , Raymond Soumagne
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p
Conference papers hal-00381693v1
Image document

Experiences in testing a Grid service in a production environment

Flavia Donno , Andrea Domenici
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers hal-00381702v1
Image document

Fault Tolerant Middleware for Agent Systems: A Refinement Approach

Linas Laibinis , Elena Troubitsyna , Alexei Iliasov , Alexander B. Romanovsky
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p
Conference papers hal-00381724v1
Image document

Application of Early Error Detection for Handling Degraded Modes of Operation

Thomas Robert , Jean-Charles Fabre , Matthieu Roy
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Conference papers hal-00381913v1
Image document

Some Challenges in Adaptive Fault Tolerant Computing

François Taïani , Jean-Charles Fabre
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Conference papers hal-00381925v1
Image document

Deriving Specifications of Dependable Systems: toward a Method

Manuel Mazzara
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
Conference papers hal-00381939v1
Image document

Making Formal Verification Amenable to Real-Time UML Practitioners

Pierre de Saqui-Sannes , Ludovic Apvrille
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Conference papers hal-00381949v1
Image document

Standards-based Assessment of Development Toolchains in Safety-Critical Systems

Zoltán Szatmári
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Conference papers hal-00381960v1
Image document

Criticality and Confidence Issues in Avionics

Youssef Laarouchi , Yves Deswarte , David Powell , Jean Arlat , Eric de Nadai et al.
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
Conference papers hal-00381966v1