Seguir
Franjo Ivančić
Título
Citado por
Citado por
Año
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
3002008
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
2772001
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
2392003
Benchmarks for hybrid systems verification
A Fehnker, F Ivančić
International Workshop on Hybrid Systems: Computation and Control, 326-341, 2004
2352004
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
2162013
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
1752010
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
1652006
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
1632008
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
1592002
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
1542005
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
1532001
Reasoning about threads communicating via locks
V Kahlon, F Ivančić, A Gupta
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1462005
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
1332005
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
1332003
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
1302019
Software testing using machine learning
R Chang, S Sankaranarayanan, G Jiang, F Ivancic
US Patent 8,924,938, 2014
1302014
Static analysis in disjunctive numerical domains
S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta
International Static Analysis Symposium, 3-17, 2006
1222006
Counterexample-guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Theoretical Computer Science 354 (2), 250-271, 2006
1072006
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
1062003
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
952008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20