Les cahiers de l'innovation

Chercheur ou chercheuse

Girard-Satabin Julien

Chercheur ou chercheuse identifié(e) à partir d’une publication HAL.

Activité actuelle non vérifiée

Activité scientifique

Informations établies à partir des publications HAL présentes dans le périmètre importé.

5publications HAL repérées
5publications depuis 5 ans
2026publication la plus récente

Profils publics

Publications sur HAL →

Domaines HAL

InformatiqueSciences cognitivesStatistiques

Mots-clés fréquents

Formal verificationFalse ∈ Boolean⟨type⟩ requires ⟨expr ⟩ ensures ⟨expr ⟩ trueMachine Learning ⟨decl ⟩ = type ⟨tId ⟩ = ⟨type⟩ predicate ⟨id ⟩ ⟨binder ⟩ ⟨tId ⟩ ⟨type⟩ → ⟨type⟩ ⟨type⟩Formal Specification and VerificationFormal Specification and Verification Machine Learning ⟨decl ⟩ = type ⟨tId ⟩ = ⟨type⟩ predicate ⟨id ⟩ ⟨binder ⟩ ⟨tId ⟩ ⟨type⟩ → ⟨type⟩ ⟨type⟩ ⟨type⟩ requires ⟨expr ⟩ ensures ⟨expr ⟩ true false ∈ BooleanMachine learning

Publications récentes repérées

  1. The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification2026 · Prépublication ou document de travail
    Consulter →
  2. La confiance avec le contrôle : spécification et vérification d’hyperpropriétés sur réseaux de neurones2026 · Communication dans un congrès
    Consulter →
  3. Principled Rewriting of ONNX Operators for Reluctant Solvers2026 · Communication dans un congrès
    Consulter →
  4. Verification of LTL properties on Neural Networks for Chemical Process Monitoring2026 · Communication dans un congrès
    Consulter →
  5. CAISAR2026 · Logiciel
    Consulter →

Rattaché à

Une publication atteste un rattachement à sa date, mais ne permet pas de savoir s’il existe encore aujourd’hui.

Implantations

  • Localisation de la structure de rattachement « Direction de la recherche technologique » : CEA/Grenoble 17 rue des Martyrs, 38054, Grenoble, France

Explorer les liens

Parcourez les rattachements, les regroupements et les projets. Choisissez une entité pour explorer ses liens.

Girard-Satabin Julien
  • Rattachement documentéDirection de la recherche technologiqueLaboratoireConsulter →

Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.

Sources et actualisation

HAL

Fiche mise à jour
06/10/2026

Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.

Proposer une correction

Connectez-vous pour envoyer une proposition privée à l’administration.

Se connecter

Une erreur ou une précision à apporter ?

Votre commentaire suivra les règles habituelles de modération du site.

Ajouter un commentaire

Copyright 2026 - Les Cahiers de l'Innovation

Les Cahiers de l’innovation

Que souhaitez-vous explorer ?

Explorez les articles et les ressources des Cahiers.