Publications personnelle

104documents trouvés

06022
18/10/2006

Communication integrity in networks for critical control systems

A.YOUSSEF, Y.CROUZET, A.DE BONNEVAL, J.ARLAT, J.J.AUBERT, P.BROT

TSF, AIRBUS France

Manifestation avec acte : 6th European Dependable Computing Conference (EDCC-6), Coimbra (Portugal), 18-20 Octobre 2006, pp.23-32 , N° 06022

Diffusable

108123
06059
10/07/2006

Contribution of communications to dependability in massively-defective general-purpose nanoarchitectures

J.H.COLLET, P.ZAJAC, Y.CROUZET, A.NAPIERALSKI

TSF, Lodz

Manifestation avec acte : 12th IEEE International On-Line Testing Symposium (IOLTS'2006°, Como (Italie), 10-12 Juillet 2006, pp.219-226 , N° 06059

Diffusable

108241
06379
01/07/2006

Dependability benchmarks for operating systems

K.KANOUN, Y.CROUZET

TSF

Revue Scientifique : International Journal of Performability Engineering, Vol.2, N°3, pp.275-287, Juillet 2006 , N° 06379

Diffusable

106907
06132
01/02/2006

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

106103
05484
08/11/2005

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

105515
05424
01/09/2005

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

104294
05235
06/07/2005

Mitigating soft errors to prevent a hard threat to dependable computing

Y.CROUZET, J.H.COLLET, J.ARLAT

TSF, PH

Manifestation avec acte : 11th IEEE International On-Line Testing Symposium, Saint Raphael (France), 6-8 Juillet 2005, pp.295-298 , N° 05235

Diffusable

103735
04624
27/03/2005

Définition et évaluation d'un système de communication pour des systèmes de commande intégrant des nappes de MEMS

A.YOUSSEF, A.DE BONNEVAL, Y.CROUZET

TSF

Manifestation avec acte : 3ème Conférence Internationale "Sciences Electroniques Technologies de l'Information et des Télécommunications", Sousse (Tunisie), 27-31 Mars 2005, 12p. , N° 04624

Diffusable

103478
05050
01/01/2005

Deuxième rapport d'avancement du projet Commande de Vol du Futur (CVF)

A.YOUSSEF, A.DE BONNEVAL, Y.CROUZET, J.J.AUBERT, P.BROT

AIRBUS France, TSF

Rapport de Contrat : Contrat AIRBUS N° 380999, Janvier 2005, 72p. , N° 05050

Non diffusable

103317
04484
12/10/2004

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

102693
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/