Follow
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
1891999
dSPIN: A dynamic extension of SPIN
C Demartini, R Iosif, R Sisto
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th …, 1999
1491999
Programs with lists are counter automata
A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
1362006
The tree width of separation logic with recursive definitions
R Iosif, A Rogalewicz, J Simacek
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
1222013
Fast acceleration of ultimately periodic relations
M Bozga, R Iosif, F Konečnı
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1002010
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
922012
Symmetry reduction criteria for software model checking
R Iosif
Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002
892002
Deciding entailments in inductive separation logic with tree automata
R Iosif, A Rogalewicz, T Vojnar
Automated Technology for Verification and Analysis: 12th International …, 2014
742014
What else is decidable about integer arrays?
P Habermehl, R Iosif, T Vojnar
Foundations of Software Science and Computational Structures: 11th …, 2008
732008
Exploiting heap symmetries in explicit-state model checking of software
R Iosif
Proceedings 16th Annual International Conference on Automated Software …, 2001
672001
Automatic verification of integer array programs
M Bozga, P Habermehl, R Iosif, F Konečnı, T Vojnar
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
622009
Deciding conditional termination
M Bozga, F Konecny, R Iosif
Logical Methods in Computer Science 10, 2014
612014
Storeless semantics and alias logic
M Bozga, R Iosif, Y Laknech
ACM SIGPLAN Notices 38 (10), 55-65, 2003
582003
Iterating octagons
M Bozga, C Gîrlea, R Iosif
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
562009
Flat parametric counter automata
M Bozga, R Iosif, Y Lakhnech
Automata, Languages and Programming 33rd International Colloquium, ICALP …, 2006
502006
Accelerating interpolants
H Hojjat, R Iosif, F Konečnı, V Kuncak, P Rümmer
Automated Technology for Verification and Analysis: 10th International …, 2012
492012
Flat parametric counter automata
M Bozga, R Iosif, Y Lakhnech
Fundamenta Informaticae 91 (2), 275-303, 2009
452009
A decision procedure for separation logic in SMT
A Reynolds, R Iosif, C Serban, T King
Automated Technology for Verification and Analysis: 14th International …, 2016
422016
Modeling and validation of Java multithreading applications using SPIN
C Demartini, R Iosif, R Sisto
Proceedings of the 4th SPIN Workshop, 1998
421998
A logic of singly indexed arrays
P Habermehl, R Iosif, T Vojnar
Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008
362008
The system can't perform the operation now. Try again later.
Articles 1–20