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

Recent publications

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

    • Sifakis E
    • Mounier L
    RENPAR (2011)
    N/AReaders
    N/ACitations

  • Verification of an AFDX Infrastructure using Simulations and Probabilities ⋆

    • Basu A
    • Bensalem S
    • Bozga M
    • et al.
    Runtime Verification (2010)
    N/AReaders
    N/ACitations

Professional experience

PhD student

VERIMAG

September 2009 - Present

PhD student

VERIMAG

September 2009 - Present

Education

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)

Followers (1)