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
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
x
Wed 18 Dec 13:47