]> Publication export from LAAS-CNRS Publication export from LAAS-CNRS This ontology contains information detailing publications held by LAAS-CNRS ReSIST Project Jean-Michel Pons Hardware and Software Fault Tolerance in Parallel Computing Systems 1992 1992 J C LAPRIE Ed. DRAvresky, Ellis Horwood (Reprinted from 13th International Conference on Fault Tolerant Systems and Diagnostics, Varna (Bulgarie), 20-22 Juin 1990, pp.28-39). Quantitative assessment of safety-critical software: why and how? 1992 1992 J C LAPRIE B LITTLEWOOD 13--21 35 2 Communications of the ACM X-ware reliability and availability modeling 1992 1992 J C LAPRIE K KANOUN 130--147 18 2 IEEE Transactions on Software Engineering Fault injection for the formal testing of fault tolerance 1992 1992 D AVRESKY J ARLAT J C LAPRIE Y CROUZET 22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22) 1992 1992 345--354 Failure mode assumptions and assumption coverage 1992 1992 D POWELL 22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22) 1992 1992 386--395 Active replication in Delta-4 1992 1992 M CHEREQUE D POWELL P REYNIER J L RICHIER J VOIRON 22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22) 1992 1992 28--37 Modle hyperexponentiel en temps continu et en temps discret pour l'valuation de la croissance de la sret de fonctionnement 1992 1992 M KAANICHE Collecte et analyse de donnes relatives la sret de fonctionnement du logiciel 1992 1992 K KANOUN Journes Nationales ISdF "Retour d'exprience et banques de donnes" 1992 1992 On functional statistical testing designed from software behavior models 1992 1992 P THEVENOD-FOSSE H WAESELYNCK 3rd IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-3) 1992 1992 3--12 Dependability: basic concepts and terminology (in English, French, German, Italian, and Japanese) 1992 1992 J C LAPRIE ISBN 3.211.82296.8 Springer Verlag Fragmentation-redundancy-scattering: tolerance of accidental and intentional faults in distributed systems 1992 1992 Y DESWARTE J C FABRE L BLAIN G TROUESSIN Discrete time reliability growth modeling of single and multicomponent software systems 1992 1992 M KAANICHE K KANOUN J C LAPRIE Rle de l'oprateur humain dans une boucle de surveillance automatique de systmes vnements discrets 1992 1992 A DE BONNEVAL M COURVOISIER M COMBACAU L'Automatisation Industrielle 1992 1992 6.17--6.20 Tolrance aux fautes 1992 1992 J C LAPRIE Journes Science et Dfense "Technologies Spatiales Systmes d'Information et de Communication" 1992 1992 143--155 Contribution au domaine de la tolrance aux fautes et aux intrusions dans les systmes informatiques rpartis 1992 1992 J C FABRE An object-oriented view of fragmented data processing for fault and intrusion tolerance in distributed systems 1992 1992 J C FABRE B RANDELL 2nd European Symposium on Research in Computer Security (ESORICS'92) 1992 1992 Lecture Notes in Computer Science N648 1992 1992 J C FABRE B RANDELL Eds. YDeswarte, GEizenberg, JJQuisquater, Springer Verlag The discrete time hyperexponential model for software reliability growth evaluation 1992 1992 M KAANICHE K KANOUN Third IEEE International Symposium on Software Reliability Engineering (ISSRE'92) 1992 1992 64--75 Dependability: a unifying concept for reliable, safe, secure computing 1992 1992 J C LAPRIE Communication invite. 12th IFIP World Congress 1992 1992 585--593 Information Processing 92. Algorithms, Software, Architecture 1992 1992 J C LAPRIE Jvan Leuwen (Editor), Elsevier Science Publishers BV Predictably dependable computing systems: final report 1992 1992 B RANDELL J C LAPRIE 55--87 48 Bulletin of the EATCS (European Association for Theoretical Computing Science) An experimental evaluation of formal testing and statistical testing 1992 1992 B MARRE P THEVENOD-FOSSE H WAESELYNCK P LE GALL Y CROUZET Safety of Computer Control Systems (SAFECOMP'92) 1992 1992 311--316 Fragmentation-redondance-dissmination orient-objet : dmarche et exprimentation 1992 1992 T PERENNOU V NICOMETTE FRD oriente-objet : spcification de classes de base en C++ (Version 1.0) 1992 1992 J C FABRE SoRel : outil d'analyse et d'valuation de la fiabilit du logiciel partir de donnes statistiques de dfaillance 1992 1992 K KANOUN M KAANICHE J C LAPRIE S METGE 8me Colloque de Fiabilit et de Maintenabilit 1992 1992 422--431 Dmonstrateur d'automate cellulaire optique binaire 1992 1992 J H COLLET F CHATAUX R LEGROS For a product-in-a-process approach to software reliability evaluation 1992 1992 J C LAPRIE Communication invite. Third IEEE International Symposium on Software Reliability Engineering (ISSRE'92) 1992 1992 134--139 Petri nets with objects in a real time monitoring system for FMS 1992 1992 M COMBACAU A DE BONNEVAL A SUBIAS M COURVOISIER DELTA 4 Fault-tolerance and its validation 1992 1992 D POWELL Communication invite. OpenForum'92 "Distributed Computing, Pratice and Experience" 1992 1992 73--81 Collecte de donnes de fiabilit du logiciel. Pourquoi ? Quelles donnes collecter ? Quand et comment ? 1992 1992 K KANOUN Mise en uvre de l'injection de fautes en VHDL 1992 1992 E JENN J ARLAT Sret de fonctionnement des systmes informatiques. Evolutions 1987-1992. Tendances et perspectives 1992 1992 B COURTOIS M C GAUDEL J C LAPRIE D POWELL Fault injection for the experimental validation of fault-tolerant systems 1992 1992 J ARLAT Communication invite. IEICE Workshop Fault-Tolerant Systems 1992 1992 33--40 Computer security. ESORICS'92 1992 1992 Y DESWARTE G EIZENBERG J J QUISQUATER Lecture Notes in Computer Science N648, Springer Verlag, 1992, ISBN N3-540-56246-X, 450p. Traitement des donnes relatives aux anomalies et l'effort de dveloppement du SEC de l'A-320 1992 1992 K KANOUN Y ZEGGWAGH A framework for the design of secure and reliable applications by fragmentation-redundancy scattering 1992 1992 J C FABRE Y DESWARTE B RANDELL Reliability growth of software systems from discrete to continuous-time modeling 1992 1992 M KAANICHE K KANOUN J C LAPRIE Validation of fault tolerance by fault injection in VHDL simulation models 1992 1992 M RIMEN J OHLSSON J KARLSSON E JENN J ARLAT Fault-Tolerant Software Systems: Techniques and Applications 1992 1992 J ARLAT K KANOUN J C LAPRIE Ed. Hoang Pham, IEEE Computer Society Press Hardware and Software Fault Tolerance in Parallel Computing systems 1992 1992 J C LAPRIE Ed. DRAvresky, Ellis Horwood Fault-Tolerant Software Systems: Techniques and Applications 1992 1992 J C LAPRIE J ARLAT C BEOUNES K KANOUN Ed. Hoang Pham, IEEE Computer Society Press,1992, 5-17 Fault injection for the experimental validation of fault-tolerant computer systems 1992 1992 J ARLAT