Publications

Miriam Pasquini , Simona Fermani , Daniele Tedesco , Chiara Sciabolini , Pierre Crozet , Marina Naldi , Julien Henri , Ute Vothknecht , Carlo Bertucci , Stéphane Lemaire , Mirko Zaffagnini , Francesco Francia

Communication dans un congrès 05/04/2024

Practical joint network-channel coding schemes for orthogonal multiple-access multiple-relay channels

Abdulaziz Mohamad , Raphael Visoz , Antoine O. Berthet

Article dans une revue 05/04/2024

A Mathematical Approach to Order Book Modelling

Frédéric Abergel , Aymen Jedidi

Communication dans un congrès 05/04/2024

An aggregation based algebraic multigrid method applied to convection-diffusion operators

S. Khelifi , N. Mechitoua , F. Hulsemann , F. Magoules

Article dans une revue 05/04/2024

Subgrid-scale model for radiative transfer in turbulent participating media

Laurent Soucasse , Philippe Riviere , Anouar Soufiani

Article dans une revue 05/04/2024

Integrated Active Filter for Differential-Mode Noise Suppression

Marwan Ali , Eric Laboure , François Costa

Article dans une revue 05/04/2024

Realizable second-order finite-volume schemes for the advection of moment sets of the particle size distribution

Frédérique Laurent , Tan Trung Nguyen

Communication dans un congrès 05/04/2024

Transceiver design for sum-MSE optimization in MIMO MAC with imperfect channel estimation

Patricia Layec , Pablo Piantanida , Raphael Visoz , Antoine O. Berthet

Communication dans un congrès 05/04/2024

Statistical Characterization of a Measurement – Approach using MCMC

Hana Baili , Gilles Fleury

Article dans une revue 05/04/2024

Controlling bulk Reynolds number and bulk temperature in channel flow simulations

Yufang Zhang , Ronan Vicquelin

Article dans une revue 05/04/2024

A Characterization of the Set-indexed Fractional Brownian Motion by Increasing Paths

Erick Herbin , Ely Merzbach

Communication dans un congrès 05/04/2024

Off-line method for improving robustness of model predictive control laws

Cristina Stoica , Pedro Rodriguez-Ayerbe , Didier Dumur

Communication dans un congrès 05/04/2024

Laura Trinchera , Arthur Tenenhaus , V. Esposito Vinzi , Michel Tenenhaus

Communication dans un congrès 05/04/2024

Efficient Doubly-Iterative Frequency-Domain Turbo-Equalizer for Single-Carrier Transmission over MIMO ISI Channel

Sami Chtourou , Antoine O. Berthet , Raphael Visoz

Article dans une revue 05/04/2024

Numerical simulation of spray coalescence in an eulerian framework : direct quadrature method of moments and multi-fluid method

Rodney Fox , Frédérique Laurent , Marc Massot

Article dans une revue 05/04/2024

Dirichlet-to-Neumann or Poincaré-Steklov operator on fractals described by d -sets

Kevin Arfi , Anna Rozanova-Pierrat

Communication dans un congrès 05/04/2024

A comparative study of reduced-order modeling techniques for nonlinear MEMS beams

Jerome Juillard

Communication dans un congrès 05/04/2024

Caractérisation des coefficients de Strickler d'un fleuve par inversion probabiliste

Mathieu Couplet , Laurent Le Brusquet , Alberto Pasanisi

Article dans une revue 05/04/2024

On Optimal Scheduling for Joint Spatial Division and Multiplexing Approach in FDD Massive MIMO

Ali Maatouk , Salah Eddine Hajri , Mohamad Assaad , Hikmet Sari

Communication dans un congrès 05/04/2024

Probabilistic Approach using MCMC for Indirect Measurement by Knowledge-Based Models – Applications to Thermophysics and Biology

Hana Baili , Gilles Fleury

Communication dans un congrès 05/04/2024

Generalized multiple-set Kernel CCA

Arthur Tenenhaus

Article dans une revue 05/04/2024

Numerical analysis of a coupled finite-infinite element method for exterior Helmholtz problems

J. C. Autrique , F. Magoules

Communication dans un congrès 05/04/2024

Components’ demand analysis in Assemble-to-Order systems: An analysis method

Mohammed Hichame Benbitour , Evren Sahin , Yves Dallery

Communication dans un congrès 05/04/2024

Exploiting Node Memory for Finite-time Average Consensus over WSNs

Alex Calisti , Davide Dardari , Gianni Pasolini , Michel Kieffer

Article dans une revue 05/04/2024

Solution of population balance equations in applications with fine particles: mathematical modeling and numerical schemes

Tan Trung Nguyen , Frédérique Laurent , Rodney Fox , Marc Massot

Brevet 05/04/2024

Codage de réseau pour un système MARC avec liens bruités non-orthogonaux

Atoosa Hatefi , Raphael Visoz , Antoine O. Berthet

Communication dans un congrès 05/04/2024

Connection Coefficients for Higher-order Bernoulli and Euler Polynomials: A Random Walk Approach

Lin Jiu , Christophe Vignat

Article dans une revue 05/04/2024

Three-dimensional boundary conditions for numerical simulations of reactive compressible flows with complex thermochemistry

Axel Coussement , Olivier Gicquel , Jean Caudal , Benoît Fiorina , Gerard Degrez

Article dans une revue 05/04/2024

A high order moment method simulating evaporation and advection of a polydisperse liquid spray

Damien Kah , Frédérique Laurent , Marc Massot , Stéphane Jay

Communication dans un congrès 05/04/2024

Summarizing Posterior Distributions in Signal Decomposition Problems when the Number of Components is Unknown

Alireza Roodaki , Julien Bect , Gilles Fleury

Communication dans un congrès 05/04/2024

Improved robustness of multivariable model predictive control under uncertainties

Cristina Stoica , Pedro Rodriguez-Ayerbe , Didier Dumur

Communication dans un congrès 05/04/2024

Synthesis of Subband Hybrid Filter Banks ADCs with Finite Word-length Coefficients using Adaptive Equalization

Zhiguo Song , Caroline Lelandais-Perrault , Daniel Poulton , Philippe Benabes

Article dans une revue 05/04/2024

Lattice algorithm for adaptive stable identification and robust reconstruction of non stationary AR processes with missing observations

Rawad Zgheib , Gilles Fleury , Elisabeth Lahalle

Brevet 05/04/2024

Procédé adaptatif d'émission et réception d'un signal dans un système multi antennes, dispositifs d'émission et de réception, produits programme d'ordinateur et signals correspondants

Raphael Visoz , Patricia Layec , Antoine O. Berthet

Communication dans un congrès 05/04/2024

Uncertainty Management for Estimation in Dynamical Systems

Hana Baili

Brevet 05/04/2024

Method for transmitting a digital signal in a MARC system with a full-duplex relay, and corresponding program product and relay device

Atoosa Hatefi , Raphael Visoz , Antoine O. Berthet

05/04/2024

Partitions of Wigner 3-j or Super 3-j symbols induced by Regge symmetry : accurate description

Lionel Bréhamet

HDR 05/04/2024

Les représentations et l'analyse statistique des signaux

Michel Barret

Communication dans un congrès 04/04/2024

Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel

Linda Mohand-Oussaid , Idir Aït-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer

Thèse 04/04/2024

Etude par simulations numériques instationnaires de l'écoulement dans les moteurs à propergol solide

Magali Dupuy

Communication dans un congrès 04/04/2024

Animation de modèles B par transformation de modèles

Idir Aït-Sadoune , Yamine Aït-Ameur

Communication dans un congrès 04/04/2024

Graph-Constrained Discriminant Analysis of functional genomics data

Vincent Guillemot , Laurent Le Brusquet , Arthur Tenenhaus , Vincent Frouin

Communication dans un congrès 04/04/2024

From BPEL to Event-B

Idir Aït-Sadoune , Yamine Aït-Ameur

Communication dans un congrès 04/04/2024

Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2

Nabil Belaid , Idir Aït-Sadoune , Yamine Aït-Ameur , Jean-François Rainaud , Stéphane Jean

Communication dans un congrès 04/04/2024

Visualization of Recirculation Zones Over a Perforated Plate: An Optical Flow Technique for Characterization of Fluid Dynamics in Structured Packing

Manasa Iyer , John Pachón-Morales , Joel Casalinho , Jacopo Seiwert , Mikael Wattiau , Laurent Zimmer , Hervé Duval

Communication dans un congrès 04/04/2024

BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement

Idir Aït-Sadoune

Article dans une revue 04/04/2024

An Artificial-Immune-System-Based Algorithm Enhanced with Deep Reinforcement Learning for Solving Returnable Transport Item Problems

Fatima Ezzahra Achamrah , Fouad Riane , Evren Sahin , Sabine Limbourg

Article dans une revue 04/04/2024

Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota

Communication dans un congrès 04/04/2024

Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.

Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron

Communication dans un congrès 04/04/2024

Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota

Communication dans un congrès 04/04/2024

Identification boîte noire et simulation de systèmes non-linéaires à temps continu par prédiction linéaire de processus aléatoires

Sylvain Vinet , Emmanuel Vazquez

Communication dans un congrès 04/04/2024

Vérification et Validation Formelles de la Composition de Services Web

Idir Aït-Sadoune

Cours 04/04/2024

Partial and Stochastic Differential Equations: Theoretical and Numerical Aspects

Ludovic Goudenege , Adam Larat

Chapitre d'ouvrage 04/04/2024

Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport.

Linda Mohand-Oussaid , Kamel Nadjet , Idir Aït-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer

Communication dans un congrès 04/04/2024

Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement

Idir Aït-Sadoune

Communication dans un congrès 04/04/2024

Generalized Fokker-Planck equation for piecewise-diffusion processes with boundary hitting resets

Julien Bect , Hana Baili , Gilles Fleury

Communication dans un congrès 04/04/2024

Statistical Characterization of a Measurement within a Dynamical Noisy System

Hana Baili , Gilles Fleury

Communication dans un congrès 04/04/2024

B2EXPRESS : Un animateur de modèles B événementiel.

Idir Aït-Sadoune

Brevet 04/04/2024

Procédé de transmission dynamique et sélectif FD-DSDF d’un signal numérique pour un système MARC avec plusieurs relais full-duplex, produit programme et dispositif relais correspondants

Abdulaziz Mohamad , Raphael Visoz , Antoine O. Berthet

Communication dans un congrès 04/04/2024

Animating Event B Models by Formal Data Models

Idir Aït-Sadoune , Yamine Aït-Ameur

Communication dans un congrès 04/04/2024

Robust Gaussian process-based global optimization using a fully Bayesian expected improvement criterion

Romain Benassi , Julien Bect , Emmanuel Vazquez

Article dans une revue 04/04/2024

Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement

Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota

Communication dans un congrès 04/04/2024

A Proof Based Approach for Formal Verification of Transactional BPEL Web Services

Idir Aït-Sadoune , Yamine Aït-Ameur

Autre publication scientifique 04/04/2024

Modeling Call Centers with Information about Anticipated Delays

Oualid Jouini , Yves Dallery

Communication dans un congrès 04/04/2024

A numerical comparison of kriging-based sequential strategies for estimating a probability of failure

Ling Li , Julien Bect , Emmanuel Vazquez

Communication dans un congrès 04/04/2024

Verification and Validation of Web Service Composition Using Event B Method

Idir Aït-Sadoune , Yamine Aït-Ameur

Communication dans un congrès 04/04/2024

Vérification et Validation Formelles de la Composition de Services Web

Idir Aït-Sadoune

Chapitre d'ouvrage 04/04/2024

A formal framework for design and validation of multimodal interactive systems in transport domain.

Linda Mohand-Oussaid , Kamel Nadjet , Idir Aït-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer

Article dans une revue 04/04/2024

Optimal indirect stability of a weakly damped elastic abstract system of second order equations coupled by velocities

Farah Abdallah , Mouhammad Ghader , Ali Wehbe , Yacine Chitour

Communication dans un congrès 04/04/2024

Verification and validation of BPEL processes. A proof and animation based approach

Idir Aït-Sadoune , Yamine Aït-Ameur , Mickael Baron

Brevet 04/04/2024

Method for transmitting a digital signal in a MARC system with a half-duplex relay, and corresponding program product and relay device

Atoosa Hatefi , Raphael Visoz , Antoine O. Berthet

Communication dans un congrès 04/04/2024

A Proof Based Approach for Modelling and Verifying Web Services Compositions

Idir Aït-Sadoune , Yamine Aït-Ameur

Communication dans un congrès 04/04/2024

Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach

Idir Aït-Sadoune , Yamine Aït-Ameur

Communication dans un congrès 04/04/2024

Modelling information fission in output multi-modal interactive systems using Event B

Linda Mohand-Oussaid , Idir Aït-Sadoune , Yamine Aït-Ameur

Communication dans un congrès 03/04/2024

Modèles et schémas mixtes pour le contact en dynamique

Hachmi Ben Dhia , Chokri Zammali , F. Voldoire , Sophie Lamarche

Communication dans un congrès 03/04/2024

Analysis of the Vulnerability of Smart Grids to Social Network-Based Attacks

Daogui Tang , Yiping Fang , Enrico Zio , José Emmanuel Ramirez-Marquez

Article dans une revue 03/04/2024

Calculation methods of Structure-Soil-Structure Interaction (3SI) for embedded buildings: Application to NUPEC tests

Didier Clouteau , D. Broc , G. Devésa , V. Guyonvarh , P. Massin

Communication dans un congrès 03/04/2024

Which value of nuclear flexibility to foster the integration of intermittent renewable energy sources? Prospective study on technical potentials and economics impacts in the French power system.

Camille Cany , Alizée Chazottes , Christine Mansilla Pellen , Gilles Mathonnière , Pascal Da Costa

Article dans une revue 03/04/2024

A new algorithm for semi-active control of mixed base isolation

Duc-Chuan Vu , Ioannis Politopoulos , Sette Diop

Rapport 03/04/2024

User-centered selection of innovative ideas and projects for incubation

Bernard Yannou , Romain Farel , François Cluzel , Alexandre Bekhradi , Benjamin Zimmer

Article dans une revue 03/04/2024

On a hybrid Laplace-time domain approach to dynamic interaction problems

Alex Nieto Ferro , Didier Clouteau , N. Greffet , G. Devésa

Article dans une revue 03/04/2024

Resilience of Smart Power Grids to False Pricing Attacks in the Social Network

Daogui Tang , Yi-Ping Fang , Enrico Zio , José Emmanuel Ramirez-Marquez

Ouvrage 03/04/2024

Testing Software and Systems

Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall

Article dans une revue 03/04/2024

Graph Constrained Discriminant Analysis: A New Method for the Integration of a Graph into a Classification Process

Vincent Guillemot , Arthur Tenenhaus , Laurent Le Brusquet , Vincent Frouin