Ce projet implémente le modèle déterministe proposé par Darrigade et al. (2021) pour décrire la dynamique cellulaire dans la muqueuse intestinale, ainsi que sa sensibilité aux paramètres. Il fournit des notebooks Jupyter pour la résolution du modèle et l'analyse de sensibilité, avec des explications et des rappels sur l'article original.

Ce projet vise à analyser et à réduire les réseaux d'automates synchronisés selon une topologie d'arborescence. Il préserve la portée de la synchronisation tout en ne la garantissant pas pour la sécurité. Le projet a été étendu à des topologies d'arborescence d'automates de toute sorte et a été expérimenté.

KMADe est un outil d'analyse et de modélisation des activités humaines dédié à la conception et à l'évaluation ergonomique des systèmes interactifs. Il permet de décrire, d'analyser et de formaliser les activités des utilisateurs dans des environnements (informatisés ou non), en situation réelle ou simulée. KMADe est basé sur un modèle formel qui facilite la description, l'examen et l'analyse des tâches, limite les variations interindividuelles, augmente le niveau de complétion des descriptions, autorise des traitements ultérieurs, et facilite les passages entre les modèles de terrain et les étapes du cycle de vie des logiciels.

Le projet hru-delin vise à fournir une solution de calcul et de simulation de l'érosion hydrique des sols, en utilisant des données géospatiales et des modèles hydrologiques avancés. Il permet aux utilisateurs d'analyser et de visualiser les risques d'érosion dans différentes régions, et de prendre des décisions éclairées pour la gestion des ressources en eau.

Implémentation des fonctionnalités de modélisation et de reporting décrites dans des manuels de référence et des lignes directrices : analyse de sensibilité déterministe et probabiliste, analyse de l'hétérogénéité, prise en compte de la dépendance temporelle sur le temps d'état et le temps du modèle (modèles de Markov semi-Markov et non homogènes), etc.

Le projet modelmaths.td5 est une plateforme dédiée à la résolution de problèmes mathématiques complexes et à l'analyse de données. Il permet de générer des modèles mathématiques personnalisés et de les utiliser pour l'analyse de données. Le projet offre une interface intuitive et des fonctionnalités avancées pour les utilisateurs de tous niveaux.

Le projet atsyra-dev vise à développer des plugins et un studio pour l'analyse de modèles formels, la transformation de langages spécifiques de domaines et la génération de code à partir de modèles. Il s'appuie sur des outils tels qu'Xtend, MapStruct, Testcontainers, OSGi, SLF4J, Entity Framework Core, Guava, OpenTracing, Simple Injector, Apache Ant et Markdown.

Le projet dengrand est une bibliothèque dédiée à l'analyse et au traitement de données numériques, en particulier dans le domaine des sciences et de l'ingénierie. Elle offre des fonctionnalités avancées de calcul et d'algèbre linéaire, ainsi que des outils pour la création et l'optimisation de modèles mathématiques.

Le projet modelmaths.td2 est dédié à la résolution de problèmes mathématiques complexes et à la génération de modèles personnalisés. Il offre des fonctionnalités avancées d'analyse de données, permettant aux utilisateurs de mieux comprendre et interpréter des ensembles de données complexes.

Le projet modelmaths.td3 est dédié à la résolution de problèmes mathématiques complexes et à la génération de modèles personnalisés. Il offre des fonctionnalités avancées d'analyse de données, permettant aux utilisateurs de mieux comprendre et interpréter des ensembles de données complexes.