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