Franjo Ivancic, Ph.D.
Affiliations: | 2003 | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and ComplexityGoogle:
"Franjo Ivancic"Parents
Sign in to add mentor| Rajeev Alur | grad student | 2003 | Penn | |
| (Modeling and analysis of hybrid systems.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Abbas H, Fainekos G, Sankaranarayanan S, et al. (2013) Probabilistic temporal logic falsification of cyber-physical systems Transactions On Embedded Computing Systems. 12 |
| Garg P, Ivancic F, Balakrishnan G, et al. (2013) Feedback-directed unit test generation for C/C++ using concolic execution Proceedings - International Conference On Software Engineering. 132-141 |
| Yang Z, Wang C, Gupta A, et al. (2009) Model checking sequential software programs via mixed symbolic analysis Acm Transactions On Design Automation of Electronic Systems. 14: 10 |
| Wang C, Yang Z, Ivančić F, et al. (2007) Disjunctive image computation for software verification Acm Transactions On Design Automation of Electronic Systems. 12: 10 |
| Alur R, Dang T, Ivančić F. (2006) Predicate abstraction for reachability analysis of hybrid systems Acm Transactions On Embedded Computing Systems (Tecs). 5: 152-199 |
| Alur R, Dang T, Ivančić F. (2006) Counterexample-guided predicate abstraction of hybrid systems Theoretical Computer Science. 354: 250-271 |