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è 05/04/2024

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

Abdulaziz Mohamad , Raphael Visoz , Antoine O. Berthet

Communication dans un congrè 05/04/2024

Statistical Characterization of a Measurement – Approach using MCMC

Hana Baili , Gilles Fleury

Article dans une revue 05/04/2024

Integrated Active Filter for Differential-Mode Noise Suppression

Marwan Ali , Eric Laboure , François Costa

Communication dans un congrè 05/04/2024

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

Cristina Stoica , Pedro Rodriguez-Ayerbe , Didier Dumur

Article dans une revue 05/04/2024

Eulerian Multi-Fluid models for the simulation of dynamics and coalescence of particles in solid propellant combustion

François Doisneau , Frédérique Laurent , Angelo Murrone , Joel Dupays , Marc Massot

Article dans une revue 05/04/2024

A Mathematical Approach to Order Book Modelling

Frédéric Abergel , Aymen Jedidi

Communication dans un congrè 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

Communication dans un congrè 05/04/2024

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

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

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è 05/04/2024

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

Jerome Juillard

Communication dans un congrè 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

Communication dans un congrè 05/04/2024

Luenberger observers for discrete-time nonlinear systems

Lucas Brivadis , Vincent Andrieu , Ulysse Serres

Communication dans un congrè 05/04/2024

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

Hana Baili , Gilles Fleury

Article dans une revue 05/04/2024

Regularized generalized canonical correlation analysis

Arthur Tenenhaus , Michel Tenenhaus

Communication dans un congrè 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

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

Kevin Arfi , Anna Rozanova-Pierrat

Communication dans un congrè 05/04/2024

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

Lin Jiu , Christophe Vignat

Communication dans un congrè 05/04/2024

Generalized multiple-set Kernel CCA

Arthur Tenenhaus

Communication dans un congrè 05/04/2024

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

Mathieu Couplet , Laurent Le Brusquet , Alberto Pasanisi

Communication dans un congrè 05/04/2024

Improved robustness of multivariable model predictive control under uncertainties

Cristina Stoica , Pedro Rodriguez-Ayerbe , Didier Dumur

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

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

Autre publication scientifique 04/04/2024

Modeling Call Centers with Information about Anticipated Delays

Oualid Jouini , Yves Dallery

Communication dans un congrè 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è 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è 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è 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

Communication dans un congrè 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è 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è 04/04/2024

Graph-Constrained Discriminant Analysis of functional genomics data

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

Communication dans un congrè 04/04/2024

From BPEL to Event-B

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

Communication dans un congrè 04/04/2024

A Variable Selection via Correlated Component PLS-type Regression

Laura Trinchera , Edith Le Floch , Arthur Tenenhaus

Communication dans un congrè 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è 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

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

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

Communication dans un congrè 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è 04/04/2024

Statistical Characterization of a Measurement within a Dynamical Noisy System

Hana Baili , Gilles Fleury

Communication dans un congrè 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è 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è 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è 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

Communication dans un congrè 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è 04/04/2024

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

Idir Aït-Sadoune

Communication dans un congrè 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è 04/04/2024

Animating Event B Models by Formal Data Models

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

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

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è 04/04/2024

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

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

Communication dans un congrè 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è 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è 04/04/2024

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

Idir Aït-Sadoune

Communication dans un congrè 04/04/2024

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

Romain Benassi , Julien Bect , Emmanuel Vazquez

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

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

Communication dans un congrè 03/04/2024

Active Damping Strategy for Robust Control of a Flexible-Joint Lightweight Robot

Maria Makarov , M. Grossard , Pedro Rodriguez-Ayerbe , Didier Dumur

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

Communication dans un congrè 03/04/2024

A Frequency-Domain Approach for Flexible-Joint Robot Modeling and Identification

Maria Makarov , M. Grossard , Pedro Rodriguez-Ayerbe , Didier Dumur

Ouvrage 03/04/2024

Testing Software and Systems

Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall

Communication dans un congrè 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

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

Duc-Chuan Vu , Ioannis Politopoulos , Sette Diop

Communication dans un congrè 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

Brevet 30/03/2024

Méthode et dispositif de suivi de la détérioration des isolants d'une machine tournante

M. Gérard Friedrich , Marie Jaillet , David. M Laurent , Bernard Mineur , Emilie Mouren-Renouard , Emmanuel Odic

Communication dans un congrè 29/03/2024

Application of Weighted Regression for the Prediction of Soft Wheat Production in France

Xiangtuo Chen , Benoît Bayol , Paul-Henry Cournede

Communication dans un congrè 29/03/2024

Building Formal Semantic Domain Model: An Event-B Based Approach

Idir Aït-Sadoune , Linda Mohand Oussaïd

Article dans une revue 29/03/2024

Online estimation of time-varying volatility using a continuous-discrete LMS algorithm

Elisabeth Lahalle , Hana Baili , Jacques Oksman

Article dans une revue 29/03/2024

Boundary feedback stabilization of a reaction–diffusion equation with Robin boundary conditions and state-delay

Hugo Lhachemi , Robert Shorten

Article dans une revue 28/03/2024

Nilpotentization of the kinematics of the n-trailer system at singular points and motion planning through the singular locus

William Pasillas-Lepine , Witold Respondek

Article dans une revue 28/03/2024

Low dimensional manifolds for exact representation of open quantum systems

Nikolas Tezak , Nina H. Amini , Hideo Mabuchi