| A deadlock detection tool for concurrent Java programs C DeMartini, R Iosif, R Sisto Software: Practice and Experience 29 (7), 577-603, 1999 | 188 | 1999 |
| dSPIN: A dynamic extension of SPIN C Demartini, R Iosif, R Sisto International SPIN Workshop on Model Checking of Software, 261-276, 1999 | 148 | 1999 |
| 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 | 137 | 2006 |
| The tree width of separation logic with recursive definitions R Iosif, A Rogalewicz, J Simacek International Conference on Automated Deduction, 21-38, 2013 | 114 | 2013 |
| Fast acceleration of ultimately periodic relations M Bozga, R Iosif, F Konečnı International Conference on Computer Aided Verification, 227-242, 2010 | 95 | 2010 |
| 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 | 91 | 2012 |
| Symmetry reduction criteria for software model checking R Iosif International SPIN Workshop on Model Checking of Software, 22-41, 2002 | 86 | 2002 |
| What else is decidable about integer arrays? P Habermehl, R Iosif, T Vojnar International Conference on Foundations of Software Science and …, 2008 | 71 | 2008 |
| Deciding entailments in inductive separation logic with tree automata R Iosif, A Rogalewicz, T Vojnar International Symposium on Automated Technology for Verification and …, 2014 | 70 | 2014 |
| Exploiting heap symmetries in explicit-state model checking of software R Iosif Proceedings 16th Annual International Conference on Automated Software …, 2001 | 66 | 2001 |
| Deciding conditional termination M Bozga, F Konecny, R Iosif Logical Methods in Computer Science 10, 2014 | 60 | 2014 |
| 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 | 59 | 2009 |
| Iterating octagons M Bozga, C Gîrlea, R Iosif International Conference on Tools and Algorithms for the Construction and …, 2009 | 57 | 2009 |
| Storeless semantics and alias logic M Bozga, R Iosif, Y Laknech ACM SIGPLAN Notices 38 (10), 55-65, 2003 | 57 | 2003 |
| Flat parametric counter automata M Bozga, R Iosif, Y Lakhnech International Colloquium on Automata, Languages, and Programming, 577-588, 2006 | 49 | 2006 |
| Space-reduction strategies for model checking dynamic software MBD Robby, J Hatcliff, R Iosif | 49 | 2003 |
| Accelerating interpolants H Hojjat, R Iosif, F Konečnı, V Kuncak, P Rümmer International Symposium on Automated Technology for Verification and …, 2012 | 47 | 2012 |
| Flat parametric counter automata M Bozga, R Iosif, Y Lakhnech Fundamenta Informaticae 91 (2), 275-303, 2009 | 43 | 2009 |
| 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 | 39 | 2016 |
| A logic of singly indexed arrays P Habermehl, R Iosif, T Vojnar International Conference on Logic for Programming Artificial Intelligence …, 2008 | 36 | 2008 |
