Skip to content

Emmanuel Sifakis

  • PhD student
  • VERIMAG
  • 3PublicationsNumber of items in Emmanuel's My Publications folder on Mendeley.
  • 1Followers

Research interests

Static/Runtime analysis Security flaws

Followers (1)

Publications (3)

  • Politiques de gestion de protections pour l ’ implémentation de sections critiques .

    • Sifakis E
    • Mounier L
    N/AReaders
    N/ACitations
  • Issues on Memory Management for Component-Based Models

    • Bozga M
    • Sifakis E
    N/AReaders
    N/ACitations
  • Verification of an AFDX Infrastructure using Simulations and Probabilities ⋆

    • Basu A
    • Bensalem S
    • Bozga M
    • et al.
    N/AReaders
    N/ACitations

Professional experience

PhD student

VERIMAG

September 2009 - Present

PhD student

VERIMAG

September 2009 - Present

Education history

M2R Parallel Distributed and Embedded Systems

UJF Grenoble

September 2008 - June 2009(9 months)

Engineer

University of Crete/Computer Science Department

September 2002 - June 2008(6 years)