Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Radu Iosif
conf.researchr.org general profile
ETAPS 2019 profile
ISSTA 2019 profile
POPL 2017 profile
POPL 2020 profile
SPLASH 2022 profile
Registered user since Fri 28 Jun 2019
Name:
Radu Iosif
Country:
France
Affiliation:
CNRS; Université Grenoble Alpes
Contributions
2022
SPLASH
Author of Reasoning about Distributed Reconfigurable Systems within the V-OOPSLA-track
2020
ADSL
Author of The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions within the ADSL 2020-track
Co-chair in Organizing Committee within the ADSL 2020-track
Committee Member in Program Committee within the ADSL 2020-track
2019
SPIN
Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
FOSSACS
Author of The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains within the FOSSACS 2019-track
InterAVT
Committee Member in Program Committee within the InterAVT-track
TACAS
Committee Member in Program Committee within the TACAS 2019-track
Author of Checking Deadlock-Freedom of Parametric Component-Based Systems within the TACAS 2019-track
2017
VMCAI
Author of Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic within the VMCAI-track
Share
x
Mon 18 Nov 15:16