Inria
Inria.fr
Inria Channel
Algorithmique, programmation, logiciels et architectures
Dans la société numérique actuelle, les questions de sûreté et fiabilité des systèmes et des logiciels, de protection de données, de sécurité, d'authentification ou de certification sont devenues cruciales. Les équipes de l'INRIA s'attèlent à développer des méthodes et des outils pour y répondre.
Programmation, vérification et preuves
- ABSTRACTION - Interprétation abstraite et analyse statique
- ATEAMS - Analyse et Transformation a base des composition fideles des outils
- CARTE - Théorie des calculs adverses, et sécurité
- CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
- CELTIQUE - Certification de logiciel par analyse sémantique
- COMETE - Concurrence, Mobilité et Transactions
- CONTRAINTES - Programmation par contraintes
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- FORMES - Méthodes Formelles pour les Systèmes Embarqués
- GALLIUM - Langages de programmation, types, compilation et preuves
- MARELLE - Mathématiques, Raisonnement et Logiciel
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
- PAREO - Ilôts formels: fondements et applications
- PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- PROSECCO - Programming securely with cryptography
- SECSI - Sécurité des systèmes d'information
- TASC - Theory, Algorithms and Systems for Constraints
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, logique et calcul
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Algorithmique, calcul certifié et cryptographie
- ALGORITHMS - Algorithmes
- ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
- CARAMEL - Cryptologie, Arithmétique : Matériel et Logiciel
- CASCADE - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
- CRYPT - Cryptanalyse
- GALAAD - Géométrie, algèbre, algorithmes
- GEOMETRICA - Calcul géométrique
- GRACE - Geometry, arithmetic, algorithms, codes and encryption
- LFANT - Théorie algorithmique des nombres rapide et flexible
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Sécurité, Cryptologie et Transmissions
- VEGAS - Algorithmes géométriques effectifs pour la visibilité et les surfaces
Systèmes embarqués et temps réel
- AOSTE - modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
- CONVECS - Construction de systèmes concurrents vérifiés
- DART - Apports du parallélisme données au temps réel
- ESPRESSO - Environnement de spécification de programmes réactifs synchrones
- MUSYNC - Synchronous Realtime Processing and Programming of Music Signals
- PARKAS - Parallélisme de Kahn Synchrone
- POP ART - Contrôle-commande temps réel sûr
- S4 - Synthèse et supervision de systèmes, scénarios
- TRIO - Temps réel et interopérabilité
- VERTECS - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
Architecture et compilation
Rechercher une équipe
Par centre de recherche Inria
Par domaine
- Mathématiques appliquées, calcul et simulation
- Algorithmique, programmation, logiciels et architectures
- Réseaux, systèmes et services, calcul distribué
- Perception, cognition, interaction
- STIC pour les sciences de la vie et de l'environnement
