Projet académique dédié à la modélisation et à l'analyse de structures logicielles en Java. Il permet de représenter des classes, méthodes et interfaces sous forme de méta-modèles, tout en appliquant des règles de conformité pour garantir la qualité du code. Les outils développés facilitent la compréhension et la vérification des architectures logicielles.

Extension logicielle dédiée à l'analyse d'images biologiques, intégrée à la plateforme Icy. Elle permet de calculer des enveloppes convexes pour des ensembles de points en deux ou trois dimensions. Utilisée principalement en imagerie médicale et en bioinformatique, elle facilite la modélisation géométrique et l'analyse de structures biologiques complexes. Développée par l'unité d'analyse d'images biologiques de l'Institut Pasteur, elle s'intègre comme un outil complémentaire pour les chercheurs et biologistes.

Outil dédié à la modélisation et à la conception d'applications logicielles. Permet aux développeurs et architectes de définir des architectures complexes, de valider des modèles et de générer des structures logiques cohérentes pour des systèmes informatiques.

Outil de création et d'édition graphique dédié à la modélisation de flux de données et de tâches techniques. Permet de visualiser et organiser des processus sous forme de nœuds interconnectés, avec des projections dédiées aux données et aux signaux. Utilisé pour concevoir des architectures logicielles ou des workflows complexes de manière intuitive et structurée.

Outil dédié à la décomposition et à la modélisation de cartes de densité obtenues par cryo-microscopie électronique (EM). Il permet de calculer des modèles de mélange gaussien (GMM) pour représenter des structures macromoléculaires complexes. Le projet utilise une approche par division et conquête pour optimiser les calculs, notamment sur des clusters de calcul haute performance. Les résultats sont convertis dans différents formats pour une intégration facile avec d'autres logiciels d'analyse structurale.

Projet académique dédié à l'analyse statique de code Java et à la modélisation de systèmes de fichiers. Il permet de vérifier la conformité des noms de classes, méthodes et attributs aux conventions de nommage, d'évaluer la qualité du code et de générer des rapports structurés sur les structures logicielles. Utilisé dans un cadre pédagogique pour enseigner les bonnes pratiques de développement et la modélisation UML.

Ce projet est une infrastructure logicielle basée sur des technologies de modélisation et de développement orienté modèle. Il permet de concevoir, structurer et générer des composants logiciels à partir de modèles définis, facilitant ainsi la maintenance et l'évolution des systèmes.

Ce projet est une infrastructure logicielle basée sur des technologies de modélisation et de développement orienté modèle. Il permet de concevoir, structurer et générer des composants logiciels à partir de modèles définis, facilitant ainsi la maintenance et l'évolution des systèmes.

Outil de modélisation dédié à la conception et à l'analyse d'architectures logicielles. Permet de définir des composants, connecteurs, services et configurations pour structurer des systèmes complexes. Facilite la visualisation et la gestion des interactions entre éléments logiciels avant leur implémentation.

Curly-splits est une bibliothèque logicielle dédiée à l'algorithme de branch-and-bound pour résoudre des requêtes de distance entre courbes paramétriques. Elle permet de détecter efficacement le contact entre fibres courbes, notamment dans des espaces 2D ou 3D, en utilisant des méthodes génériques et optimisées. L'outil est particulièrement utile pour des applications en modélisation géométrique, simulation physique ou analyse de structures complexes.