Publications

2023

• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
  
  • Belardinelli Francesco
  • Ferrando Angelo
  • Malvone Vadim
  Artificial Intelligence, Elsevier, 2023, 316, pp.103847. (10.1016/j.artint.2022.103847)
  DOI : 10.1016/j.artint.2022.103847
• Superpouvoirs
  
  • Zayana Karim
  • Braun Nathalie
  CultureMath, ENS, 2023.
• The multichannel maximum-likelihood (MCML) method: a new approach for infrasound detection and wave parameter estimation
  
  • Poste B.
  • Charbit M.
  • Le Pichon A.
  • Listowski C.
  • Roueff François
  • Vergoz J.
  Geophysical Journal International, Oxford University Press (OUP), 2023, 232 (2), pp.1099-1112. (10.1093/gji/ggac377)
  DOI : 10.1093/gji/ggac377
• Character Recognition in Byzantine Seals with Deep Neural Networks
  
  • Rageau Théophile
  • Likforman-Sulem Laurence
  • Fiandrotti Attilio
  • Eyharabide Victoria
  • Caseau Béatrice
  • Cheynet Jean-Claude
  , 2024.
• Tail Inverse Regression: dimension reduction for prediction of extremes
  
  • Aghbalou Anass
  • Portier François
  • Sabourin Anne
  • Zhou Chen
  , 2023. (10.48550/arXiv.2108.01432)
  DOI : 10.48550/arXiv.2108.01432
• Automated design of photonic quantum circuits
  
  • Yao Yuan
  , 2023.
• How to Find Good Coalitions to Achieve Strategic Objectives
  
  • Ferrando Angelo
  • Malvone Vadim
  , 2023, 1, pp.105-113. (10.5220/0011778700003393)
  DOI : 10.5220/0011778700003393
• A Game Theoretic Approach to Attack Graphs
  
  • Catta Davide
  • Di Stasio Antonio
  • Leneutre Jean
  • Malvone Vadim
  • Murano Aniello
  , 2023, 1, pp.347-354. (10.5220/0011776900003393)
  DOI : 10.5220/0011776900003393
• Look At Me, No Replay! SurpriseNet: Anomaly Detection Inspired Class Incremental Learning
  
  • Lee Anton
  • Zhang Yaqian
  • Gomes Heitor Murilo
  • Bifet Albert
  • Pfahringer Bernhard
  , 2023, pp.4038--4042. (10.1145/3583780.3615236)
  DOI : 10.1145/3583780.3615236
• On Line Secure Elements: Deploying High Security Keystores and Personal HSMs
  
  • Urien Pascal
  , 2023, pp.450-455. (10.1109/ICNC57223.2023.10074066)
  DOI : 10.1109/ICNC57223.2023.10074066
• On Line Secure Elements: Deploying High Security Keystores and Personal HSMs
  
  • Urien Pascal
  , 2023, pp.450-455. (10.1109/ICNC57223.2023.10074066)
  DOI : 10.1109/ICNC57223.2023.10074066
• Hierarchical Design of Cyber-Physical Systems
  
  • Genius Daniela
  • Apvrille Ludovic
  , 2023, pp.117-124. (10.5220/0011654400003402)
  DOI : 10.5220/0011654400003402
• It’s not Just What You Do but also When You Do It: Novel Perspectives for Informing Interactive Public Speaking Training
  
  • Biancardi Beatrice
  • Duan Yingjie
  • Chollet Mathieu
  • Clavel Chloé
  , 2023, pp.193-200. (10.5220/0011680400003417)
  DOI : 10.5220/0011680400003417
• A Hierarchical Design Tool for SystemC AMS
  
  • Genius Daniela
  • Apvrille Ludovic
  , 2024, 2106, pp.3-28. (10.1007/978-3-031-66339-0_1)
  DOI : 10.1007/978-3-031-66339-0_1
• Mutation of Formally Verified SysML Models
  
  • Apvrille Ludovic
  • Sultan Bastien
  • Hotescu Oana
  • de Saqui-Sannes Pierre
  • Coudert Sophie
  , 2023.
• Macrolitter video counting on riverbanks using state space models and moving cameras
  
  • Chagneux Mathis
  • Le Corff Sylvain
  • Gloaguen Pierre
  • Ollion Charles
  • Lepâtre Océane
  • Bruge Antoine
  Computo, Société Française de Statistique, 2023. (10.57750/845m-f805)
  DOI : 10.57750/845m-f805
• On Several Mathematical and Data-Driven Models for Image and Video Editing, Synthesis and Analysis
  
  • Newson Alasdair
  , 2023.
• Local sampling of the SU(1,1) Wigner function
  
  • Fabre Nicolas
  • Klimov Andrei B
  • Leuchs Gerd
  • Sánchez-Soto Luis L
  AVS Quantum Science, AIP Publishing / AVS, 2023, 5 (1), pp.014404. (10.1116/5.0134784)
  DOI : 10.1116/5.0134784
• The role of Mrs. Gerber's lemma for evaluating the information leakage of masked computations
  
  • Rioul Olivier
  , 2023.
• Teleportation of continuous variables states
  
  • Fabre N
  , 2023, pp.4.
• A Low-Profile, Triple-Band, and Wideband Antenna Using Dual-Band AMC
  
  • Gonçalves Licursi de Mello Rafael
  • Lepage Anne Claire
  • Begaud Xavier
  Sensors, MDPI, 2023, 23 (4). (10.3390/s23041920)
  DOI : 10.3390/s23041920
• Automatically Verifying Expressive Epistemic Properties of Programs
  
  • Belardinelli Francesco
  • Boureanu Ioana
  • Malvone Vadim
  • Rajaona Fortunat
  , 2023, 37 (5), pp.6245-6252. (10.1609/AAAI.V37I5.25769)
  DOI : 10.1609/AAAI.V37I5.25769
• An Adaptive Layer to Leverage Both Domain and Task Specific Information from Scarce Data
  
  • Guibon Gaël
  • Labeau Matthieu
  • Lefeuvre Luce
  • Clavel Chloé
  , 2023, 37 (6), pp.7757-7765. (10.1609/aaai.v37i6.25940)
  DOI : 10.1609/aaai.v37i6.25940
• Graph-Assisted Bayesian Node Classifiers
  
  • Hafidi Hakim
  • Ciblat Philippe
  • Ghogho Mounir
  • Swami Ananthram
  IEEE Access, IEEE, 2023, 11, pp.23989-24002. (10.1109/ACCESS.2023.3242866)
  DOI : 10.1109/ACCESS.2023.3242866
• Robust machine learning for Graphs/Networks
  
  • Hafidi Hakim
  , 2023.