Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marius Bozga
conf.researchr.org general profile
ETAPS 2019 profile
SPLASH 2012 profile
SPLASH 2015 profile
Not registered as user
Name:
Marius Bozga
Affiliation:
Verimag/CNRS
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
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
Share
x
Sat 21 Dec 17:22
