Search - LAAS-Informatique Critique Access content directly

Filter your results

8 Results
Deposit type : Notice

Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunication

Mohamed Kaâniche , Karama Kanoun , Sylvain Metge
Annals of Telecommunications - annales des télécommunications, 1990, 45 (11-12), pp.657-670
Journal articles hal-00851764v1

Definition and analysis of hardware-and-software fault-tolerant architectures

Jean-Claude Laprie , Jean Arlat , Christian Beounes , Karama Kanoun
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
Book sections hal-01982576v1

Software reliability evaluation of the TROPICO-R switching system.

Karama Kanoun , Marta Bastos Martini , Georges Moreira de Souza
IEEE Transactions on Reliability, 1990, 39 (3), pp.369-379. ⟨10.1109/24.103020⟩
Journal articles hal-02007256v1

Definition and analysis of hardware-and-software fault-tolerant architectures

Jean-Claude Laprie , Karama Kanoun , Jean Arlat , Christian Beounes
R.H. Thayer, A.D. McGettick. Software Engineering. A European Perspective, IEEE Computer Society Press, pp.256-268, 1993
Book sections hal-01982552v1

Dependability modeling of software fault-tolerant systems

Jean Arlat , Karama Kanoun , Jean-Claude Laprie
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society, Press technology Series, pp.25-34, 1992
Book sections hal-01982567v1

Validation

Karama Kanoun , Jean Arlat , L. Burrill , Yves Crouzet , Susanne Graf , et al.
D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4
Book sections hal-01982593v1

The transformation approach to the modeling and evaluation of the reliability and availability growth

Jean-Claude Laprie , Christian Beounes , Mohamed Kaâniche , Karama Kanoun
The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩
Conference papers hal-00851871v1

Architectural issues in software fault tolerance

Jean-Claude Laprie , Jean Arlat , Christian Beounes , Karama Kanoun
M. Lyu. Software Fault Tolerance,, Willey, Chapitre 3, 1995
Book sections hal-01982532v1