Menu

Julien DORMOY

GENNEVILLIERS

En résumé

Pas de description

Entreprises

  • SYDERAL - Ingénieur Conception et Développement

    GENNEVILLIERS 2012 - maintenant Mission : Conception et développement d’un système de fichiers permettant la gestion de données d’une mémoire de masse venant de différents équipements. Celle-ci est destinée à être embarquée sur le satellite EarthCare de l’Agence Spatiale Européenne (ESA).
  • Institut National de la Recherche en Informatique et Automatique (INRIA) - Ingénieur Recherche et Développement

    2011 - 2011 Mission : Vérification de propriétés temporelles portant sur les reconfigurations dynamiques des systèmes à composants grâce à des grammaires de graphes.

    Réalisations :
    - Etudes d’outils utilisant les grammaires de graphes
    - Modélisation d’un système à composants et de ses reconfigurations grâce à des grammaires de graphes
    - Expression de propriétés temporelles
    - Simulation de l’exécution d’un système et vérification des propriétés temporelles
  • Université de Franche-Comté - Attaché Temporaire de Recherche et d'Enseignement

    2009 - 2011 Mission : Spécification et vérification de propriétés temporelles dans les systèmes à composants

    Réalisations :
    - Etude des reconfigurations dynamiques dans les systèmes à composants
    - Définition d’un langage (avec JavaCC/JJTree) permettant d’exprimer des propriétés sur les reconfigurations dynamiques
    - Vérification formelle des propriétés lors des reconfigurations dynamiques
    - Développement d’un outil (en Java) permettant de vérifier dynamiquement les propriétés sur les systèmes à composants reconfigurables

    Enseignements :
    - Activité d’enseignement au sein de l’U.F.R Sciences et Techniques et de l’U.F.R. Sciences du Langage, de l’Homme et de la Société.
    - Cours dispensés : Sécurité, Méthodes et Outils pour l’Intelligence Artificielle, Sécurité, Analyse et Modélisation des Systèmes d’Information, C2I, …
    - Conception de cours de tous niveaux

  • Agence Nationale de la Recherche - Ingénieur Recherche et Développement

    PARIS 12 2007 - 2009 Mission : Mise en œuvre de politiques d’adaptation pour les systèmes à composants

    Réalisations :
    - Adaptation des systèmes à composants à leur environnement
    - Définition de politiques d’adaptation permettant de capturer l’environnement et de choisir la reconfiguration dynamique à exécuter dans un certain contexte
    - Développement d’un outil (en Java) prenant en compte les politiques d’adaptation et simulant l’exécution de systèmes à composants
  • Laboratoire d'Informatique de l'Université de Franche-Comté - Stagiaire (Master Informatique)

    2007 - 2007 Spécifier et tester des politiques de sécurité dans le domaine des cartes à puce

    Réalisations :
    - Etude de politiques de sécurité proposée par une spécification liée au domaine des cartes à puce
    - Extraction de propriétés de sécurité à vérifier de cette spécification
    - Proposition d’une méthode de génération de tests liés aux propriétés de sécurité
  • PSA Peugeot Citroën - Stagiaire (D.U.T Informatique)

    Rueil Malmaison 2003 - 2004 Mission : Analyse des données et développement d’une base de données relatives aux crash-tests

    Réalisations :
    - Etude des besoins des différents métiers liés à la réalisation de crash-tests
    - Analyse des données et développement d’une base de données (avec Microsoft ACCESS et Visual Basic) permettant de gérer les données récoltées
    - Mise en place de formulaires permettant d’encadrer la saisie des données

Formations

Réseau

Annuaire des membres :