Logiciels

Code

AnnéeAuteur(s)TitreLien
2023 Jaime ARIAS, Mohamed Taha BENNANI, Jörg DESEL, Kais KLAI, Hanène OCHI sogMBT: Symbolic Observation Graph-Based Generation of Test Paths lien
2023Jaime ARIAS, Kyungmin BAE, Laure PETRUCCI, Carlos OLARTE, Peter ÖLVECZKY, Fredrik RØMMINGPITPN2Maude: Rewriting Logic Semantics for Parametric Time Petri Nets with Inhibitor Arcslien
2022Moussa KAMAL EDDINE, Nadi TOMEH, Joseph LE ROUX, Nizar HABASH, Michel VAZIRGIANNISAraBART: 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 SIDORUKADT2Maude: 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 AUBRYcoq-num-analysis opam package (Numerical Analysis in Coq) lien
2022 Carlos OLARTE, Elaine PIMENTEL, Camilo ROCHAL-Framework lien
2022 M. Hamidi et A. Osmani. Reduction of the Position Bias via Multi-Level Learning for Activity Recognition. lien
2022Urchade ZARATIANA, Niama ELKHBIR, Dennis Hernando NUNEZ FERNANDEZ, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOISDyREx: Dynamic Query Representation for Extractive Question Answering (code)lien
2022Urchade ZARATIANA, Nadi TOMEH, Pierre HOLAT, Thierry CHARNOISGNNer: Reducing Overlapping in Span-based NER Using Graph Neural Networks (code)lien
2022Urchade ZARATIANA, Niama ELKHBIR, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOISGlobal Span Selection for Named Entity Recognition (code)lien
2022Urchade ZARATIANA, Pierre HOLAT, Nadi TOMEH, Thierry CHARNOISHierarchical Transformer Model for Scientific Named Entity Recognition (code)lien
2022Xudong ZHANG, Joseph LE ROUX, Thierry CHARNOISHigher-Order Dependency Parsing for Arc-Polynomial Score Functions via Gradient-Based Methods and Genetic Algorithm (code)lien
2022Urchade ZARATIANA, Nadi TOMEH, Pierre HOLAT, Thierry CHARNOISNamed Entity Recognition as Structured Span Prediction (code)lien
2022Ghazi FELHI, Joseph LE ROUX, Djamé SEDDAHQKVAE : A model for Unsupervised Disentanglement of Syntax and Semantics (code)lien
2021Jessica LOPEZ ESPEJEL, Gaël DE CHALENDAR, Jorge GARCIA FLORES, Thierry CHARNOIS, Ivan Vladimir MEZA RUIZGeSERA: General-domain Summary Evaluation by Relevance Analysis (code)lien
2021Jessica LOPEZ ESPEJEL, Pegah ALIZADEH, Jorge GARCIA FLORESRENFO / DiasporasRL (code)lien
2021Xudong ZHANG, Joseph LE ROUX, Thierry CHARNOISStrength 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
2020Yash KANKANAMPATI, Joseph LE ROUX, Nadi TOMEH, Dima TAJI, Nizar HABASHMultitask 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
2019Heba KADDOUH, Maroi LABIODH, Nouha GHOURABI, Jorge GARCIA FLORES, Alik HAFSA, Cylia OURTIRANEYuCorrectMaya: 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
2018Ivan GARRIDO MARQUEZ, Jorge GARCIA FLORES, François LÉVY, Adeline NAZARENKOKilroy: tag prediction and semantic indexing system (code)lien
2018Davide BUSCALDITweetaneuse @ AMI EVALITA2018: Character-based Models for the Automatic Misogyny Identification Task (code)lien
2017Jorge GARCIA FLORES, Ivan Vladimir MEZA RUIZ, Luis Alberto PINEDA CORTESGolfred: Robot Experience Stories Generator (code)lien
2017 T. T. H. Nguyen, C. Rodríguez et C. Coti. Tool DPU. lien