The role of trend analysis in software development and validation
Delta 4 annual report. January 91 - December 91
Fault injection for the experimental validation of fault tolerance
The KAT (Knowledge-Action-Transformation) Approach to the modeling and evaluation of reliability and availability growth
FMS real-time monitoring: decision making aspects in automatic recovery
Coordination of active replicates within Delta-4 open systems architecture: the inter replicates protocol
Fault assumptions and assumption coverage
Performance testing report LA3. Security functions
in ESPRIT Information Processing Systems and Software - Results and Progress of Selected Projects
1991 IEEE Symposium on Research in Security and Privacy
An experimental study on software structural testing: deterministic versus random input generation
Dependability evaluation of bus and ring communication topologies for the Delta-4 distributed fault-tolerant architecture
Fragmentation-Redundancy-Scattering: a means to tolerate accidental faults and intrusions in distributed systems
NATO Workshop on Composite Trustworthy Systems
Research Reports ESPRIT Delta-4: A generic architecture for dependable distributed computing
14th National Computer Security Conference
Dependability testing report LA2. Fault injection on the fail-silent NAC: preliminary results
5th Annual European Computer Conference (IEEE CompEURO'91)
Predictably dependable computing systems: second year report
A fault tolerance approach to building trustworthy systems with untrusted components
Manuel d'utilisation du logiciel SoRel Software Reliability
Papier invit. 5th Annual European Computer Conference (IEEE CompEURO'91)
Eds. AAvizienis, JCLaprie, Springer Verlag
Fault and intrusion tolerance in object-oriented systems
1991 IEEE International Workshop on Object-Orientation in Operating Systems
Improvement of data processing security by means of fault tolerance
21st IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS'21)
Dependability evaluation of the saturation technique
Dependability evaluation report LA2. Communication system
Real-time diagnosis and recovery in hierarchical FMS control
Intrusion tolerance in distributed computing systems
ERCIM Workshop on Distributed Systems User Interfaces and Multimedia Decision Support Methods and Applications
IEEE Transactions on Software Engineering
XIII/372/91, CEC-DGXIII, Brussels, Belgium
Dependability testing report LA3. Fault injection on the extended self-checking NAC
Tenth IEEE Symposium on Reliable Distributed Systems
Etude de dissymtrie dans les logiciels embarqus
Software structural testing: an evaluation of the efficiency of deterministic and random test data
This ontology contains information detailing publications held by LAAS-CNRS
Publication export from LAAS-CNRS
IFAC/IMACS Symposium on Fault Detection and Safety for Technical Processes
Reliability analyses of workstation failure data
Improving fault-tolerance in distributed systems: the saturation approach
Reliable processing of confidential information
RBalter, JPBanatre, SKrakowiak, Eds., INRIA Collection Didactique
Bulletin of the EATCS (European Association for Theoretical Computing Science)
Delta-4: A generic architecture for dependable distributed computing
An investigation of software statistical testing
Dependable Computing for Critical Applications
A method for software reliability analysis and prediction, application to the TROPICO-R switching system
Fourth IFIP Conference on Computer Applications in Production and Engineering (CAPE'91)
Dependability evaluation report LA3. Architecture validation
FDP techniques in object-oriented systems
Mthodes et modles mis en uvre dans le logiciel SoRel Software Reliability
Construction des Systmes d'Exploitation Rpartis
The Journal of Software Testing, Verification and Reliability
IFIP/SEC'91. 7th International Conference on Information Security