Simulation techniques for component-based software reliability modeling with project application
From temporal logic specifications to error confinement wrappers
Optics in Computing 2001 Topical Meeting
Dependability evaluation. From functional to structural modelling
An Internet authorization scheme using smart card-based security kernels
MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
12th International Symposium on Software Reliability Engineering (ISSRE'2001)
Property-oriented testing based on simulated annealing
Testing metaobject protocols generated by open compilers for safety-critical systems
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
7th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2001)
2001 International Conference on Dependable Systems and Networks (DSN'2001). Special Track on the European Dependability Initiative (DEPPY)
Preliminary dependability benchmark framework
A strategy for testing MetaObject Protocols in reflective architectures
SPAAS: Software Product Assurance for Autonomy on-board Spacecraft - Lessons learned from autonomous non-space applications
A preliminary framework for SoS dependability modelling and evaluation
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
Architectural analysis to the role of optics in mono and multiprocessor machines
3rd International Conference REFLECTION 2001
IFIP/ACM International Conference on Distributed Systems Platforms
Architecture and design: initial results on architectures and dependable mechanisms for dependable SoSs
Adaptation of simulated annealing to property-oriented testing for sequential problems
2001 International Conference on Dependable Systems and Networks (DSN'2001)
2001 International Symposium on Information Systems and Engineering (ISE'2001)
Dependability assessment of real-time systems
Reflective fault-tolerant systems: from design to validation
This ontology contains information detailing publications held by LAAS-CNRS
Publication export from LAAS-CNRS
Editions Odile Jacob, Universit de tous les savoirs
20th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2001)
A measurement-based framework for software reliability improvement
Dependable systems of systems: revised version of the DSoS conceptual model
TOONS: a Testing level generator for Object-OrieNted Software
Measurement-based availability analysis of Unix systems in a distributed environment
Failure analysis of an ORB in presence of faults
International Conference on Research in Smart Cards (E-smart 2001)
Parallel optical interconnects may reduce the communication bottleneck in symmetric multiprocessors
Real-world design diversity: a case study on cost
Formal guides for experimentally verifying complex software-implemented fault tolerance mechanisms
Malicious- and Accidental-Fault Tolerance in Internet Applications: conceptual model and architecture
10th IEEE International Conference on Computer Communications and Networks (IC3N'2001)
Sret de fonctionnement de systmes Unix interconnects : collecte de donnes et analyse
An investigation on mutation strategies for fault injection into RDD-100 models
Failure mode analysis of CORBA service implantations
A framework for modeling availability of e-business systems
Quel avenir pour les interconnexions optiques intra et interpuces?
2001 International Conference on Dependable Systems and Networks (DSN'2001). Fast abstracts