Подписаться
Franjo Ivančić
Franjo Ivančić
Подтвержден адрес электронной почты в домене google.com - Главная страница
Название
Процитировано
Процитировано
Год
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
2742008
Hybrid modeling and simulation of biomolecular networks
R Alur, C Belta, F Ivančić, V Kumar, M Mintz, GJ Pappas, H Rubin, ...
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
2692001
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
2422003
Benchmarks for hybrid systems verification
A Fehnker, F Ivančić
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
2232004
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
1872013
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
1602006
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
1562002
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
1552010
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
1522008
F-Soft: Software Verification Platform.
F Ivancic, Z Yang, MK Ganai, A Gupta, I Shlyakhter, P Ashar
CAV 5, 301-306, 2005
1512005
Hierarchical hybrid modeling of embedded systems
R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, ...
Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA …, 2001
1472001
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
1272005
Counter-example guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić1
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
1272003
Software testing using machine learning
R Chang, S Sankaranarayanan, G Jiang, F Ivancic
US Patent 8,924,938, 2014
1172014
Static analysis in disjunctive numerical domains
S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006
1152006
Progress on reachability analysis of hybrid systems using predicate abstraction
R Alur, F Ivancic, T Dang
HSCC 2623, 4-19, 2003
1082003
Counterexample-guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Theoretical Computer Science 354 (2), 250-271, 2006
1072006
Symbolic model checking of hybrid systems using template polyhedra
S Sankaranarayanan, T Dang, F Ivančić
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
892008
Generating embedded software from hierarchical hybrid models
R Alur, F Ivancic, J Kim, I Lee, O Sokolsky
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and …, 2003
852003
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20