• Sign in
  • Sign up
conf.researchr.org / Joseph Sifakis
  • ETAPS 2019 profile
  • SPLASH 2012 profile
Joseph Sifakis

Not registered as user

Name:Joseph Sifakis
Country:France
Affiliation:Verimag/CNRS
Personal website: http://www-verimag.imag.fr/PEOPLE/Joseph.Sifakis/

Contributions

2019

MeTRiD

  • Committee Member in Program Committee within the MeTRiD-track
  • Author of Programming Dynamic Reconfigurable Systems with DR-BIP within the MeTRiD-track

TACAS

  • Author of Checking Deadlock-Freedom of Parametric Component-Based Systems within the TACAS 2019-track

2012

AGERE

  • Author of Optimized distributed implementation of multiparty interactions with observation within the AGERE 2012-track
Share
xThu 8 May 21:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up