Retour au site du LAAS-CNRS

Dependability issues in AI based autonomous systems for space applications

D.POWELL, P.THEVENOD-FOSSE

TSF

Manifestations avec acte à diffusion limitée : 2nd IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse (France), 7-8 Octobre 2002, pp.163-177 , N° 02381

Diffusable

Ajouter au panier 53724

Dependable Computing; EDCC-4

A.BONDAVALLI, P.THEVENOD-FOSSE

CNUCE, TSF

Ouvrage (éditeur) : Lecture Notes in Computer Science 2485, Springer, N°ISBN 3-540-00012-7, 2002, 282p. , N° 03140

Diffusable

Ajouter au panier 100622

A statistical approach for testing object-oriented critical software

P.CHEVALLEY, P.THEVENOD-FOSSE

TSF

Rapport de Contrat : Contrat Rockwell-Collins France, Juin 2002, 29p. , N° 02270

Diffusion restreinte

Ajouter au panier 52622

Stepwise construction of test scenarios for property-oriented testing

O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Rapport LAAS N°02216, Mai 2002, 11p.

Diffusable

Ajouter au panier 52085

Property-based validation of component systems

O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK, N.MOFFAT, I.ZAKKIUDIN

TSF, QinetiQ

Rapport de Contrat : DSoS, Project IST-1999-11585, Avril 2002, 51p. , N° 02212

Diffusable

Ajouter au panier 52040

The design and validation of reflective fault-tolerant CORBA-based systems

J.C.FABRE, M.O.KILLIJIAN, J.C.RUIZ-GARCIA, P.THEVENOD-FOSSE

TSF

Revue Scientifique : IEEE Distributed Systems Online, Vol.3, N°3, 4p., 15 Mars 2002 , N° 02147

Diffusable

Ajouter au panier 51356

An empirical evaluation of statistical testing designed from UML state diagrams: the flight guidance system case study

P.CHEVALLEY, P.THEVENOD-FOSSE

TSF

Manifestation avec acte : 12th International Symposium on Software Reliability Engineering (ISSRE'2001), Hong Kong, 27-30 Novembre 2001, pp.254-263 , N° 01187

Diffusable

Ajouter au panier 48923

Automated generation of statistical test cases from UML state diagrams

P.CHEVALLEY, P.THEVENOD-FOSSE

TSF

Manifestation avec acte : 25th Annual International Computer Software & Applications Conference (COMPSAC'01), Chicago (USA), 8-12 Octobre 2001, pp.205-214 , N° 00505

Diffusable

Ajouter au panier 47756

Testing metaobject protocols generated by open compilers for safety-critical systems

J.C.RUIZ-GARCIA, J.C.FABRE, P.THEVENOD-FOSSE

TSF

Manifestation avec acte : 3rd International Conference REFLECTION 2001, Kyoto (Japon), 25-28 Septembre 2001 , N° 01141

Diffusable

Ajouter au panier 47552

Property-oriented testing based on simulated annealing

O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Rapport LAAS N°01425, Septembre 2001, 11p.

Diffusable

Ajouter au panier 47638