Suivre
Radu Iosif
Radu Iosif
CNRS/VERIMAG
Adresse e-mail validée de imag.fr
Titre
Citée par
Citée par
Année
A deadlock detection tool for concurrent Java programs
C Demartini, R Iosif, R Sisto
Software: Practice and Experience 29 (7), 577-603, 1999
1821999
dSPIN: A dynamic extension of SPIN
C Demartini, R Iosif, R Sisto
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th …, 1999
1511999
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
1372006
The tree width of separation logic with recursive definitions
R Iosif, A Rogalewicz, J Simacek
International Conference on Automated Deduction, 21-38, 2013
1342013
Fast acceleration of ultimately periodic relations
M Bozga, R Iosif, F Konečný
International Conference on Computer Aided Verification, 227-242, 2010
1052010
A Verification Toolkit for Numerical Transition Systems: Tool Paper
H Hojjat, F Konečný, F Garnier, R Iosif, V Kuncak, P Rümmer
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
932012
Symmetry reduction criteria for software model checking
R Iosif
International SPIN Workshop on Model Checking of Software, 22-41, 2002
882002
Deciding entailments in inductive separation logic with tree automata
R Iosif, A Rogalewicz, T Vojnar
Automated Technology for Verification and Analysis: 12th International …, 2014
752014
What else is decidable about integer arrays?
P Habermehl, R Iosif, T Vojnar
International Conference on Foundations of Software Science and …, 2008
742008
Exploiting heap symmetries in explicit-state model checking of software
R Iosif
Proceedings 16th Annual International Conference on Automated Software …, 2001
692001
Deciding conditional termination
M Bozga, R Iosif, F Konečný
International Conference on Tools and Algorithms for the Construction and …, 2012
642012
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
622009
Iterating octagons
M Bozga, C Gîrlea, R Iosif
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
612009
Storeless semantics and alias logic
M Bozga, R Iosif, Y Laknech
ACM SIGPLAN Notices 38 (10), 55-65, 2003
572003
Accelerating interpolants
H Hojjat, R Iosif, F Konečný, V Kuncak, P Rümmer
International Symposium on Automated Technology for Verification and …, 2012
532012
Flat parametric counter automata
M Bozga, R Iosif, Y Lakhnech
Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006
502006
Space-reduction strategies for model checking dynamic software
MB Dwyer, J Hatcliff, R Iosif
Electronic Notes in Theoretical Computer Science 89 (3), 499-517, 2003
492003
Space-reduction strategies for model checking dynamic software
MB Dwyer, J Hatcliff, R Iosif
Electronic Notes in Theoretical Computer Science 89 (3), 499-517, 2003
492003
A decision procedure for separation logic in SMT
A Reynolds, R Iosif, C Serban, T King
International Symposium on Automated Technology for Verification and …, 2016
482016
Flat parametric counter automata
M Bozga, R Iosif, Y Lakhnech
Fundamenta Informaticae 91 (2), 275-303, 2009
442009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20