Franjo Ivančić

Google Inc. - California / United States

Others

AD Scientific Index ID: 4379028

Registration, Add Profile,
Premium Membership

Print Your Certificate

Franjo Ivančić's MOST POPULAR ARTICLES

1-) System and method for modeling, abstraction, and analysis of softwareF Ivancic, PN Ashar, M Ganai, A Gupta, Z YangUS Patent 7,346,486, 20082742008

2-) Hybrid modeling and simulation of biomolecular networksR Alur, C Belta, F Ivančić, V Kumar, M Mintz, GJ Pappas, H Rubin, ...International workshop on hybrid systems: Computation and control, 19-32, 20012652001

3-) Hierarchical modeling and analysis of embedded systemsR Alur, T Dang, J Esposito, Y Hur, F Ivancic, V Kumar, P Mishra, ...Proceedings of the IEEE 91 (1), 11-28, 20032392003

4-) Benchmarks for hybrid systems verificationA Fehnker, F IvančićInternational Workshop on Hybrid Systems: Computation and Control, 326-341, 20042382004

5-) Probabilistic temporal logic falsification of cyber-physical systemsH Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A GuptaACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 1-30, 20132212013

ARTICLES

Add your articles