| 2023 |
Jaime ARIAS, Mohamed Taha BENNANI, Jörg DESEL, Kais KLAI, Hanène OCHI |
sogMBT: Symbolic Observation Graph-Based Generation of Test Paths |
lien |
| 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 | lien |
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) | lien |
| 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 |
lien |
| 2022 |
Jaime ARIAS, Laure PETRUCCI, Van-François LE |
Jaime ARIAS, Laure PETRUCCI, Van-François LE |
lien |
| 2022 |
Clément AUBERT, Thomas RUBIANO, Neea RUSCH, Thomas SEILLER |
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity |
lien |
| 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) |
lien |
| 2022 |
Carlos OLARTE, Elaine PIMENTEL, Camilo ROCHA | L-Framework |
lien |
| 2022 |
M. Hamidi et A. Osmani. | Reduction of the Position Bias via Multi-Level Learning for
Activity Recognition. |
lien |
| 2022 | Urchade ZARATIANA, Niama ELKHBIR, Dennis Hernando NUNEZ FERNANDEZ, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOIS | DyREx: Dynamic Query Representation for Extractive Question Answering (code) | lien |
| 2022 | Urchade ZARATIANA, Nadi TOMEH, Pierre HOLAT, Thierry CHARNOIS | GNNer: Reducing Overlapping in Span-based NER Using Graph Neural Networks (code) | lien |
| 2022 | Urchade ZARATIANA, Niama ELKHBIR, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOIS | Global Span Selection for Named Entity Recognition (code) | lien |
| 2022 | Urchade ZARATIANA, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOIS | Hierarchical Transformer Model for Scientific Named Entity Recognition (code) | lien |
| 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) | lien |
| 2022 | Urchade ZARATIANA, Nadi TOMEH, Pierre HOLAT, Thierry CHARNOIS | Named Entity Recognition as Structured Span Prediction (code) | lien |
| 2022 | Ghazi FELHI, Joseph LE ROUX, Djamé SEDDAH | QKVAE : A model for Unsupervised Disentanglement of Syntax and Semantics (code) | lien |
| 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) | lien |
| 2021 | Jessica LOPEZ ESPEJEL, Pegah ALIZADEH, Jorge GARCIA FLORES | RENFO / DiasporasRL (code) | lien |
| 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) | lien |
| 2021 |
E. André. | A Benchmarks Library for Extended Timed Automata. |
lien |
| 2021 |
E. André, J. Arias et L. Petrucci. |
IMITATOR : Tool for Parametric Verification and Robustness Analysis of Real-Time Systems with Parameter. |
lien |
2021 |
J. Arias, I. Garfatta et K. Klai. |
Solidity2CPN : Formal Verification of Solidity Smart
Contracts using Coloured Petri Nets. |
lien |
2021 |
J. Arias et L. Petrucci. |
Web user interface for IMITATOR. |
lien |
| 2021 |
F. Forest, M. Lebbah, H. Azzag et J. Lacaille. |
DESOM : Deep Embedded Self-Organizing
Map model. |
lien |
| 2021 |
E. Goffinet, M. Lebbah et H. Azzag. |
MultiCoclustering : 3 méthodes de CoClustering. |
lien |
| 2021 |
M. Hamidi et A. Osmani. |
Augmented Experiments in Material Engineering Using Ma-
chine Learning. |
lien |
| 2021 |
M. Hamidi et A. Osmani. |
Hierarchical Learning of Dependent Concepts for Human Acti-
vity Recognition. |
lien |
| 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. |
lien |
| 2021 |
S. M. R. Modaresi, A. Osmani, M. Razzazi et A. Chibani. |
ConfJournalRank : Integrated
Multi SourcesConference and Journal Information |
lien |
| 2021 |
S. M. R. Modaresi, A. Osmani, M. Razzazi et A. Chibani. |
JCV2 : Enabling Compatibi-
lity of OpenCV UI Components with Jupyter Notebooks. |
lien |
| 2021 |
C. Coti. |
SKaMPI 6 : an Extension of a Benchmark for MPI Libraries to support OpenSH-
MEM Libraries. |
lien |
| 2020 | Yash KANKANAMPATI, Joseph LE ROUX, Nadi TOMEH, Dima TAJI, Nizar HABASH | Multitask Easy-First Dependency Parsing: Exploiting Complementarities of Different Dependency Representations (code) | lien |
2020 |
C. Ameur Abid, J. Arias et K. Klai. |
PMC-SOG : Parallel Model Checking using the Symbolic
Observation Graph. |
lien |
2020 |
J. Arias, W. Penczek, L. Petrucci et T. Sidoruk. |
ADT2AMAS : Managing Agents in Attack-
Defence Scenarios. |
lien |
2020 |
J.-V. Loddo. |
Mariotel, gestionnaire de salles de TP virtuelles sous GNU/Linux. |
lien |
| 2020 |
A. Coutant, E. Goffinet, M. Lebbah et H. Azzag. |
spark-tss : une API pour le prétraitement
de séries temporelles multi-variables. |
lien |
| 2020 |
M. Hamidi et A. Osmani. |
Learning Mobility-Related Human Activities from Sensor-Rich
Environments. |
lien |
| 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) | lien |
2019 |
T. Touili et X. Ye. |
SMODIC : A Model Checker for Self-modifying Code. |
lien |
| 2019 |
M. Bendkowski, O. Bodini et S. Dovgal. Boltzmann-Brain |
A standalone application for
random generation of combinatorial structures. |
lien |
| 2018 |
G. Beck, M. Lebbah, H. Azzag et A. Coutant. |
Clustering4Ever : une API pour le clustering. |
lien |
| 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. |
lien |
| 2018 |
J. Sliwak, M. Anjos, L. Létocart, E. Traversi et M. Ruiz. |
MathProgComplex : A Tool for for
polynomial optimization problems with complex variables. |
lien |
| 2018 | Ivan GARRIDO MARQUEZ, Jorge GARCIA FLORES, François LÉVY, Adeline NAZARENKO | Kilroy: tag prediction and semantic indexing system (code) | lien |
| 2018 | Davide BUSCALDI | Tweetaneuse @ AMI EVALITA2018: Character-based Models for the Automatic Misogyny Identification Task (code) | lien |
| 2017 | Jorge GARCIA FLORES, Ivan Vladimir MEZA RUIZ, Luis Alberto PINEDA CORTES | Golfred: Robot Experience Stories Generator (code) | lien |
2017 |
T. T. H. Nguyen, C. Rodríguez et C. Coti. |
Tool DPU. |
lien |
