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
2912008
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
2752001
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
2412003
Benchmarks for hybrid systems verification
A Fehnker, F Ivančić
International Workshop on Hybrid Systems: Computation and Control, 326-341, 2004
2302004
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
2052013
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
1712010
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
1622006
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
1612008
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
1562005
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
1552001
Reasoning about threads communicating via locks
V Kahlon, F Ivančić, A Gupta
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1452005
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
1322005
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
1322003
Software testing using machine learning
R Chang, S Sankaranarayanan, G Jiang, F Ivancic
US Patent 8,924,938, 2014
1282014
Static analysis in disjunctive numerical domains
S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta
International Static Analysis Symposium, 3-17, 2006
1192006
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
1132019
Counterexample-guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Theoretical Computer Science 354 (2), 250-271, 2006
1082006
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
1052003
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
942008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20