output
20072026
most citedSpace-time coding techniques with bit-interleaved coded modulations for MIMO block-fading channels

59 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

17 papers

cs.SE2026

All LCA models are wrong. Are some of them useful? Towards open computational LCA in ICT

Vincent Corlay, David Bekri, Marie-Anne Lacroix +6

Life Cycle Assessment (LCA) is increasingly used to quantify and regulate the environmental impacts of Information and Communication Technology (ICT) systems. Since direct biospher…

eess.SP2025

Model-based Implicit Neural Representation for sub-wavelength Radio Localization

Baptiste Chatelier, Vincent Corlay, Musa Furkan Keskin +3

The increasing deployment of large antenna arrays at base stations has significantly improved the spatial resolution and localization accuracy of radio-localization methods. Howeve…

cs.IT2024

CSI Compression using Channel Charting

Baptiste Chatelier, Vincent Corlay, Matthieu Crussière +1

Reaping the benefits of multi-antenna communication systems in frequency division duplex (FDD) requires channel state information (CSI) reporting from mobile users to the base stat…

cs.AI2024

Requirement-Based Testing: Enhancing Reinforcement Learning with Game Theory

Ocan Sankur, Thierry Jéron, Nicolas Markey +2

We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations. The goal of the tester is to rea…

cs.LO2022★ 4 cited

Compositional pre-processing for automated reasoning in dependent type theory

Valentin Blot, Denis Cousineau, Enzo Crance +4

In the context of interactive theorem provers based on a dependent type theory, automation tactics (dedicated decision procedures, call of automated solvers, ...) are often limited…

cs.FL2021

A Mechanically Verified Theory of Contracts

Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin

Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogen…

cs.IT2020★ 1 cited

Asymptotically Achieving Centralized Rate on the Decentralized Network MISO Channel

Antonio Bazco-Nogueras, Paul de Kerret, David Gesbert +1

We analyze the high-SNR regime of the MxK Network MISO channel in which each transmitter has access to a different channel estimate, possibly with different precision. It has been…

cs.SE2019★ 5 cited

Automated Deductive Verification for Ladder Programming

Denis Cousineau, David Mentré, Hiroaki Inoue

Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of input…

cs.LO2019★ 14 cited

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic

Simon Lunel, Stefan Mitsch, Benoit Boyer +1

Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart…

cs.IT2018★ 2 cited

Multilevel MIMO Detection with Deep Learning

Vincent Corlay, Joseph J. Boutros, Philippe Ciblat +1

A quasi-static flat multiple-antenna channel is considered. We show how real multilevel modulation symbols can be detected via deep neural networks. A multi-plateau sigmoid functio…

cs.IT2017★ 1 cited

An Information-Theoretic Analysis of the Gaussian Multicast Channel with Interactive User Cooperation

Victor Exposito, Sheng Yang, Nicolas Gresset

We consider the transmission of a common message from a transmitter to three receivers over a broadcast channel, referred to as a multicast channel in this case. All the receivers…

cs.IT2017

Generalized Degrees-of-Freedom of the 2-User Case MISO Broadcast Channel with Distributed CSIT

Antonio Bazco, Paul de Kerret, David Gesbert +1

This work analyses the Generalized Degrees-of-Freedom (GDoF) of the 2-User Multiple-Input Single-Output (MISO) Broadcast Channel (BC) in the so-called Distributed CSIT regime, with…

cs.IT2016

Cooperative Channel Estimation for Coordinated Transmission with Limited Backhaul

Qianrui Li, David Gesbert, Nicolas Gresset

Obtaining accurate global channel state information (CSI) at multiple transmitter devices is critical to the performance of many coordinated transmission schemes. Practical CSI loc…

cs.IT2016★ 9 cited

On the Degrees-of-Freedom of the K-user Distributed Broadcast Channel

Antonio Bazco-Nogueras, Paul de Kerret, David Gesbert +1

We study the Degrees-of-Freedom (DoF) in a wireless setting in which K Transmitters (TXs) aim at jointly serving K users. The performance is studied when the TXs are faced with a d…

cs.IT2011★ 3 cited

Macro and Micro Diversity Behaviors of Practical Dynamic Decode and Forward Relaying schemes

Mélanie Plainchault, Nicolas Gresset, Ghaya Rekaya Ben-Othman

In this paper, we propose a practical implementation of the Dynamic Decode and Forward (DDF) protocol based on rateless codes and HARQ. We define the macro diversity order of a tra…

cs.IT2009★ 17 cited

Coding for the Non-Orthogonal Amplify-and-Forward Cooperative Channel

Ghassan M. Kraidy, Nicolas Gresset, Joseph J. Boutros

In this work, we consider the problem of coding for the half-duplex non-orthogonal amplify-and-forward (NAF) cooperative channel where the transmitter to relay and the inter-relay…

cs.IT2007★ 59 cited

Space-time coding techniques with bit-interleaved coded modulations for MIMO block-fading channels

Nicolas Gresset, Loic Brunel, Joseph Boutros

The space-time bit-interleaved coded modulation (ST-BICM) is an efficient technique to obtain high diversity and coding gain on a block-fading MIMO channel. Its maximum-likelihood…