Statistics
Publications
10
Citations
467
H-Index
10
Active since
1998
Radu Iosif is an author at Verimag specializing in computing, computer science, and formal methods.
Publications per year
1998–2010
10
10
Programs with Lists Are Counter Automata
Ahmed Bouajjani, Marius Bozga, Peter Habermehl et al. · Lecture notes in computer science · 2006 · 96 citations · Full text
Exploiting heap symmetries in explicit-state model checking of software
Radu Iosif · 2005 · 52 citations
Space-Reduction Strategies for Model Checking Dynamic Software
Robby, Matthew B. Dwyer, John Hatcliff et al. · Electronic Notes in Theoretical Computer Science · 2003 · 41 citations · Full text
Storeless semantics and alias logic
Marius Bozga, Radu Iosif, Yassine Laknech · 2003 · 38 citations · Full text
1–5 of 10