-
Influence of multiple helix configuration on the uplift capacity of helical a...
La capacité portante en traction des pieux hélicoïdaux dépend de la configuration des hélices (dont le nombre et le diamètre) et des propriétés du sol. Deux programmes... -
Hydraulic conductivity determination of compacted sand-bentonite mixture usin...
This paper presents a method to adapt a measurement in order to enhance its exploitation time and provide a suitable comparison with standard permeability tests. The... -
A Sequential Testing Procedure for Multiple Change-Point Detection in a Strea...
The conventional change-point detection problem aims to detect distribution changes at some unknown time point in a sequence of multivariate observations. Such problem... -
POWER REDUCTION DURING SCAN TESTING
This thesis relates to power minimization during scan testing. The Scan technique is considered as the most often used DfT (Design for Test) technique. During test,... -
In vitro tests for respiratory toxicity. The report and recommandations of EC...
International audience -
Measurements of vaolatile liquid evaporation rates in work environments
National audience -
Extending the use of the fire propagation apparatus to qualify burning scenar...
International audience -
Storm detectors. Tests and application
International audience -
Functional testing of hybrid properties
Hybrid systems posess a continuous and discrete behavior. This behavior is partially determined by temporal constraints, and/or interactions of the system with a... -
Validation de métriques de testabilité logicielle pour les programmes objets
The most used validation method for software is testing. Testing process consists of executing the program by selecting a set of data and observing the outputs of the... -
Covering Array generation using constraint programming
Nowadays, software companies develop and maintain their software for several clients. Consequently, these applications have to be integrated in heterogenous context... -
Boltzmann samplers for random generation of lambda terms
Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for... -
On the fly test generation for real time protocols
Colloque avec actes et comité de lecture. -
Verification method of interoperability for real time systems
Colloque avec actes et comité de lecture. internationale. -
New implementions of predictive alternate analog/RF test with augmented model...
International audience -
Verification and Validation techniques used by EAST partners
Rapport de contrat. -
Testing Web Services Composition using the TGSE Tool
International audience
