Invited paper. 7th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7)
10th European Workshop on Dependable Computing (EWDC-10)
Analyse prliminaire de la sret de fonctionnement des systmes de contrle-commande des centrales nuclaires
Object checkpointing: a reflective approach
IEEE Computer Society, Eds. PAmmann, BHBarnes, SJajodia, EHSibley
5th International Euro-Par Conference (Euro-Par'99)
Specifing and verifying fault-tolerant hardware
Evaluation de la sret de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances
Availability of CAUTRA, a subset of the French air traffic control system
7th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7)
Evaluation exprimentale de la fiabilit d'une famille de produits logiciels
GUARDS: a generic upgradable architecture for real-time dependable systems
29th Annual International Symposium on Fault-Tolerant Computing (FTCS-29)
Validation-based development of dependable systems
Computer Security, Dependability, & Assurance: from needs to solutions
Distributed fault-tolerance: a short tutorial
A case study in statistical testing of reusable concurrent objects
Dependability evaluation of an air traffic control computing system
Behavioral analysis in the presence of faults of dependable systems modeled with RDD-100
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
Invited paper. 4th International Symposium on Autonomous Decentralized Systems (ISADS'99)
18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99)
On the use of COTS microkernels for dependable systems
MEL-ARIOPTO: technology roadmap. Optoelectronic interconnects for integrated circuits
Quantitative evaluation of information system security experimented in a bank organization
10th International Symposium on Software Reliability Engineering (ISSRE'99)
Metakernels and fault containment wrappers
Using compile-time reflection for object state capture
Dependable computing system evaluation criteria: SQUALE proposal
Mthode de modlisation de la sret de fonctionnement des systmes de contrle-commande
Testing of reusable concurrent objects: the production cell example
Journes "Formalisation des Activits Concurrentes" (FAC'99)
3rd European Dependable Computing Conference (EDDC-3)
Intgration de la sret de fonctionnement dans l'ingnierie des systmes
Guiding the experimental validation of dependable commercial control and supervision systems by a formal approach
12mes Journes Internationales "Gnie Logiciel et Ingnierie de Systmes" (ICSSEA'99)
Etat d'avancement du projet de recherche "Modlisation fonctionnelle et comportementale en prsence de fautes"
SQUALE dependability assessment criteria
Coverage estimation methods for stratified fault-injection
2nd International Conference, Reflection'99
IEEE Transactions on Parallel and Distributed Systems
SQUALE: dependability assessment criteria
IEEE Transactions on Software Engineering
Dependability evaluation of a distributed shared memory multiprocessor system
Computer safety, reliability and security
A method for operator error detection based on plan recognition
Implementing snoop-coherence protocol for future SMP architectures
Dependability of COTS microkernel-based systems: the MAFALDA assessment and design environment
A test ordering tool for object-oriented programs
Architecture tolrante aux fautes transitoires pour mini et gros satellites. Validation par injection de fautes
Publication export from LAAS-CNRS
This ontology contains information detailing publications held by LAAS-CNRS
Invited paper. 5th International Conference on Information Systems Analysis and Synthesis (ISAS'99)
Statistical and Probabilistic Models in Reliability
Real-world design diversity: a case study on cost
Test statistique d'objets concurrents rutilisables : application une cellule de production
Invited paper. 3rd European Research Seminar on Advances in Distributed Systems (ERSADS'99)
Encyclopedia of Electrical and Electronic Engineering
Measurements for managing software reliability
Papier invit. Colloque Franco-Allemand "Les Systmes Embarqus et les Systmes de Communication pour les Transports Guids"
Validation exprimentale des systmes par injection de fautes : tat de l'art des techniques et outils
Lecture Notes in Computer Science 1698, Springer
Invited paper. 2nd International Conference on Information System Security in the Financial Sector
GUARDS: error processing and fault treatment
PADRE : un protocole pour une gestion sre des redondances duplex
Assessment of COTS microkernels by fault injection
Invited paper. 1999 IEEE Symposium on Application-Specific Systems and Software Engineering & Technology (ASSET'99)
GUARDS: inter-channel communication network
A reflective fault tolerant CORBA system based on open languages
World Congress on Formal Methods in the Development of Computing Systems (FM'99)
PADRE: A Protocol for Asymmetric Duplex REdundancy
Experimenting with quantitative evaluation tools for monitoring operational security
Vrification formelle des proprits des mcanismes de tolrance aux fautes : application au protocole PADRE
Software failure data analysis for reliability improvement
1st International ICSE Workshop on Testing Distributed Component-Based Systems