A deadlock detection tool for concurrent Java programs C Demartini, R Iosif, R Sisto Software: Practice and Experience 29 (7), 577-603, 1999 | 189 | 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 |

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 | 136 | 2006 |

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 | 124 | 2013 |

Fast acceleration of ultimately periodic relations M Bozga, R Iosif, F Konečnı Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 101 | 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 | 93 | 2012 |

Symmetry reduction criteria for software model checking R Iosif Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002 | 91 | 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 | 77 | 2014 |

What else is decidable about integer arrays? P Habermehl, R Iosif, T Vojnar Foundations of Software Science and Computational Structures: 11th …, 2008 | 75 | 2008 |

Exploiting heap symmetries in explicit-state model checking of software R Iosif Proceedings 16th Annual International Conference on Automated Software …, 2001 | 67 | 2001 |

Deciding conditional termination R Iosif, F Konecny, M Bozga Logical Methods in Computer Science 10, 2014 | 65 | 2014 |

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 | 63 | 2009 |

Iterating octagons M Bozga, C Gîrlea, R Iosif Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 58 | 2009 |

Storeless semantics and alias logic M Bozga, R Iosif, Y Laknech ACM SIGPLAN Notices 38 (10), 55-65, 2003 | 58 | 2003 |

Accelerating interpolants H Hojjat, R Iosif, F Konečnı, V Kuncak, P Rümmer Automated Technology for Verification and Analysis: 10th International …, 2012 | 50 | 2012 |

Flat parametric counter automata M Bozga, R Iosif, Y Lakhnech Automata, Languages and Programming 33rd International Colloquium, ICALP …, 2006 | 50 | 2006 |

Flat parametric counter automata M Bozga, R Iosif, Y Lakhnech Fundamenta Informaticae 91 (2), 275-303, 2009 | 45 | 2009 |

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 | 44 | 2016 |

Modeling and validation of Java multithreading applications using SPIN C Demartini, R Iosif, R Sisto Proceedings of the 4th SPIN Workshop, 1998 | 42 | 1998 |

A logic of singly indexed arrays P Habermehl, R Iosif, T Vojnar Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008 | 36 | 2008 |