125 citations
- Mohamed Ali Zormati5 · h 4
- Antoine Bordes2 profiles4 · h 45
- Hicham Lakhlef4 · h 3
- Marie-Hélène Abel2 profiles4 · h 14
- Philippe Gouspillou2 profiles4 · h 5
- Sébastien Destercke2 profiles4 · h 25
- A. Ibrahimbegovic3 · h 50
- F. Davoine3 · h 26
- Franccois Cl'ement3 · h 4
- J. Weston3 · h 107
- Mokhtar Z. Alaya3 · h 2
- Nicolas Usunier2 profiles3 · h 46
- Heuristics and Diagnostics for Complex SystemsFR36 papers
- Centre National de la Recherche ScientifiqueFR32 papers
- Sorbonne UniversitéFR14 papers
- Laboratoire de mathématiques appliquées de CompiègneFR10 papers
- Biomécanique et BioingénierieFR6 papers
- Laboratoire RobervalFR6 papers
- Institut Polytechnique de BordeauxFR5 papers
- Université Paris-SaclayFR4 papers
- CERMICSFR3 papers
- École Normale Supérieure Paris-SaclayFR3 papers
- Université de BordeauxFR3 papers
- Université de Picardie Jules VerneFR3 papers
12 papers · 1 filter
A Rocq Formalization of Monomial and Graded Orders
Sylvie Boldo, François Clément, Vincent Martin +1
Even if binary relations and orders are a common formalization topic, we need to formalize specific orders (namely monomial and graded) in the process of formalizing in Rocq the fi…
Toward Secure Content-Centric Approaches for 5G-Based IoT: Advances and Emerging Trends
Ghada Jaber, Mohamed Ali Zormati, Walid Cavelius +2
The convergence of the Internet of Things (IoT) and 5G technologies is transforming modern communication systems by enabling massive connectivity, low latency, and high-speed data…
Modeling Interactive Narrative Systems: A Formal Approach
Jules Clerc, Domitile Lourdeaux, Mohamed Sallak +2
Interactive Narrative Systems (INS) have revolutionized digital experiences by empowering users to actively shape their stories, diverging from traditional passive storytelling. Ho…
Modeling of thin plate flexural vibrations by Partition of Unity Finite Element Method
Tong Zhou, Jean-Daniel Chazot, Emmanuel Perrey-Debain +1
This paper presents a conforming thin plate bending element based on the Partition of Unity Finite Element Method (PUFEM), for the simulation of steady-state forced vibration. The…
Fast recovery of parametric eigenvalues depending on several parameters and location of high order exceptional points
Benoit Nennig, Martin Ghienne, Emmanuel Perrey-Debain
A numerical algorithm is proposed to deal with parametric eigenvalue problems involving non-Hermitian matrices and is exploited to find location of defective eigenvalues in the par…
Revisiting the attacker's knowledge in inference attacks against Searchable Symmetric Encryption
Marc Damie, Jean-Benoist Leger, Florian Hahn +1
Encrypted search schemes have been proposed to address growing privacy concerns. However, several leakage-abuse attacks have highlighted some security vulnerabilities. Recent attac…