| System and method for modeling, abstraction, and analysis of software F Ivancic, PN Ashar, M Ganai, A Gupta, Z Yang US Patent 7,346,486, 2008 | 299 | 2008 |
| Hybrid modeling and simulation of biomolecular networks R Alur, C Belta, F Ivančić, V Kumar, M Mintz, GJ Pappas, H Rubin, ... International workshop on hybrid systems: Computation and control, 19-32, 2001 | 276 | 2001 |
| Hierarchical modeling and analysis of embedded systems R Alur, T Dang, J Esposito, Y Hur, F Ivancic, V Kumar, P Mishra, ... Proceedings of the IEEE 91 (1), 11-28, 2003 | 239 | 2003 |
| Benchmarks for hybrid systems verification A Fehnker, F Ivančić International Workshop on Hybrid Systems: Computation and Control, 326-341, 2004 | 235 | 2004 |
| Probabilistic temporal logic falsification of cyber-physical systems H Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A Gupta ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 1-30, 2013 | 213 | 2013 |
| Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems T Nghiem, S Sankaranarayanan, G Fainekos, F Ivancić, A Gupta, ... Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 174 | 2010 |
| Predicate abstraction for reachability analysis of hybrid systems R Alur, T Dang, F Ivančić ACM transactions on embedded computing systems (TECS) 5 (1), 152-199, 2006 | 164 | 2006 |
| Efficient SAT-based bounded model checking for software verification F Ivančić, Z Yang, MK Ganai, A Gupta, P Ashar Theoretical Computer Science 404 (3), 256-274, 2008 | 163 | 2008 |
| Reachability analysis of hybrid systems via predicate abstraction R Alur, T Dang, F Ivančić Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 2002 | 158 | 2002 |
| F-Soft: Software Verification Platform F Ivančić, Z Yang, MK Ganai, A Gupta, I Shlyakhter, P Ashar Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 154 | 2005 |
| Hierarchical hybrid modeling of embedded systems R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, ... International Workshop on Embedded Software, 14-31, 2001 | 153 | 2001 |
| Reasoning about threads communicating via locks V Kahlon, F Ivančić, A Gupta Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 145 | 2005 |
| Model checking C programs using F-Soft F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang 2005 International Conference on Computer Design, 297-308, 2005 | 133 | 2005 |
| Counter-example guided predicate abstraction of hybrid systems R Alur, T Dang, F Ivančić1 International Conference on Tools and Algorithms for the Construction and …, 2003 | 132 | 2003 |
| Software testing using machine learning R Chang, S Sankaranarayanan, G Jiang, F Ivancic US Patent 8,924,938, 2014 | 130 | 2014 |
| Fudge: fuzz driver generation at scale D Babić, S Bucur, Y Chen, F Ivančić, T King, M Kusano, C Lemieux, ... Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 127 | 2019 |
| Static analysis in disjunctive numerical domains S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta International Static Analysis Symposium, 3-17, 2006 | 122 | 2006 |
| Counterexample-guided predicate abstraction of hybrid systems R Alur, T Dang, F Ivančić Theoretical Computer Science 354 (2), 250-271, 2006 | 106 | 2006 |
| Progress on reachability analysis of hybrid systems using predicate abstraction R Alur, T Dang, F Ivančić International Workshop on Hybrid Systems: Computation and Control, 4-19, 2003 | 105 | 2003 |
| Symbolic model checking of hybrid systems using template polyhedra S Sankaranarayanan, T Dang, F Ivančić International Conference on Tools and Algorithms for the Construction and …, 2008 | 95 | 2008 |
Aarti GuptaPrinceton UniversityVerified email at cs.princeton.edu
