Radu Iosif
Radu Iosif
CNRS/VERIMAG
Verified email at imag.fr
Title
Cited by
Cited by
Year
A deadlock detection tool for concurrent Java programs
C DeMartini, R Iosif, R Sisto
Software: Practice and Experience 29 (7), 577-603, 1999
1801999
dSPIN: A dynamic extension of SPIN
C Demartini, R Iosif, R Sisto
International SPIN Workshop on Model Checking of Software, 261-276, 1999
1461999
Programs with lists are counter automata
A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar
International Conference on Computer Aided Verification, 517-531, 2006
1332006
The tree width of separation logic with recursive definitions
R Iosif, A Rogalewicz, J Simacek
International Conference on Automated Deduction, 21-38, 2013
962013
Fast acceleration of ultimately periodic relations
M Bozga, R Iosif, F Konečnı
International Conference on Computer Aided Verification, 227-242, 2010
842010
Symmetry reduction criteria for software model checking
R Iosif
International SPIN Workshop on Model Checking of Software, 22-41, 2002
842002
A verification toolkit for numerical transition systems
H Hojjat, F Konečnı, F Garnier, R Iosif, V Kuncak, P Rümmer
International Symposium on Formal Methods, 247-251, 2012
832012
What else is decidable about integer arrays?
P Habermehl, R Iosif, T Vojnar
International Conference on Foundations of Software Science and …, 2008
692008
Exploiting heap symmetries in explicit-state model checking of software
R Iosif
Proceedings 16th Annual International Conference on Automated Software …, 2001
652001
Automatic verification of integer array programs
M Bozga, P Habermehl, R Iosif, F Konečnı, T Vojnar
International Conference on Computer Aided Verification, 157-172, 2009
562009
Storeless semantics and alias logic
M Bozga, R Iosif, Y Laknech
ACM SIGPLAN Notices 38 (10), 55-65, 2003
562003
Deciding entailments in inductive separation logic with tree automata
R Iosif, A Rogalewicz, T Vojnar
International Symposium on Automated Technology for Verification and …, 2014
512014
Iterating octagons
M Bozga, C Gîrlea, R Iosif
International Conference on Tools and Algorithms for the Construction and …, 2009
512009
Deciding conditional termination
M Bozga, R Iosif, F Konečnı
International Conference on Tools and Algorithms for the Construction and …, 2012
492012
Space-reduction strategies for model checking dynamic software
MBD Robby, J Hatcliff, R Iosif
482003
Flat parametric counter automata
M Bozga, R Iosif, Y Lakhnech
International Colloquium on Automata, Languages, and Programming, 577-588, 2006
442006
Accelerating interpolants
H Hojjat, R Iosif, F Konečnı, V Kuncak, P Rümmer
International Symposium on Automated Technology for Verification and …, 2012
382012
Flat parametric counter automata
M Bozga, R Iosif, Y Lakhnech
Fundamenta Informaticae 91 (2), 275-303, 2009
372009
A logic of singly indexed arrays
P Habermehl, R Iosif, T Vojnar
International Conference on Logic for Programming Artificial Intelligence …, 2008
352008
Symmetry reductions for model checking of concurrent dynamic software
R Iosif
International Journal on Software Tools for Technology Transfer 6 (4), 302-319, 2004
322004
The system can't perform the operation now. Try again later.
Articles 1–20