• Sign in
  • Sign up
conf.researchr.org / Radu Iosif
  • ETAPS 2019 profile
  • ISSTA 2019 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • SPLASH 2022 profile
No Photo

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
xSun 18 May 00:59
using conf.researchr.org (v1.69.0)
Support page
Sign Up