Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Saddek Bensalem
conf.researchr.org general profile
ETAPS 2019 profile
ISSTA 2019 profile
SPLASH 2012 profile
SPLASH 2015 profile
Not registered as user
Name:
Saddek Bensalem
Affiliation:
Verimag
Contributions
2019
SPIN
Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
InterAVT
Author of Rigorous Design of FDIR Systems with BIP within the InterAVT-track
MeTRiD
Committee Member in Program Committee within the MeTRiD-track
Author of Programming Dynamic Reconfigurable Systems with DR-BIP within the MeTRiD-track
SPIoT
Committee Member in Program Committee within the SPIoT-track
Committee Member in Organizing Committee within the SPIoT-track
2015
AGERE
Author of A model-based approach to secure multi-party distributed systems within the AGERE-track
2012
AGERE
Author of Optimized distributed implementation of multiparty interactions with observation within the AGERE 2012-track
Author of Distributed priority synthesis using knowledge within the AGERE 2012-track
Committee Member in Program Committee within the AGERE 2012-track
Share
x
Sat 21 Dec 19:41
