Reflective fault-tolerant systems: from experience to challenges
Invited paper. IEEE Journal of Selected Topics in Quantum Electronics
Proof-guided testing: towards complementarity of verification techniques
ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'2003)
Manifestation des Jeunes Chercheurs dans le domaine des Sciences et Technologies de l'Information et de la Communication (MAJESTIC'2003)
IEEE Transactions on Computers. Special Issue on Reliable Distributed Systems
Modles et politiques de scurit des systmes de sant
Web service availability - Impact of error recovery
User-perceived availability of a web based travel agency
2me Rencontre Francophone sur le thme Scurit et Architecture Rseaux (SAR'2003)
Towards implementing multi-level reflection for fault-tolerance
Autour de la mesure du risque. Un questionnement multidisciplinaire
2003 International Conference on Dependable Systems and Networks (DSN'2003). International Performance and Dependability Symposium
Hermes Science, Trait IC2 Information-Commande-Communication
Validation of fault tolerance and timing properties
Fault injection techniques and tools for embedded systems reliability evaluation
Scurit des systmes d'information et de communication dans le domaine de la sant
An empirical investigation of simulated annealing applied to property-oriented testing
Performability evaluation of multipurpose multiprocessor systems: the "separation of concerns" approach
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
1re Confrence Francophone en Gestion et Ingnierie des Systmes Hospitaliers (GISEH'2003)
6th IFIP TC-11 WG 11.5 Working Conference on Integrity and Internal Control in Information Systems (IICIS'2003)
Comment peut-on tolrer les intrusions sur internet ?
Dependability of communications in critical real-time control systems
Software product assurance for autonomy on-board spacecraft
ORBAC : un modle de contrle d'accs bas sur les organisations
22nd International Conference SAFECOMP 2003
IEICE Transactions on Information and Systems
Performance constraints for onchip optical interconnects
2003 International Conference on Dependable Systems and Networks (DSN'2003). Dependable Computing and Communications Symposium
3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003)
An intrusion tolerant architecture for dynamic content internet servers
The DBench framework for dependability benchmarking
ACM Workshop on Survivable and Self-Regenerative Systems
Cahiers Francophones de la Recherche en Scurit de l'Information
Security model for Health Care Computing and Communication Systems
Multi-level modeling approach for the availability assessment of e-business applications
Dfinition et valuation d'une nouvelle architecture de communication pour les systmes de commande de vol
Logiciel libre et sret de fonctionnement. Cas des systmes critiques
IFIP TC11 18th International Conference on Information Security (SEC'2003)
Adaptive fault tolerant systems: reflective design and validation
Property-oriented testing: a strategy for exploring dangerous scenarios
Conceptual model and architecture of MAFTIA
Novel generic middleware building blocks for dependable modular avionics systems
4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'2003)
Spcification d'un prototype d'anonymisation
Building SWIFI tools from temporal logic specifications
Dependable intrusion tolerance: technology demo
Invited paper. ESA Workshop on Spacecraft Data Systems
Impact of internal and external software faults on the Linux kernel
Annual IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems
This ontology contains information detailing publications held by LAAS-CNRS
Publication export from LAAS-CNRS
Modles et politiques de scurit des systmes d'information et de communication en sant et social
Revue de l'Electricit et de l'Electronique
Comparison of physical and software-implemented fault injection techniques