VPSim SystemC est une plateforme de simulation permettant de modéliser et valider des systèmes embarqués complexes. Elle offre une bibliothèque de composants matériels conformes aux standards SystemC/TLM 2.0, incluant des modèles de processeurs, périphériques et bus. Idéale pour les développeurs et chercheurs en électronique et informatique embarquée.

Ce projet développe des outils algorithmiques pour analyser et optimiser des politiques de cache dans les systèmes informatiques. Il permet de modéliser des flux de données complexes, d'évaluer des politiques de gestion mémoire et de simplifier des expressions booléennes pour améliorer les performances des systèmes. Les solutions proposées sont principalement destinées aux développeurs et chercheurs en informatique.

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.

CGoGN est une plateforme open source dédiée à la modélisation géométrique et topologique en 3D. Elle permet aux chercheurs et développeurs de concevoir des outils pour visualiser, analyser et manipuler des données spatiales complexes. Utilisée dans des domaines comme la biologie, la géologie ou l'informatique graphique, elle facilite la création d'applications interactives et la simulation de structures variées, tout en offrant une grande flexibilité grâce à son système de plugins.

PauWare est une bibliothèque logicielle dédiée à la modélisation et à l'exécution de machines à états pour les systèmes informatiques. Elle permet de concevoir, observer et vérifier des comportements logiciels complexes tout en assurant une compatibilité avec les versions précédentes. Développée dans le cadre d'un projet européen, elle facilite la création et le refactoring d'API pour implémenter des machines à états de manière robuste et maintenable.

Ce projet vise à étudier et modéliser divers scénarios d'attaques informatiques à travers l'utilisation d'Attack-Defence Trees (ADTrees) et leur transformation en systèmes multi-agents asynchrones (EAMAS). Les cas d'utilisation incluent la modélisation d'attaques à la propriété intellectuelle, l'obtention de privilèges administratifs sur des systèmes UNIX, la compromission de dispositifs IoT et la simulation de scénarios de cambriolage.

Projet académique dédié à l'étude et à la modélisation des architectures logicielles et des styles architecturaux. Il permet de concevoir, analyser et documenter des systèmes informatiques complexes à travers des outils de modélisation visuelle et des méta-modèles. Utilisé principalement dans un cadre pédagogique pour former les étudiants aux bonnes pratiques de conception logicielle.

Ce projet est une bibliothèque logicielle dédiée à la gestion financière et administrative. Elle permet de modéliser des portefeuilles d'actifs, d'évaluer les risques associés et de calculer des indicateurs financiers. Elle inclut également des outils pour résoudre des adresses email liées à des agences ou intermédiaires, ainsi que des mécanismes de gestion des permissions pour les systèmes informatiques.

Outil dédié à la simulation et à l'analyse des flux dans les réseaux informatiques. Permet aux ingénieurs et administrateurs système de modéliser des architectures complexes, d'évaluer les performances et d'identifier les goulots d'étranglement. Utilisé pour concevoir des réseaux plus efficaces, sécurisés et résilients, en s'appuyant sur des scénarios de trafic réalistes et des outils de visualisation avancés.

Plateforme dédiée à la simulation et à la modélisation de systèmes complexes pour la recherche en informatique théorique. Elle permet aux chercheurs et ingénieurs de tester des hypothèses, valider des algorithmes et collaborer sur des projets scientifiques avancés. Les outils proposés facilitent l'exploration de modèles mathématiques et la visualisation de résultats expérimentaux.