Menu

Zeineb BELHADJ AMOR

GRENOBLE

En résumé

Mes compétences :
Java
C++
VHDL
C Programming Language
SystemC
UML/OMT
NetBeans
MySQL
ModelSim
XML
Visual Basic .NET
Struts Web Application Framework
Spring Framework
Oracle 10G
Microsoft Visual Studio
Microsoft SQL Server
Microsoft C-SHARP
Microsoft Access
Microsoft ASP.NET
Merise Methodology
JavaServer Faces
Hibernate
HTLM
ECLiPSe
Assembler
Apache Maven
Advanced RISC Machine (ARM)
ASIC

Entreprises

  • Institut polytechnique de Grenoble - Grenoble INP, Laboratoire TIMA - Attaché de recherche

    2010 - maintenant Attaché de recherche au laboratoire TIMA à l'équipe AMfoRS (Architectures and Methods for Resilient Systems)
    Thème de recherche : Validation fonctionnelle des systèmes sur puce par des propriétés
    PSL.
    Missions:
    * Développement d'une solution pour la transformation des propriétés
    transactionnelles en PSL du niveau TLM (C++/SystemC) au niveau RTL
    (VHDL),
    * Implémentation d'un générateur en Java de moniteurs de surveillance (C++) à
    partir de propriétés PSL SERE.
    * Développement, amélioration d'outils en Java /C++ (outil de transformation
    des propriétés, ISIS : http://tima.imag.fr/amfors/Isis/isis.html)
    Environnement Technique:
    * Langages : Java, C, C++, SystemC, VHDL
    * IDE : Netbeans 7
    * Frameworks : JFLEX 1.4, CUP, JDOM, JXL
    * Outils : GCCXML, Modelsim, GCC.

    * Participation à deux projets (Projet FUI SoCKET en partenaria avec Astrium
    et Minalogic, Projet SFINCS en collaboration avec l'équipe CIS de TIMA,
    Dolphin Integration, et Thales Communications),
    * Plus de 400 d'enseignements à l'INPG-Phelma: cours/TD et TP en
    informatique et en nanoélectronique : VHDL, C, SystemC, Java, logique,
    Réseaux et OS.
    * Encadrement de 14 binômes dans un projet informatique. ;
    * 5 articles dans des conférences IEEE et 1 brevet.

  • TIMA - Chargé de recherche stagiaire

    2010 - 2010 Chargé de recherche stagiaire à TIMA à l'équipe VDS (Verification and Modeling
    of Digital Systems actuellement AMfoRS)
    Mission : concevoir une solution pour la modélisation des propriétés PSL en UML,
    MARTE ou SysML.

  • Instance Nationale de Télécommunication Tunisienne - Ingénieur informatique

    2009 - 2009 Ingénieur informatique à l'Instance Nationale de télécommunications en Tunisie

  • CEA-LETI - Stage Ingénieur Informatique

    GRENOBLE 2008 - 2009 Stage Ingénieur Informatique (projet de fin d'études) au CEA-
    Mission : développer un outil graphique en Java pour la modélisation des
    communications dans un NoC (Network on Chip) en vue de la gestion des problèmes de
    contention, application sur le NoC MAGALI.

  • Insat - Stage ouvrier en Informatique

    Tunis 2006 - 2006 Mission : Réaliser un site web en PHP, MySQL

Formations

  • INPG

    Gernoble 2010 - 2014 Doctorat

    Titre : «Validation des systèmes sur puce complexes du niveau transactionnel
    (TLM) au niveau transfert de registres (RTL)»

  • UJF

    Grenoble 2009 - 2010 Master 2

    EEATS - spécialité nanoélectronique et nanotechnologies, conception
    des systèmes intégrés (CSI), mention BIEN

  • INSAT (Institut National Des Sciences Appliqués Et De Technologies)

    Tunis 2003 - 2009 Ingénieur

    Mention très bien

Réseau

Annuaire des membres :