Retour au site du LAAS-CNRS

ASSERT. Automated proof based system and software engineering for real-time applications

J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, J.FAVARO, M.KAANICHE, K.KANOUN, S.PURI, T.ROBERT, M.ROY, A.E.RUGINA, N.SALATGE, H.WAESELYNCK

TSF, INTECS

Rapport de Contrat : Projet IST ASSERT N°004033, Février 2006, 140p. , N° 06132

Non diffusable

Ajouter au panier 106103

Sûreté de fonctionnement du logiciel

J.C.LAPRIE, K.KANOUN

TSF

Revue Scientifique : Revue de l'Electricité et de l'Electronique, N°11, pp.37-41, Décembre 2005 , N° 05644

Diffusable

Ajouter au panier 105304

Benchmarking the dependability of Windows and Linux using PostMark Workloads

K.KANOUN, Y.CROUZET, A.KALAKECH, A.E.RUGINA, P.RUMEAU

TSF

Manifestation avec acte : 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'2005), Chicago (USA), 8-11 Novembre 2005, pp.11-20 , N° 05484

Diffusable

Ajouter au panier 105515

Dependability needs and preliminary solutions concerning evaluation, testing and wrapping

J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, M.KAANICHE, K.KANOUN, S.MAZZINI, M.R.NAZZARELLI, D.POWELL, M.ROY, A.E.RUGINA, H.WAESELYNCK

INTECS, TSF

Rapport de Contrat : ASSERT Project IST-004033, Septembre 2005, 80p. , N° 05424

Diffusion restreinte

Ajouter au panier 104294

Dependability modelling of a fault tolerant duplex system using AADL and GSPNs

A.E.RUGINA, K.KANOUN, M.KAANICHE, J.GUIOCHET

TSF

Rapport de Contrat : ASSERT Project IST-004033, Août 2005, 75p. , N° 05315

Diffusion restreinte

Ajouter au panier 104302

Web service availability - impact of error recovery and traffic model

M.MARTINELLO, M.KAANICHE, K.KANOUN

TSF

Revue Scientifique : Reliability Engineering and System Safety, Vol.89, N°1, pp.6-16, Juillet 2005 , N° 03542

Diffusable

Ajouter au panier 103632

DBench (Dependability Benchmarking)

K.KANOUN, H.MADEIRA, M.DAL CIN, F.MOREIRA, J.C.RUIZ-GARCIA

TSF, University of Coimbr, Friedrich, Valencia

Manifestation avec acte : 5th European Dependable Computing Conference (EDCC'5). Project track, Budapest (Hongrie), 20-22 Avril 2005, 4p. , N° 05197

Diffusable

Ajouter au panier 103552

Etalonnage de la sûreté de fonctionnement de systèmes d'exploitation

Y.CROUZET, A.KALAKECH, K.KANOUN, J.ARLAT

TSF

Manifestations avec acte à diffusion limitée : Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Bourges (France), 12-14 Octobre 2004, pp.98-105 , N° 04484

Diffusable

Ajouter au panier 102693

Modélisation de la sûreté de fonctionnement d'applications internet

M.KAANICHE, K.KANOUN, M.MARTINELLO

TSF

Manifestations avec acte à diffusion limitée : Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Bourges (France), 12-14 Octobre 2004, pp.85-91 , N° 04402

Diffusable

Ajouter au panier 102690

Benchmarking the dependability of Windows NT4, 2000 and XP

A.KALAKECH, K.KANOUN, Y.CROUZET, J.ARLAT

TSF

Manifestation avec acte : 2004 International Conference on Dependable Systems and Networks (DSN'2004), Florence (Italie), 28 Juin - 1er Juillet 2004, pp.681-686 , N° 03501

Diffusable

Ajouter au panier 102293