Publications
Home > Spotlight > Publications
JITBULL: Securing JavaScript Runtime with a Go/No-Go Policy for JIT Engine
54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2024 ), University of Queensland, Australia, Jun 2024, Brisbane, Australia. pp.156--168, …

Decourcelle Jean-Baptiste, Teabe Boris, Hagimont Daniel

Low frequency asymptotics and local energy decay for the Schrödinger equation
Journal of the European Mathematical Society, 2024, ⟨10.4171/jems/1429⟩

Royer Julien

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩

Amat Nicolas, Dal Zilio Silvano, Le Botlan Didier

The Human in Interactive Machine Learning: Analysis and Perspectives for Ambient Intelligence
Journal of Artificial Intelligence Research, 2024, 81, pp.263-305. ⟨10.1613/jair.1.15665⟩

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

Tamed stability of finite difference schemes for the transport equation on the half-line
Mathematics of Computation, 2024, 93, pp.1097-1151. ⟨10.1090/mcom/3901⟩

Coeuret Lucas

Stability of KdV equation on a network with bounded and unbounded branches
ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.84. ⟨10.1051/cocv/2024073⟩

Parada Hugo, Crépeau Emmanuelle, Prieur Christophe

Performance Gaps in Multi-view Clustering under the Nested Matrix-Tensor Model
ICLR 2024 - 12th International Conference on Learning Representations, May 2024, Vienne, Austria. pp.1-29

Lebeau Hugo, El Amine Seddik Mohamed, Goulart José Henrique de M

Fast VM Replication on Heterogeneous Hypervisors for Robust Fault Tolerance
Middleware '23: 24th International Middleware Conference, Dec 2023, Bologna, Italy. 14 p., ⟨10.1145/3590140.3592849⟩

Decourcelle Jean-Baptiste, Dinh Ngoc Tu, Teabe Boris, Hagimont Daniel

Ethical Planning with Multiple Temporal Values
5th biennial Robophilosophy Conference : Social Robots in Social Institutions (Robophilosophy 2022), Aug 2022, Helsiinki, Finland. ⟨10.3233/FAIA220644⟩

Parker Timothy, Grandi Umberto, Lorini Emiliano, Clodic Aurélie, Alami Rachid

The MLE is a reliable source: sharp performance guarantees for localization problems
Inverse Problems, 2023, 40 (1), pp.id.014001. ⟨10.1088/1361-6420/ad0dbb⟩

Munier Nathanaël, Soubies Emmanuel, Weiss Pierre