Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joseph Sifakis
conf.researchr.org general profile
ETAPS 2019 profile
SPLASH 2012 profile
Not registered as user yet
Name:
Joseph Sifakis
Country:
France
Affiliation:
Verimag/CNRS
Personal website:
http://www-verimag.imag.fr/PEOPLE/Joseph.Sifakis/
Contributions
MeTRiD 2019
Committee Member in Program Committee within the MeTRiD-track
Author of Programming Dynamic Reconfigurable Systems with DR-BIP within the MeTRiD-track
TACAS 2019
Author of Checking Deadlock-Freedom of Parametric Component-Based Systems within the TACAS 2019-track
AGERE 2012
Author of Optimized distributed implementation of multiparty interactions with observation within the AGERE 2012-track
Share
x
Sun 5 Feb 16:02