| 2023 | Jaime ARIAS, Mohamed Taha BENNANI, Jörg DESEL, Kais KLAI, Hanène OCHI | sogMBT: Symbolic Observation Graph-Based Generation of Test Paths | link |
| 2023 | Jaime ARIAS, Kyungmin BAE, Laure PETRUCCI, Carlos OLARTE, Peter ÖLVECZKY, Fredrik RØMMING | PITPN2Maude: Rewriting Logic Semantics for Parametric Time Petri Nets with Inhibitor Arcs | link |
| 2022 | Moussa KAMAL EDDINE, Nadi TOMEH, Joseph LE ROUX, Nizar HABASH, Michel VAZIRGIANNIS | AraBART: a Pretrained Arabic Sequence-to-Sequence Model for Abstractive Summarization (code) | link |
| 2022 | Jaime ARIAS, Łukasz MAŚKO, Carlos OLARTE, Wojciech PENCZEK, Laure PETRUCCI, Teofil SIDORUK | ADT2Maude: A rewriting logic specification for modeling ADTree and solve the optimal scheduling problem | link |
| 2022 | Jaime ARIAS, Laure PETRUCCI, Van-François LE | Jaime ARIAS, Laure PETRUCCI, Van-François LE | link |
| 2022 | Clément AUBERT, Thomas RUBIANO, Neea RUSCH, Thomas SEILLER | mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity | link |
| 2022 | Sylvie BOLDO, François CLÉMENT, Martin VINCENT, Micaela MAYERO, Florian FAISSOLE, Houda MOUHCINE, Louise LECLERC, Stephane AUBRY | coq-num-analysis opam package (Numerical Analysis in Coq) | link |
| 2022 | Carlos OLARTE, Elaine PIMENTEL, Camilo ROCHA | L-Framework | link |
| 2022 | M. Hamidi et A. Osmani. | Reduction of the Position Bias via Multi-Level Learning for Activity Recognition. | link |
| 2022 | Urchade ZARATIANA, Niama ELKHBIR, Dennis Hernando NUNEZ FERNANDEZ, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOIS | DyREx: Dynamic Query Representation for Extractive Question Answering (code) | link |
| 2022 | Urchade ZARATIANA, Nadi TOMEH, Pierre HOLAT, Thierry CHARNOIS | GNNer: Reducing Overlapping in Span-based NER Using Graph Neural Networks (code) | link |
| 2022 | Urchade ZARATIANA, Niama ELKHBIR, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOIS | Global Span Selection for Named Entity Recognition (code) | link |
| 2022 | Urchade ZARATIANA, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOIS | Hierarchical Transformer Model for Scientific Named Entity Recognition (code) | link |
| 2022 | Xudong ZHANG, Joseph LE ROUX, Thierry CHARNOIS | Higher-Order Dependency Parsing for Arc-Polynomial Score Functions via Gradient-Based Methods and Genetic Algorithm (code) | link |
| 2022 | Urchade ZARATIANA, Nadi TOMEH, Pierre HOLAT, Thierry CHARNOIS | Named Entity Recognition as Structured Span Prediction (code) | link |
| 2022 | Ghazi FELHI, Joseph LE ROUX, Djamé SEDDAH | QKVAE : A model for Unsupervised Disentanglement of Syntax and Semantics (code) | link |
| 2021 | Jessica LOPEZ ESPEJEL, Gaël DE CHALENDAR, Jorge GARCIA FLORES, Thierry CHARNOIS, Ivan Vladimir MEZA RUIZ | GeSERA: General-domain Summary Evaluation by Relevance Analysis (code) | link |
| 2021 | Jessica LOPEZ ESPEJEL, Pegah ALIZADEH, Jorge GARCIA FLORES | RENFO / DiasporasRL (code) | link |
| 2021 | Xudong ZHANG, Joseph LE ROUX, Thierry CHARNOIS | Strength in numbers: averaging and clustering effects in mixture of experts for graph-based dependency parsing (code) | link |
| 2021 | E. André. | A Benchmarks Library for Extended Timed Automata. | link |
| 2021 | E. André, J. Arias et L. Petrucci. | IMITATOR : Tool for Parametric Verification and Robustness Analysis of Real-Time Systems with Parameter. | link |
| 2021 | J. Arias, I. Garfatta et K. Klai. | Solidity2CPN : Formal Verification of Solidity Smart Contracts using Coloured Petri Nets. | link |
| 2021 | J. Arias et L. Petrucci. | Web user interface for IMITATOR. | link |
| 2021 | F. Forest, M. Lebbah, H. Azzag et J. Lacaille. | DESOM : Deep Embedded Self-Organizing Map model. | link |
| 2021 | E. Goffinet, M. Lebbah et H. Azzag. | MultiCoclustering : 3 méthodes de CoClustering. | link |
| 2021 | M. Hamidi et A. Osmani. | Augmented Experiments in Material Engineering Using Ma- chine Learning. | link |
| 2021 | M. Hamidi et A. Osmani. | Hierarchical Learning of Dependent Concepts for Human Acti- vity Recognition. | link |
| 2021 | S. M. R. Modaresi, A. Osmani, M. Razzazi et A. Chibani. | Auto Profiler : Automatic In- teractive Tree-based Profiling of Python Scripts in Jupyter Notebook. | link |
| 2021 | S. M. R. Modaresi, A. Osmani, M. Razzazi et A. Chibani. | ConfJournalRank : Integrated Multi SourcesConference and Journal Information | link |
| 2021 | S. M. R. Modaresi, A. Osmani, M. Razzazi et A. Chibani. | JCV2 : Enabling Compatibi- lity of OpenCV UI Components with Jupyter Notebooks. | link |
| 2021 | C. Coti. | SKaMPI 6 : an Extension of a Benchmark for MPI Libraries to support OpenSH- MEM Libraries. | link |
| 2020 | Yash KANKANAMPATI, Joseph LE ROUX, Nadi TOMEH, Dima TAJI, Nizar HABASH | Multitask Easy-First Dependency Parsing: Exploiting Complementarities of Different Dependency Representations (code) | link |
| 2020 | C. Ameur Abid, J. Arias et K. Klai. | PMC-SOG : Parallel Model Checking using the Symbolic Observation Graph. | link |
| 2020 | J. Arias, W. Penczek, L. Petrucci et T. Sidoruk. | ADT2AMAS : Managing Agents in Attack- Defence Scenarios. | link |
| 2020 | J.-V. Loddo. | Mariotel, gestionnaire de salles de TP virtuelles sous GNU/Linux. | link |
| 2020 | A. Coutant, E. Goffinet, M. Lebbah et H. Azzag. | spark-tss : une API pour le prétraitement de séries temporelles multi-variables. | link |
| 2020 | M. Hamidi et A. Osmani. | Learning Mobility-Related Human Activities from Sensor-Rich Environments. | link |
| 2019 | Heba KADDOUH, Maroi LABIODH, Nouha GHOURABI, Jorge GARCIA FLORES, Alik HAFSA, Cylia OURTIRANE | YuCorrectMaya: validation app of comparable corpus for the Maya Yucatec language (code) | link |
| 2019 | T. Touili et X. Ye. | SMODIC : A Model Checker for Self-modifying Code. | link |
| 2019 | M. Bendkowski, O. Bodini et S. Dovgal. Boltzmann-Brain | A standalone application for random generation of combinatorial structures. | link |
| 2018 | G. Beck, M. Lebbah, H. Azzag et A. Coutant. | Clustering4Ever : une API pour le clustering. | link |
| 2018 | F. Furini, E. Traversi, P. Belotti, A. Frangioni, A. Gleixner, N. Gould, L. Liberti, A. Lodi, R. Misener, H. Mittelmann, N. Sahinidis, S. Vigerske et A. Wiegele. | QPLIB : A Library of Quadratic Programming Instances. | link |
| 2018 | J. Sliwak, M. Anjos, L. Létocart, E. Traversi et M. Ruiz. | MathProgComplex : A Tool for for polynomial optimization problems with complex variables. | link |
| 2018 | Ivan GARRIDO MARQUEZ, Jorge GARCIA FLORES, François LÉVY, Adeline NAZARENKO | Kilroy: tag prediction and semantic indexing system (code) | link |
| 2018 | Davide BUSCALDI | Tweetaneuse @ AMI EVALITA2018: Character-based Models for the Automatic Misogyny Identification Task (code) | link |
| 2017 | Jorge GARCIA FLORES, Ivan Vladimir MEZA RUIZ, Luis Alberto PINEDA CORTES | Golfred: Robot Experience Stories Generator (code) | link |
| 2017 | T. T. H. Nguyen, C. Rodríguez et C. Coti. | Tool DPU. | link |
