Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
- N. Afroz, Ah. Sayem, G. Volanis, D. Maliuk, Haralampos‑G. Stratigopoulos, Y. Makris : “On the Sensitivity of Analog Artificial Neural Network Models to Process Variation”, 42nd IEEE VLSI Test Symposium (VTS 2024), VTS24 proceedings, Tempe, AZ, United States [Afroz 2024]
- E. Ahmadieh, N. El Madhoun : “Comparative E-Voting Security Evaluation: Multi-Modal Authentication Approaches”, THE SIXTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND APPLICATIONS (BCCA 2024), Dubai, United Arab Emirates [Ahmadieh 2024]
- P. Amestoy, O. Boiteau, A. Buttari, L. Combe, F. Faucher, M. Gerest, F. JĂ©zĂ©quel, J.‑Y. L'Excellent, Th. Mary, S. Operto, Ch. Puglisi : “Recent advances on sparse direct solver using Block Low-Rank and mixed precision for large scale applications”, SIAM Conference on Applied Linear Algebra (LA24), Paris, France [Amestoy 2024b]
- É. AndrĂ©, J. Arias, B. Barbot, F. Hulin‑Hubard, F. Kordon, V.‑F. Le, L. Petrucci : “CosyVerif: The Path to Formalisms Cohabitation”, 45th International Conference on Application and Theory of Petri Nets and Concurrency, vol. 14628, Lecture Notes in Computer Science, Geneva, Switzerland, pp. 432-444, (Springer Nature Switzerland) [AndrĂ© 2024]
- S. Angelopoulos, M. Bienkowski, Ch. DĂĽrr, B. Simon : “Contract Scheduling with Distributional and Multiple Advice”, Proceedings of the 33rd International Joint Conference in Artificial Intelligence (IJCAI-24), Jeju Island, Korea, Republic of [Angelopoulos 2024e]
- Th. Archambault, A. Filoche, A. Charantonis, D. BĂ©rĂ©ziat : “Pre-training and Fine-tuning Attention Based Encoder Decoder Improves Sea Surface Height Multi-variate Inpainting”, VISAPP 2024 - 19th International Conference on Computer Vision Theory and Applications, Roma, Italy [Archambault 2024a]
- Th. Archambault, P. Garcia, A. Charantonis, D. BĂ©rĂ©ziat : “Deep Sea Surface Height Multivariate Interpolation”, European Geosciences Union General Assembly 2024 (EGU24), Vienne, Austria [Archambault 2024c]
- Y. Bai, C. Constantin, H. Naacke : “Leiden-Fusion Partitioning Method for Effective Distributed Training of Graph Embeddings”, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD), Vilnius (Lituanie), Lithuania [Bai 2024]
- J. Barbour, S. Rajeh, S. Najem, H. Cherifi : “Evaluating Community Structure Preservation of Network Embedding Algorithms”, Proceedings FRCCS 2024, Montpellier, France [Barbour 2024a]
- J. Barbour, S. Rajeh, S. Najem, H. Cherifi : “Evaluating Network Embeddings Through the Lens of Community Structure”, Twelfth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2023, vol. 1141, Studies in Computational Intelligence, Menton Riviera, France, pp. 440-451, (Springer Nature Switzerland), (ISBN: 978-3-031-53468-3) [Barbour 2024b]
- J. Berthomieu, R. Mohr : “Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting”, 49th International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 307-315, (ACM), (ISBN: 9798400706967) [Berthomieu 2024]
- L. Bettale, D. Kahrobaei, L. Perret, J. Verbel : “Biscuit: New MPCitH Signature Scheme from Structured Multivariate Polynomials”, Applied Cryptography and Network Security (ACNS), vol. 14583, Lecture Notes in Computer Science, Abu Dhabi, United Arab Emirates, pp. 457-486, (Springer Nature Switzerland) [Bettale 2024]
- A. Beynier, J.‑G. Mailly, N. Maudet, A. Wilczynski : “Explaining the Lack of Locally Envy-Free Allocations”, Proceedings ECAI 2024, Santiago de Compostela, Spain [Beynier 2024]
- T. Bilot, N. El Madhoun, Kh. Al Agha, A. Zouaoui : “Few Edges Are Enough: Few-Shot Network Attack Detection with Graph Neural Networks”, Advances in Information and Computer Security, vol. 14977, Kyoto, Japan, pp. 257–-276, (Springer Nature Singapore), (ISBN: 978-981-97-7737-2) [Bilot 2024]
- L. Blin, G. Le Bouder, F. Petit : “Optimal Memory Requirement for Self-Stabilizing Token Circulation”, Lecture Notes in Computer Science, vol. 14662, Lecture Notes in Computer Science, Salerno, Italy, pp. 101–118, (Springer), (ISBN: 978-3-031-60602-1) [Blin 2024b]
- Q. Bramas, J.‑R. Luttringer, S. Tixeuil : “Le guide du routard temporel”, AlgoTel 2024 – 26èmes Rencontres Francophones sur lesAspects Algorithmiques des TĂ©lĂ©communications, Saint-Briac-sur-Mer, France [Bramas 2024a]
- Q. Bramas, J.‑R. Luttringer, S. Tixeuil : “Online Space-Time Travel Planning in Dynamic Graphs”, 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024), vol. 292, Patras, Greece, pp. 7:1-7:14, (Schloss Dagstuhl), (ISBN: 978-3-95977-315-7) [Bramas 2024b]
- Q. Bramas, S. Kamei, A. Lamani, S. Tixeuil : “Stand-Up Indulgent Gathering on Rings”, International Colloquium on Structural Information and Communication Complexity, vol. 14662, Lecture Notes in Computer Science, Vietri sul Mare, Italy, pp. 119-137, (Springer) [Bramas 2024d]
- Q. Bramas, T. Masuzawa, S. Tixeuil : “Brief Announcement: Crash-Tolerant Exploration of Trees by Energy Sharing Mobile Agents”, 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024). Leibniz International Proceedings in Informatics (LIPIcs), vol. 292, Leibniz International Proceedings in Informatics (LIPIcs), Patras, Greece, pp. 25:1-25:5, (Schloss Dagstuhl -- Leibniz-Zentrum fĂĽr Informatik), (ISBN: 978-3-95977-315-7) [Bramas 2024e]
- Q. Bramas, T. Masuzawa, S. Tixeuil : “On n'explore que deux fois”, AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Saint-Briac-sur-Mer, France [Bramas 2024f]
- A. Calle Viera, A. Berzati, K. Heydemann : “Fault Attacks Sensitivity of Public Parameters in the Dilithium Verification”, Smart Card Research and Advanced Applications, vol. 14530, Lecture Notes in Computer Science, Amsterdam, Netherlands, pp. 62-83, (Springer Nature Switzerland), (ISBN: 978-3-031-54409-5) [Calle Viera 2024]
- A. Cassagne : “StreamPU: A DSEL and a Runtime for Efficient Execution of Streaming Applications on Multicore & Heterogeneous CPUs”, Alpes Heterogeneous Computing Workshop, Annecy (France), France [Cassagne 2024]
- D. Cassells, L. Tabourier, P. Ramaciotti : “Modeling both pairwise interactions and group effects in polarization on interaction networks”, International Conference on Complex Networks, Exetrer, United Kingdom [Cassells 2024]
- B. Chan Yip Hon, B. Zaghdoudi, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Challenger: Blockchain-based Massively Multiplayer Online Game Architecture”, International Conference on Networked Systems (NETYS), vol. 14783, Lecture Notes in Computer Science, Rabat (MOROCCO), Morocco, pp. 50-66, (Springer Nature Switzerland) [Chan Yip Hon 2024]
- A. Correia, F. Giasemis, N. Garroum, V. Gligorov, B. Granado : “Graph Neural Network-Based Pipeline for Track Finding in the Velo at LHCb”, Proceedings of the CTD 2023, Toulouse, France, pp. proc-ctd2023-34 [Correia 2024a]
- A. Curiel, A. Genitrini : “Lexicographic Unranking Algorithms for the Twelvefold Way”, 35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2024), vol. 302, Leibniz International Proceedings in Informatics (LIPIcs), Bath, United Kingdom, pp. 17:1-17:14, (Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik) [Curiel 2024]
- C. Del cistia Gallimard, K. Nikolajevic, F. Beroul, J. Denoulet, B. Granado, Ch. Marsala : “Direct Load Recognition Application to Main Rotor Pitch-Link Load on the H175 Fleet: A New Wavelet Approach”, Vertical Flight Society, MontrĂ©al (QuĂ©bec), Canada [Del cistia Gallimard 2024]
- A. DĂaz Rizo, A. Emad Abdelazim, H. Aboushady, Haralampos‑G. Stratigopoulos : “Covert Communication Channels Based On Hardware Trojans: Open-Source Dataset and AI-Based Detection”, IEEE International Symposium on Hardware Oriented Security and Trust, Washington D.C., United States [DĂaz Rizo 2024]
- K. Dietrich, D. Vermetten, C. Doerr, P. Kerschke : “Impact of Training Instance Selection on Automated Algorithm Selection Models for Numerical Black-box Optimization”, GECCO '24: Proceedings of the Genetic and Evolutionary Computation Conference, Melbourne, Australia [Dietrich 2024]
- H. Dorfsman, A. Anciaux‑Sedrakian, Th. Guignon, F. JĂ©zĂ©quel, Th. Mary : “Mixed Precision Strategies for Solving Sparse Linear Systems with Bicgstab”, SIAM LA24, Paris, France [Dorfsman 2024a]
- H. Dorfsman, A. Anciaux‑Sedrakian, Th. Guignon, F. JĂ©zĂ©quel, Th. Mary : “StratĂ©gies de rĂ©solutions de systèmes linĂ©aires creux en prĂ©cision mixte avec BiCGStab”, CANUM 2024 - 46th National Congress on Numerical Analysis, Le-Bois-Plage-en-RĂ©, France [Dorfsman 2024b]
- D. Dubois, R. Guillaume, Ch. Marsala, A. Rico : “Interpreting Fuzzy Decision Trees with Probability-Possibility Mixtures”, IPMU 2024, Lisbon, Portugal [Dubois 2024]
- N. El Madhoun, B. Hammi, S. El Jaouhari, D. Mesbah, E. Ahmadieh : “Addressing security challenges in copyright management applications : the blockchain perspective”, AINA 2024 : Barolli, L. (eds) Advanced Information Networking and Applications, vol. 204, Lecture Notes on Data Engineering and Communications Technologies, Kitakyushu, Japan, pp. 169-182, (Springer Nature Switzerland), (ISBN: 978-3-031-57942-4) [El Madhoun 2024]
- Q. Ferro, S. Graillat, Th. Hilaire, F. JĂ©zĂ©quel : “Auto-ajustement de la prĂ©cision grâce au logiciel PROMISE”, CANUM 2024, 46th National Congress on Numerical Analysis, Le-Bois-Plage-en-RĂ©, France [Ferro 2024]
- V. Fu, L. Zaourar, A. Munier‑Kordon, M. Duranton : “Design space exploration of HPC systems with Random Forest-based Bayesian Optimization”, RAPIDO '24 - Proceedings of the 16th Workshop on Rapid Simulation and Performance Evaluation for Design Optimization: Methods and Tools, Munich, Germany, pp. 9-15, (Association for Computing Machinery), (ISBN: 9798400717918) [Fu 2024]
- L. Gaillard, M. Safey El Din : “Solving parameter-dependent semi-algebraic systems”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 447-456, (ACM), (ISBN: 9798400706967) [Gaillard 2024]
- J.‑G. Ganascia : “L'Ă©volution de l'IA dans l'industrie depuis 10 ans”, 10 ème ConfĂ©rence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, La Rochelle, France [Ganascia 2024]
- P. Garcia, Th. Archambault, H. Bull, A. Charantonis, D. BĂ©rĂ©ziat : “Transfer-learning and data fusion for forecasting ocean surface currents”, RFIAP 2024, Lille, France [Garcia 2024]
- D. Genius, L. Apvrille : “Cycle-Accurate Virtual Prototyping with Multiplicity”, Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - MODELSWARD, vol. 1, Rome, Italy, pp. 187-194, (SCITEPRESS - Science and Technology Publications), (ISBN: 978-989-758-682-8) [Genius 2024]
- H. Gilbert, M. Ouaguenouni, O. Spanjaard : “ModĂ©lisation et apprentissage de prĂ©fĂ©rences non-transitives entre ensembles avec synergies entre Ă©lĂ©ments”, 25ème congrès annuel de la sociĂ©tĂ© française de recherche opĂ©rationnelle et d'aide Ă la dĂ©cision (ROADEF 2023), Amiens, France [Gilbert 2024]
- P. Giorgi, F. Laguillaumie, L. Ottow, D. Vergnaud : “Fast Secure Computations on Shared Polynomials and Applications to Private Set Operations”, ITC 2024 - 5th Information-Theoretic Cryptography Conference, Stanford, CA, United States [Giorgi 2024]
- S. Gopalakrishnan, V. Neiger, M. Safey El Din : “Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 400–409, (ACM), (ISBN: 9798400706967) [Gopalakrishnan 2024]
- S. Graillat, F. JĂ©zĂ©quel, Th. Mary, R. Molina, D. Mukunoki : “Reduced-Precision and Reduced-Exponent Formats for Accelerating Adaptive Precision Sparse Matrix-Vector Product”, Euro-Par 2024 Proceedings, Madrid, Spain [Graillat 2024b]
- J. Grus, C. Hanen, Z. Hanzalek : “Packing-Inspired Algorithms for Periodic Scheduling Problems with Harmonic Periods”, Proceedings of the 13th International Conference on Operations Research and Enterprise Systems - ICORES, vol. 1, Rome, Italy, pp. 101-112, (SciTePress - Science and Technology Publications), (ISBN: 978-989-758-681-1) [Grus 2024]
- G. Guigon, M. Muratet, M. Vermeulen, Th. Carron, J.‑l. Cordonnier : “Modelling and verification of asymmetric role-playing scenarios for learning with Petri nets”, Games and Learning Alliance Conference, Berlin, Germany [Guigon 2024a]
- G. Guigon, M. Vermeulen, M. Muratet, Th. Carron : “Co-designing synchronous asymmetric multiplayer learning game scenarios”, International Conference on Computer-Supported Collaborative Learning, Buffalo, NY, United States [Guigon 2024b]
- G. Guigon, M. Vermeulen, M. Muratet, Th. Carron : “Tangible or digital? A comparison between two tools for designing asymmetric role-playing games for learning”, 16th International Conference on Computer Supported Education, Angers, France [Guigon 2024c]
- C. Guillet, T. Hirschler, P. Jolivet, R. Bouclier : “Low-order preconditioner of matrix-free solver for isogeometric analysis of lattices”, ECCOMAS 2024 - 9th European Congress on Computational Methods in Applied Sciences and Engineering, Lisbonne, Portugal [Guillet 2024]
- L. Guillou, A. Sangnier, N. Sznajder : “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”, Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Proceedings, vol. 14628, Lecture Notes in Computer Science, Geneva, Switzerland, pp. 291-311, (Springer Nature Switzerland) [Guillou 2024]
- H. Ha, V. Nguyen, A. Ta : “Solving Edge-Weighted Maximum Clique Problem with DCA Warm-Start Quantum Approximate Optimization Algorithm”, Metaheuristics International Conference (MIC 2024), vol. 14753, Lecture Notes in Computer Science, Lorient, France, pp. 246-261, (Springer Nature Switzerland) [Ha 2024a]
- H. Ha, V. Nguyen, A. Ta : “Solving Quadratic Knapsack Problem with Biased Quantum State Optimization Algorithm”, Metaheuristics International Conference (MIC 2024), vol. 14753, Lecture Notes in Computer Science, Lorient, France, pp. 268-280, (Springer Nature Switzerland) [Ha 2024b]
- M. Herin, P. Perny, N. Sokolovska : “Learning GAI-decomposable Utility Models for Multiattribute Decision Making”, Proc. 38th AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, Canada [Herin 2024b]
- M. Herin, P. Perny, N. Sokolovska : “Online Learning of Capacity-Based Preference Models”, Proceedings of the Thirty-third International Joint Conference on Artificial Intelligence (IJCAI-24), Jeju, Korea, Republic of [Herin 2024c]
- B. Huang, D. Wang, J. Yang : “Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, Raleigh, NC, United States, pp. 180-187, (ACM), (ISBN: 9798400706967) [Huang 2024b]
- B. Icard, F. Maine, M. Casanova, G. Faye, J. Chanson, G. Gadek, Gh. Atemezing, F. Bancilhon, P. ÉgrĂ© : “A Multi-Label Dataset of French Fake News: Human and Machine Insights”, LREC-COLING 2024 - Joint International Conference on Computational Linguistics, Language Resources and Evaluation, Torino, Italy, pp. 1-7 [Icard 2024b]
- D. Jaime, J. El Haddad, P. Poizat : “Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph”, 21st International Conference on Mining Software Repositories (MSR), Libonne, Portugal [Jaime 2024a]
- D. Jaime, P. Poizat, J. El Haddad, Th. Degueule : “Balancing the Quality and Cost of Updating Dependencies”, 39th IEEE/ACM International Conference on Automated Software Engineering (ASE), Sacramento, United States [Jaime 2024b]
- S. Jarrad, H. Naacke, S. Gançarski : “Top-k on Sequences: A New Approach to Enhanced Similarity Search”, International Conference on Information Integration and Web Intelligence (iiWAS), Bratislava, Slovakia [Jarrad 2024]
- H. Kazem, N. El Madhoun, S. Bouzefrane, P. Conord : “Security Challenges and Countermeasures in Blockchain’s Peer-to-Peer Architecture”, Information Security Theory and Practice. 14th IFIP WG 11.2 International Conference, WISTP 2024, Paris, France, February 29 – March 1, 2024, Proceedings, vol. 14625, Lecture Notes in Computer Science, Paris, France, pp. 111-127, (Springer Nature Switzerland), (ISBN: 978-303160390-7) [Kazem 2024]
- Sh. Khozam, G. Blanc, S. Tixeuil, É. Totel : “DDoS mitigation while preserving QoS: a deep reinforcement learning-based approach”, 2024 IEEE 10th International Conference on Network Softwarization (NetSoft), Saint Louis, MO, United States, pp. 369-374, (IEEE), (ISBN: 979-8-3503-6958-8) [Khozam 2024]
- B. Kirouchenassamy : “Adaptation du Feedback dans les plateformes d’apprentissage de la programmation : quelle politique de dĂ©cision ?”, Actes des dixièmes rencontres jeunes chercheuses et chercheurs en EIAH, Laval, France, pp. 124-134 [Kirouchenassamy 2024]
- S. LallĂ©, F. Bouchet, M. Verger, V. Luengo : “Fairness of MOOC Completion Predictions Across Demographics and Contextual Variables”, Proceedings of the 25th International Conference on Artificial Intelligence in Education, vol. 14829, Lecture Notes in Computer Science, Recife, Brazil, pp. 379-393, (Springer Nature Switzerland) [LallĂ© 2024]
- P. Lascabettes, I. Bloch : “Discovering Repeated Patterns From the Onsets in a Multidimensional Representation of Music”, Discrete Geometry and Mathematical Morphology, Florence, Italy [Lascabettes 2024a]
- P. Lascabettes, I. Bloch : “What Are "Good" Rhythms? Generating Rhythms Based on the Properties Set Out in The Geometry of Musical Rhythm”, Mathematics and Computation in Music, vol. 14639, Lecture Notes in Computer Science, Coimbra, Portugal, pp. 45–57, (Springer) [Lascabettes 2024b]
- B. Legay, M. Latapy : “Mapping Low-Resolution Edges to High-Resolution Paths: The Case of Traffic Measurements in Cities”, Complex Networks XV: Proceedings of the 15th Conference on Complex Networks, CompleNet 2024, vol. XV, Springer Proceedings in Complexity, Exeter (England), United Kingdom, pp. 1-13, (Springer Nature Switzerland) [Legay 2024]
- M. Mallem, C. Hanen, A. Munier‑Kordon : “A New Structural Parameter on Single Machine Scheduling with Release Dates and Deadlines”, International Symposium on combinatorial optimization 2024, vol. 14594, Lecture Notes in Computer Science, Tenerife (Canaries), Spain, pp. 205-219, (Springer Nature Switzerland) [Mallem 2024]
- R. Marsal, F. Chabot, A. Loesch, W. Grolleau, H. Sahbi : “MonoProb: self-supervised monocular depth estimation with interpretable incertainty”, Online proceedings of the 2024 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), Waikoloa, HI, USA, 2024, Waikoloa, HI, United States, pp. 3625-3634, (IEEE), (ISBN: 979-8-3503-1892-0) [Marsal 2024]
- G. Martin, A. Becq, I. Bloch, M. Camus, A. Pinna, J. Szewczyk : “Comparison of Loss Functions for Guidewire Automatic Detection on a Limited Dataset of Fluoroscopic Images for Endoscopic Retrograde Cholangiopancreatography”, 2024 IEEE International Symposium on Biomedical Imaging (ISBI), Athens, Greece, pp. 1-4, (IEEE) [Martin 2024b]
- D. Mesbah, N. El Madhoun, Kh. Al Agha, H. Chalouati : “Beyond the Code: Unraveling the Applicability of Graph Neural Networks in Smell Detection”, Advances in Network-Based Information Systems, vol. 224, Lecture Notes on Data Engineering and Communications Technologies, Asan, Korea, Republic of, pp. 148–-161, (Springer Nature Switzerland), (ISBN: 978-3-031-72325-4) [Mesbah 2024]
- M. Milanese, A. MinĂ© : “Generation of Violation Witnesses by Under-Approximating Abstract Interpretation”, Verification, Model Checking, and Abstract Interpretation, vol. 14499, Lecture Notes in Computer Science, London, United Kingdom, pp. 50-73, (Springer Nature Switzerland), (ISBN: 978-3-031-50524-9) [Milanese 2024a]
- F. Molano Ortiz, A. Mishra, F. D. de M. Silva, N. Achir, A. Carneiro Viana, A. Fladenmuller, L. Costa : “Collecte de traces WiFi publiques: de la protection de la vie privĂ©e Ă l'analyse de trajectoires”, CoRes 2024: 9èmes Rencontres Francophones sur la Conception de Protocoles, l'Évaluation de Performance et l'ExpĂ©rimentation des RĂ©seaux de Communication, Saint-Briac-sur-Mer, France, pp. 1-4 [Molano Ortiz 2024]
- R. Molina, V. Lafage, D. Chamont, F. JĂ©zĂ©quel : “Investigating mixed-precision for AGATA pulse-shape analysis”, EPJ Web of Conferences, vol. 295, Norfolk, VA, United States, pp. 03020 [Molina 2024]
- R. Monat, M. Milanese, F. Parolini, J. Boillot, A. Ouadjaout, A. MinĂ© : “Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)”, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, vol. 14572, Lecture Notes in Computer Science, Luxembourg City, Luxembourg, pp. 387-392, (Springer Nature Switzerland) [Monat 2024b]
- R. Moreira Ferreira, L. Perret : “Polynomial-Time Key-Recovery Attack on the NIST Specification of PROV”, Progress in Cryptology - AFRICACRYPT 2024, vol. 14861, Lecture Notes in Computer Science, Douala, Cameroon, pp. 222-235, (Springer Nature Switzerland), (ISBN: 978-3-031-64381-1) [Moreira Ferreira 2024]
- N. Moussaoui Remil, C. Urban, A. MinĂ© : “Automatic Detection of Vulnerable Variables for CTL Properties of Programs”, 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 100, EPiC Series in Computing, Port Louis, Mauritius, pp. 116-126, (EasyChair) [Moussaoui Remil 2024]
- Y. Munro, I. Bloch, M. Chetouani, C. Pelachaud, M.‑J. Lesot : “SĂ©mantique agrĂ©gative graduelle pour les systèmes d'argumentation bipolaires pondĂ©rĂ©s”, Actes des 18es JournĂ©es d’Intelligence Artificielle Fondamentale et des 19es JournĂ©es Francophones sur la Planification, la DĂ©cision et l’Apprentissage pour la conduite de systèmes, La Rochelle, France [Munro 2024]
- R. Mzid, I. Rezigui, T. Ziadi : “Attention-based Method for Design Pattern Detection”, The European Conference on Software Architecture (ECSA), Luxembourg, Luxembourg [Mzid 2024]
- V. Neiger, C. Pernet, G. Villard : “Computing Krylov iterates in the time of matrix multiplication”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC '24, Raleigh, NC, United States, pp. 419–428, (ACM), (ISBN: 9798400706967) [Neiger 2024]
- A. Nikolikj, A. Kostovska, D. Vermetten, C. Doerr, T. Eftimov : “Quantifying Individual and Joint Module Impact in Modular Optimization Frameworks”, 2024 IEEE Congress on Evolutionary Computation (CEC), Yokohama, Japan, (IEEE) [Nikolikj 2024a]
- A. Nikolikj, A. Kostovska, G. Cenikj, C. Doerr, T. Eftimov : “Generalization Ability of Feature-based Performance Prediction Models: A Statistical Analysis across Benchmarks”, 2024 IEEE Congress on Evolutionary Computation (CEC), Yokohama, Japan, (IEEE) [Nikolikj 2024b]
- J. Pantin, Ch. Marsala : “DĂ©tection d’anomalies textuelles par ensemble d’autoencodeurs robustes”, Revue des Nouvelles Technologies de l'Information, vol. Extraction et Gestion des Connaissances, RNTI-E-40, Dijon, France, pp. 319-326 [Pantin 2024]
- P. PĂ©bereau : “One vector to rule them all: Key recovery from one vector in UOV schemes”, 15th International Conference on Post-Quantum Cryptography - PQCrypto 2024, vol. 14772, Lecture Notes in Computer Science, Oxford, United Kingdom, pp. 92-108, (Springer Nature Switzerland), (ISBN: 978-3-031-62746-0) [PĂ©bereau 2024a]
- A. Pham, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Comment Saboter l'Apprentissage Collectif par CommĂ©rage”, AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des TĂ©lĂ©communications, Saint-Briac-sur-Mer, France [Pham 2024a]
- A. Pham, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Data Poisoning Attacks in Gossip Learning”, Advanced Information Networking and Applications, vol. 200, Lecture Notes on Data Engineering and Communications Technologies, KitakyĹ«shĹ«, Japan, pp. 213-224, (Springer Nature Switzerland), (ISBN: 978-3-031-57853-3) [Pham 2024c]
- Y. PiĂ©tri, M. Schiavon, V. Marulanda Acosta, B. Gouraud, L. Vidarte, Ph. Grangier, A. Rhouni, E. Diamanti : “QOSST: A Highly Modular Open Source Platform for Continuous Variable Quantum Key Distribution Applications”, Quantum 2.0 Conference and Exhibition, Rotterdam, Netherlands, pp. qth4b.4, (Optica Publishing Group), (ISBN: 978-1-55752-518-5) [PiĂ©tri 2024a]
- J. QuĂ©vremont, N. Ventroux, J.‑M. Philippe, S. Jacq, P. Benoit, A. Pinna, S. Pillement : “Impact of the four French RISC-V Contests on Education and Research”, RISC-V Summit Europe 2024, Munich, Germany [QuĂ©vremont 2024]
- A. Quillent, V. Bismuth, I. Bloch, Ch. Kervazo, S. Ladjal : “Deep-learning uncertainty estimation for data-consistent breast tomosynthesis reconstruction”, 21st International Symposium on Biomedical Imaging (ISBI 2024), Athens, Greece [Quillent 2024]
- H. Rahimi, H. Naacke, C. Constantin, B. Amann : “ATEM: A Topic Evolution Model for the Detection of Emerging Topics in Scientific Archives”, Studies in Computational Intelligence, vol. 1143, Studies in Computational Intelligence, Menton, France, pp. 332-343, (Springer Nature Switzerland), (ISBN: 978-3-031-53472-0) [Rahimi 2024a]
- H. Rahimi, J. Hoover, D. Mimno, H. Naacke, C. Constantin, B. Amann : “Contextualized Topic Coherence Metrics”, Findings of the Association for Computational Linguistics: EACL 2024, St. Julian's, Malta, pp. 1760-1773, (Association for Computational Linguistics) [Rahimi 2024b]
- S. Rajeh, H. Cherifi : “On Diffusion, Community Structure, and Community-aware Centrality in Network”, 10th International Conference on Computational Social Science IC2S2, Philadelphia, PA, United States [Rajeh 2024a]
- M. Razafintsialonina, D. BĂĽhler, A. MinĂ©, V. Perrelle, J. Signoles : “RĂ©utilisations de caches et d'invariants pour l'analyse statique incrĂ©mentale”, 35es JournĂ©es Francophones des Langages Applicatifs (JFLA 2024), Saint-Jacut-de-la-Mer, France [Razafintsialonina 2024]
- A. Rico, M.‑J. Lesot, Ch. Marsala : “A Maximin Approach to Elicit Gödel Integral in an XAI Context”, Proceedings of the IEEE WCCI 2024 / Fuzz-IEEE 2024, Yokohama, Japan [Rico 2024]
- H. Rimlinger, K. Vermeulen, T. Friedman, O. Fourmaux : “GeoGiant: Vers une gĂ©olocalisation d'adresses IP Ă l'Ă©chelle grâce aux gĂ©ants d'Internet”, CoRes 2024: 9èmes Rencontres Francophones sur la Conception de Protocoles, l'Évaluation de Performance et l'ExpĂ©rimentation des RĂ©seaux de Communication, Saint-Briac-sur-Mer, France, pp. Ă paraĂ®tre [Rimlinger 2024]
- S. Saouli, S. Baarir, C. Dutheillet : “Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm”, 16th International Symposium, NFM 2024Moffett Field, CA, USA, June 4–6, 2024Proceedings, vol. 14627, Lecture Notes in Computer Science, Moffett Field, CA, United States, pp. 21-36, (Springer Nature Switzerland) [Saouli 2024]
- E. Schiebelbein, S. Hatia, A. Bieniusa, G. Petri, C. Ferreira, M. Shapiro : “Models for Storage in Database Backends: A Rigorous Approach for Formally-Correct Designs”, Proceedings of the EuroSys 2024 workshops, Athènes, Greece [Schiebelbein 2024]
- M. Seiler, U. Skvorc, C. Doerr, H. Trautmann : “Synergies of Deep and Classical Exploratory Landscape Features for Automated Algorithm Selection”, The 18th Learning and Intelligent OptimizatioN Conference (LION 2024), Lecture Notes in Computer Science, Ischia, Italy, (Springer) [Seiler 2024]
- G. Smits, M.‑J. Lesot : “COPILS: COmParIson of Linguistic Summaries”, IPMU 2024 - 20th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Lisboa, Portugal [Smits 2024]
- V. Ĺ vábenskĂ˝, M. Verger, Maria Mercedes T. Rodrigo, Clarence James G. Monterozo, R. Baker, M. Saavedra, S. LallĂ©, A. Shimada : “Evaluating Algorithmic Bias in Models for Predicting Academic Performance of Filipino Students”, Proceedings of the 17th International Conference on Educational Data Mining (EDM 2024), Atlanta, GA, United States [Ĺ vábenskĂ˝ 2024]
- L. Sylvestre, J. SĂ©rot, E. Chailloux : “Hardware Implementation of OCaml Using a Synchronous Functional Language”, Practical Aspects of Declarative Languages, vol. 14512, Lecture Notes in Computer Science, Londres, United Kingdom, pp. 151-168, (Springer Nature Switzerland), (ISBN: 978-3-031-52037-2) [Sylvestre 2024]
- J. Thieyre, A. Beynier, N. Maudet, S. Vesic : “Reassessing the Impact of Reading Behaviour in Online Debates Under the Lens of Gradual Semantics”, Fifth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA-24), vol. 3757, CEUR Workshop Proceedings, Hagen, Germany, pp. 119-133 [Thieyre 2024]
- D. Vermetten, C. Doerr, H. Wang, A. Kononova, Th. Bäck : “Large-scale Benchmarking of Metaphor-based Optimization Heuristics”, GECCO '24: Proceedings of the Genetic and Evolutionary Computation Conference, Melbourne, Australia [Vermetten 2024]
- P. Videira Rubinstein, F. Dias de Mello Silva, M. Syed, A. Fladenmuller, M. Dias De Amorim, L. Maciel Kosmalski Costa : “Estimativa de Distância em Redes Wi-Fi usando Super-sniffers”, Anais do SimpĂłsio Brasileiro de Redes de Computadores e Sistemas DistribuĂdos, NiterĂłi, Rio de Janeiro, Brazil [Videira Rubinstein 2024]
- F. Vivodtzev, F. Nauleau, J.‑Ph. Braeunig, J. Tierny : “Identifying Locally Turbulent Vortices within Instabilities”, IEEE LDAV 2024 (posters), Saint Pete Beach, United States [Vivodtzev 2024]
- D. Wang, L. Wang : “Decomposition of Polynomial Ideals into Triangular Regular Sequences”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, Raleigh, NC, United States, pp. 244-253, (ACM), (ISBN: 9798400706967) [Wang 2024]
- W. Wang, S. Li, I. Saliba, A. Hardy, R. VIALLE, J. Denoulet, S. Feruglio : “Optimizing the Monte-Carlo simulation program for NIRS modeling of biological tissues in optoelectronic devices”, 31st IEEE International Conference on Electronics Circuits and Systems, Nancy, France [Wang 2024a]
- W. Wang, S. Li, I. Saliba, J. Denoulet, S. Feruglio : “Outil pour la conception de systèmes NIRS dans les tissus biologiques”, Colloque National du GDR SoC2 2024, Toulouse, France [Wang 2024b]
- M. Will, J. Lukasczyk, J. Tierny, Ch. Garth : “Distributed Path Compression for Piecewise Linear Morse-Smale Segmentations and Connected Components”, IEEE LDAV, Saint Pete Beach, United States [Will 2024]
- H. Xu, S. Baarir, T. Ziadi, S. Essodaigui, Y. Bossu : “Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An experience report”, 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024), Limassol, Cyprus [Xu 2024]
- N.‑E. Yellas, É. Renault, S. Boumerdassi : “Grubbs Test Based Algorithms to Improve the Efficiency of Blockchain Oracles”, 2024 International Wireless Communications and Mobile Computing (IWCMC), Ayia Napa, Cyprus, pp. 1478-1482, (IEEE), (ISBN: 979-8-3503-6126-1) [Yellas 2024a]
- N.‑E. Yellas, J. Choi, P. CHEMOUIL, S. Secci, D. Medhi : “Network Slice Robustness with Function Sets”, NOMS 2024-2024 IEEE Network Operations and Management Symposium, SĂ©oul, Korea, Republic of, pp. 1-9, (IEEE), (ISBN: 978-8-3503-2793-9) [Yellas 2024b]
- V. Yepmo, G. Smits, M.‑J. Lesot, O. Pivert : “CADI: Contextual Anomaly Detection using an Isolation Forest”, The 39th ACM/SIGAPP Symposium On Applied Computing, Avila, Spain [Yepmo 2024a]