Diagnostiquer les biais cognitifs

Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP

Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

An incremental diagnosis algorithm of human erroneous decision making

Catching cognitive biases in an erroneous decision making process

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool

Belief Revision Theory

Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests

Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool

TASCCC - Project and Testing Tool (poster)

A Compositional Automata-based Semantics for Property Patterns

TASCCC - Project and Testing Tool (poster and demo)

Study on the Probability of Error in UWB with Multiuser Interference

A New Low Complexity Decodable Rate-1 Full-Diversity 4x4 STBC with Non-Vanishing Determinants

A Simple and Robust Equal-Power Transmit Diversity Scheme

A Simple IR-UWB Receiver Adapted to Multi-User Interferences

Higher Order Impulsive Signals for UWB Communications

Analysis of Hybrid Acquisition Schemes for Ultra Wide Band Impulse Radio

A Rate-3/2 Full-Diversity 4x4 Space-Time Code with Fast Maximum-Likelihood Decoding

Optimum Decoding of Convolutional Codes for Impulse Radio Ultra Wide Band systems in presence of multi user interference

A Pragmatic Approach to Full-Rate Space-Time Coding for 2x2 MIMO Systems

Physical layer algorithms for UWB Impulse Radio

Spring Force Algorithm for Localization

Link between Signal Processing at Large in Wireless Systems and Physical layer algorithm for UWB Impulse Radio

Une approche cognitive des systèmes de communication UWB-IR

Efficient strategies for federated learning with communication constraints

Scrambling Code Breaking the Trade-off between Repetition Factor and Frame Length in Time-Hopping Impulse Radio Ultra Wide Band

Higher Order Modulation IR-UWB Signals for Short-Range Communications

Bandwidth Efficient Signalling Schemes for IR-UWB Short-Range Communications

A Near-Optimum Equal-Power Transmit Diversity Scheme

A Low-PAPR High-Rate Full-Diversity 4x4 Space-Time Code with Fast Maximum-Likelihood Decoding

A Low-Complexity Rate-1 Full-Diversity 4x4 Space-Time Code with Nonvanishing Determinants

A Novel Construction of 2-group Decodable 4x4 Space-Time Block Codes

P-Order Metric UWB Receiver Structures with Superior Performance

On the Benefit of a One-Bit Sampling Receiver and Hard Decoding in Impulse Radio Ultra Wide Band Communications with Multi User Interferences

Pragmatic Space-Time Code Design

A Pragmatic Approach Space-Time Code Design

Revisiting TH-IR-UWB performance limits dependency on essential system parameters using the Generalized Gaussian Approximation

A Comparison of IR-UWB Receivers Adapted to MUI with Mixture Based Distributions

Impact of Time Reversal on Multi-User Interference in IR-UWB

On the necessity of sensing the non-Gaussianity of the interferences: application to UWB systems

Trade-off Between the Number of Fingers in the Prefilter and in the Rake Receiver in Time Reversal IR UWB

An Efficient Cooperative Transmission Scheme Using Multiple Relays Incrementally

Dynamic range reduction by quasi-continuous waveform optimization

The Effect of Impulsiveness in Inter-Cell Interference on Throughput of TH-IR-UWB Networks

A New Family of Low-Complexity Decodable STBCs for 4 Transmit Antennas

Interferer rejection improved by noise in ultra-wideband telecommunications

Cognitive engine for best wireless network selection