Publications
Home > Spotlight > Publications
Automatic testing of OCE, a human-centered reinforcement learning system for automated software composition
1st International Workshop on Intelligent Software Engineering (ISE 2022), Dec 2022, Virtual Event, Japan

Demougeot Maxence, Delcourt Kévin, Arcangeli Jean-Paul, Trouilhet Sylvie, Adreit Françoise

Dimension-free entanglement detection in multipartite Werner states
Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩

Huber Felix, Klep Igor, Magron Victor, Volčič Jurij

Event-based control of a damped linear wave equation
Automatica, 2022, 146, pp.110627. ⟨10.1016/j.automatica.2022.110627⟩

Koudohode Florent, Baudouin Lucie, Tarbouriech Sophie

Yaglom-type limit theorems for branching Brownian motion with absorption
Annales Henri Lebesgue, 2022, 5, pp.921-985. ⟨10.5802/ahl.140⟩

Maillard Pascal, Schweinsberg Jason

Path differentiability of ODE flows
Journal of Differential Equations, 2022, ⟨10.1016/j.jde.2022.07.038⟩

Marx Swann, Pauwels Edouard

Infinite gain margin, contraction and optimality: an LMI-based design
European Journal of Control, 2022, 68, pp.100685. ⟨10.1016/j.ejcon.2022.100685⟩

Giaccagli Mattia, Andrieu Vincent, Tarbouriech Sophie, Astolfi Daniele

Stability of Eigenvalues and Observable Diameter in RCD$$(1, \infty )$$ Spaces
The Journal of Geometric Analysis, 2022, 32 (11), pp.270. ⟨10.1007/s12220-022-00999-9⟩

Bertrand Jerôme, Fathi Max

Modelling and Verification of Natural Language Requirements based on States and Modes
30th International Requirements Engineering Conference Workshops (REW 2022), IEEE, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00043⟩

Liu Yinling, Bruel Jean-Michel

A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking
Fundamenta Informaticae, 2022, 187 (2-4), pp.103-138. ⟨10.3233/FI-222134⟩

Amat Nicolas, Berthomieu Bernard, Dal Zilio Silvano

Statistical proofs of the interdependence between nearest neighbor effects on polypeptide backbone conformations
Journal of Structural Biology, 2022, 214 (4), pp.107907. ⟨10.1016/j.jsb.2022.107907⟩

González-Delgado Javier, Bernadó Pau, Neuvial Pierre, Cortés Juan