A deadlock detection tool for concurrent Java programs C Demartini, R Iosif, R Sisto Software: Practice and Experience 29 (7), 577-603, 1999 | 187 | 1999 |
dSPIN: A dynamic extension of SPIN C Demartini, R Iosif, R Sisto Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th …, 1999 | 149 | 1999 |
The tree width of separation logic with recursive definitions R Iosif, A Rogalewicz, J Simacek International Conference on Automated Deduction, 21-38, 2013 | 142 | 2013 |
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 | 141 | 2006 |
Fast acceleration of ultimately periodic relations M Bozga, R Iosif, F Konečný International Conference on Computer Aided Verification, 227-242, 2010 | 106 | 2010 |
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 | 97 | 2012 |
Symmetry reduction criteria for software model checking R Iosif International SPIN Workshop on Model Checking of Software, 22-41, 2002 | 90 | 2002 |
Deciding entailments in inductive separation logic with tree automata R Iosif, A Rogalewicz, T Vojnar Automated Technology for Verification and Analysis: 12th International …, 2014 | 80 | 2014 |
What else is decidable about integer arrays? P Habermehl, R Iosif, T Vojnar International Conference on Foundations of Software Science and …, 2008 | 79 | 2008 |
Exploiting heap symmetries in explicit-state model checking of software R Iosif Proceedings 16th Annual International Conference on Automated Software …, 2001 | 69 | 2001 |
Deciding conditional termination M Bozga, R Iosif, F Konečný International Conference on Tools and Algorithms for the Construction and …, 2012 | 66 | 2012 |
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 | 64 | 2009 |
Iterating octagons M Bozga, C Gîrlea, R Iosif Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 61 | 2009 |
Storeless semantics and alias logic M Bozga, R Iosif, Y Laknech ACM SIGPLAN Notices 38 (10), 55-65, 2003 | 58 | 2003 |
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 | 54 | 2016 |
Accelerating interpolants H Hojjat, R Iosif, F Konečný, V Kuncak, P Rümmer International Symposium on Automated Technology for Verification and …, 2012 | 54 | 2012 |
Flat parametric counter automata M Bozga, R Iosif, Y Lakhnech Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006 | 50 | 2006 |
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 | 50 | 2003 |
Flat parametric counter automata M Bozga, R Iosif, Y Lakhnech Fundamenta Informaticae 91 (2), 275-303, 2009 | 45 | 2009 |
Modeling and validation of Java multi-threading applications using Spin CG Demartini, R Iosif, R Sisto Titolo volume non avvalorato, 5-19, 1998 | 41 | 1998 |