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 yet
Name:
Marius Bozga
Affiliation:
Verimag/CNRS
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! 2015
Author of A model-based approach to secure multi-party distributed systems within the AGERE-track
AGERE 2012
Author of Optimized distributed implementation of multiparty interactions with observation within the AGERE 2012-track
Share
x
Thu 28 May 10:35
