TiAMo est un outil de vérification formelle dédié à l'analyse des systèmes temporisés modélisés par des automates temporisés. Il permet de vérifier des propriétés temporelles complexes sur des modèles, d'identifier des erreurs de conception ou de synchronisation, et d'optimiser des systèmes critiques comme les protocoles de communication ou les systèmes embarqués. Développé dans le cadre d'un projet de recherche, il est utilisé pour valider la correction et la fiabilité des systèmes avant leur déploiement.

Outil dédié à la modélisation, l'analyse et la simulation de protocoles de sécurité pour les systèmes communicants. Il permet de générer des cas de test automatisés, d'identifier des vulnérabilités potentielles et de valider des propriétés de sécurité via des modèles formels. Utilisé principalement dans le domaine de la cybersécurité et de la vérification de systèmes.

Outil logiciel dédié à la vérification formelle de systèmes concurrents via la construction de graphes d'observation symboliques. Il permet d'analyser des modèles complexes en exploitant des techniques de parallélisation pour améliorer l'efficacité et réduire les temps de calcul. Utilisé dans le cadre de la recherche académique en informatique théorique, notamment pour l'étude des systèmes distribués et des protocoles de communication.

Le projet obiwan-examples est une plateforme dédiée à la gestion de projets de construction, permettant aux équipes de suivre les tâches et les échéances, de collaborer sur des plans et des modèles 3D, et d'analyser les données de chantier pour optimiser les processus. Il facilite la communication et la coordination entre les membres des équipes, améliorant ainsi l'efficacité et la productivité.

Ce projet vise à générer des modèles de communication et des simulations pour un article scientifique publié dans le cadre de l'atelier HeteroPar'2015 (Euro-Par). Il permet de produire des figures et un document PDF finalisé pour une publication académique, facilitant ainsi la visualisation et l'analyse des résultats.

SIMPA est un outil d'analyse et d'inférence de modèles de systèmes, permettant de générer des tests et de vérifier des propriétés à partir de protocoles de communication. Il offre une interface graphique et prend en charge différents types de systèmes, tels que les systèmes de type Mealy et EFSM.

Ce projet vise à standardiser les données du Système National des Données de Santé (SNDS) au format OMOP-CDM, un modèle de données commun pour la recherche en santé. Il permet de transformer des extraits de données médicales (DCIR, PMSI, CépiDc) en une structure unifiée et interopérable, facilitant ainsi les analyses épidémiologiques et la recherche clinique. Deux versions sont disponibles, couvrant des périodes et des cohortes spécifiques.

Ce projet développe des modèles pour prédire le temps de rétention et l'intensité des pics en protéomique à partir de données de spectrogrammes. L'objectif est de créer un espace latent commun permettant d'encoder des fichiers FASTA et des données de spectres, facilitant ainsi l'analyse et l'interprétation des données protéomiques complexes.

Outil dédié à la simulation et à l'analyse des trajectoires de satellites. Permet aux ingénieurs et chercheurs de modéliser des orbites, d'évaluer des scénarios de mission et d'optimiser les paramètres de vol pour des applications spatiales variées, allant de l'observation terrestre aux communications.

Ce projet fournit une documentation dédiée aux utilisateurs de OpenFLUID, un logiciel de modélisation et d'analyse de systèmes complexes. Il est disponible en ligne à l'adresse https://community.openfluid-project.org/.