Capturer les biais cognitifs dans un processus de prise de décision erroné

An Entirely Model-Based Framework for Hardware Design and Simulation

Extending the standard execution model of UML for real-time systems

Improved Invariant Generation for Industrial Software Model Checking of Time Properties

A Compositional Automata-based Semantics for Property Patterns

Extending the Standard Execution Model of UML for Real-Time Systems

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

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

Modeling and analysing Cyber–Physical Systems in HOL-CSP

Diagnostiquer les biais cognitifs

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

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

Formal verification of automotive embedded software

A Compositional Automata-Based Semantics for Property Patterns

Philosophers may Dine - Definitively!

An incremental diagnosis algorithm of human erroneous decision making

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

Belief Revision Theory

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

TASCCC - Project and Testing Tool (poster)

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

Study on the Probability of Error in UWB with Multiuser Interference

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

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

Physical layer algorithms for UWB Impulse Radio

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

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

Spring Force Algorithm for Localization

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

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

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

A Near-Optimum Equal-Power Transmit Diversity Scheme

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

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

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

A Pragmatic Approach Space-Time Code Design

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

P-Order Metric UWB Receiver Structures with Superior Performance

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

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

Pragmatic Space-Time Code Design

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

Cognitive engine for best wireless network selection

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