Outil académique dédié à la vérification compositionnelle de systèmes temps réel embarqués. Il permet de modéliser des tâches critiques, de générer des problèmes de programmation linéaire en nombres entiers (ILP) pour résoudre des contraintes d'affinité, et de traduire ces descriptions en modèles compatibles avec des outils de vérification formelle comme Uppaal. Utilisé pour des études de cas industrielles, notamment dans le domaine automobile.

Musette est une bibliothèque R dédiée à l'analyse avancée de réseaux et de graphes. Elle permet de modéliser des relations complexes entre entités, d'optimiser des scores de performance et de visualiser des structures de données sous forme de graphes interactifs. Utilisée pour des études statistiques ou des recherches opérationnelles, elle facilite la détection de communautés, l'évaluation de chemins critiques et l'exploration de données multidimensionnelles.

Pytrip5 est une interface Python de haut niveau pour Tripoli-5, permettant de modéliser et simuler des réacteurs nucléaires à eau pressurisée (REP). Il facilite la création de modèles de cœurs, l'exécution de simulations de criticité et l'analyse des résultats (k-eff, flux, puissances de crayons) pour des études de sûreté et d'optimisation dans le domaine nucléaire.

HENDRICS est une plateforme matérielle et logicielle conçue pour simuler des systèmes de contrôle industriel (ICS) et évaluer leur résistance aux cyberattaques. Elle permet de reproduire des scénarios réalistes d'intrusions, de tester des mécanismes de détection, de réponse et de récupération, ainsi que d'analyser les vulnérabilités des infrastructures critiques. Destinée aux chercheurs, ingénieurs et étudiants, cette solution offre un environnement contrôlé pour améliorer la cybersécurité des systèmes industriels.

Ce projet permet d'analyser et de visualiser les sites d'hydratation internes des protéines à partir de simulations de dynamique moléculaire. Il génère des cartes de densité des molécules d'eau observées dans une protéine, offrant une compréhension approfondie de son comportement hydrique. Les résultats sont utiles pour la recherche en biologie structurale et en biochimie, notamment pour étudier les interactions protéine-solvant ou identifier des sites fonctionnels critiques.

Ce projet pédagogique est conçu pour initier les étudiants de niveau L2 aux fondamentaux de la sécurité informatique. Il propose des travaux pratiques couvrant les vulnérabilités courantes, les bonnes pratiques de protection des systèmes et l'analyse des risques. Les exercices permettent d'appliquer concrètement les concepts théoriques abordés en cours, tout en développant une approche critique face aux menaces numériques.

Outil dédié à l'analyse des citations critiques dans des articles scientifiques au format PDF. Il permet d'identifier et d'étudier les références bibliographiques ainsi que les interactions entre différentes publications académiques. L'objectif est de faciliter la recherche et l'évaluation de l'impact des travaux scientifiques.

Ce projet pédagogique, organisé dans le cadre de la licence MIAGE, vise à former les étudiants aux modèles statistiques et à la programmation lettrée. Il combine des sessions théoriques sur les fondamentaux (statistiques, visualisation, manipulation de données) et des activités pratiques (travaux dirigés, mini-projets). Les étudiants apprennent à utiliser des outils comme RStudio et ggplot2 pour analyser des données et produire des visualisations critiques.

Ce projet permet de modéliser et analyser des réseaux routiers sous forme de graphes pour étudier les connexions, les flux de trafic et les points critiques. Il facilite la compréhension des infrastructures de transport et aide à identifier des axes d'amélioration pour une meilleure efficacité logistique ou urbaine.