Ce projet développe des outils pour analyser et caractériser les sources sismiques à partir de données GNSS en utilisant des modèles d'apprentissage profond. Il permet de générer des séries temporelles synthétiques, d'entraîner des modèles de deep learning et d'évaluer leur performance sur des données réelles et simulées.

NeoQCP est une bibliothèque moderne de traçage de graphiques 2D pour les applications Qt 6, conçue pour offrir des performances élevées et une grande interactivité. Elle permet de visualiser des données scientifiques complexes, des séries temporelles ou des cartes de chaleur avec fluidité, même pour des jeux de données volumineux. Compatible avec les environnements GPU (Metal, Vulkan, D3D, WebGL), elle s'intègre facilement dans des projets existants et propose des fonctionnalités avancées comme le rendu GPU, la gestion de données sans copie, et des outils d'analyse interactifs.

PMC-SOG est un outil de vérification de modèles parallèles utilisant des graphes d'observabilité symbolique. Il permet de vérifier des propriétés temporelles sur des systèmes concurrents et distribués, de construire des graphes d'observabilité symbolique et d'analyser les performances de ces systèmes.

HiPeRTA est une bibliothèque logicielle dédiée à l'analyse et au traitement de données issues de télescopes à imagerie Cherenkov, utilisés en astrophysique pour détecter les rayons gamma. Elle permet de simuler des caméras, calibrer les instruments, traiter les signaux temporels et reconstruire des événements astrophysiques avec une approche optimisée pour les performances.

Projet académique visant à analyser et comparer les performances et la sécurité des algorithmes cryptographiques face aux attaques par canaux auxiliaires. Il propose des outils pour évaluer les fuites temporelles et valider des propriétés de mémoire constante, notamment via des modes sécurisés (exposé, verrouillé, sans branchement, etc.). Les résultats sont générés sous forme de fichiers CSV pour faciliter l'analyse comparative.

GPUVis est un outil d'analyse et de visualisation dédié à l'inspection des traces GPU. Il permet aux développeurs et aux ingénieurs de diagnostiquer les problèmes de performance, d'identifier les goulots d'étranglement et d'optimiser les pilotes graphiques. L'application offre une interface intuitive pour explorer les événements temporels, les latences et les interactions entre le matériel et les logiciels graphiques.

Ce projet fournit une implémentation de l'outil Imitator, permettant l'analyse de performances et la vérification de propriétés temporelles de systèmes asynchrones, ainsi que la synthèse de stratégies pour des systèmes paramétrés.

Ce projet fournit les outils nécessaires pour les travaux pratiques en temps réel du module SEC2. Il permet aux étudiants de mesurer les performances temporelles de leurs programmes, d'analyser les différences entre versions de code, et de générer des statistiques sur l'exécution. Il est principalement utilisé dans un cadre pédagogique pour évaluer et améliorer les compétences en programmation temps réel.

Projet académique visant à mesurer et analyser les performances temporelles d'un système temps réel sous Xenomai. Il permet d'évaluer la latence et la stabilité des tâches en temps réel, notamment pour des applications multimédias ou industrielles nécessitant une précision temporelle élevée.

Bibliothèque d'outils utilitaires dédiée à l'analyse et au profilage temporel dans le cadre du projet Bliss. Permet d'optimiser les performances des applications en mesurant et comparant les temps d'exécution des fonctions.