Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Franjo Ivančić
Observed names:
F. Ivancic,
F. Ivančić,
Franjo Ivancic,
Franjo Ivancić,
Ivancic, Franjo,
Ivančić, Franjo
show all 6
Institution:
Google (United States)
Observed institutions:
Google (United States),
Princeton University,
NEC (United States),
Columbia University,
University of Pennsylvania
ORCID:
0000-0001-5206-2148
Observed ORCID:
0000-0001-5206-2148
OpenAlex ID:
A5020028377
Benchmarks for Hybrid Systems Verification
2004
·
Ansgar Fehnker
, Franjo Ivančić
·
Lecture notes in computer science
·
193
Hybrid Modeling and Simulation of Biomolecular Networks
2001
·
Rajeev Alur
, Calin Belta
, et al.
·
Lecture notes in computer science
·
189
Hierarchical modeling and analysis of embedded systems
2003
·
R. Alur
, Thao Dang
, et al.
·
Proceedings of the IEEE
·
170
PDF
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
2013
·
Houssam Abbas
, Georgios Fainekos
, et al.
·
ACM Transactions on Embedded Computing Systems
·
165
Counterexample-guided predicate abstraction of hybrid systems
2005
·
Rajeev Alur
, Thao Dang
, et al.
·
Theoretical Computer Science
·
154
PDF
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
2010
·
Truong Nghiem
, Sriram Sankaranarayanan
, et al.
·
ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
·
142
Reasoning About Threads Communicating via Locks
2005
·
Vineet Kahlon
, Franjo Ivančić
, et al.
·
Lecture notes in computer science
·
129
FUDGE: fuzz driver generation at scale
2019
·
Domagoj Babić
, Stefan Bucur
, et al.
·
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
·
128
F-Soft: Software Verification Platform
2005
·
F. Ivančić
, Z. Yang
, et al.
·
Lecture notes in computer science
·
114
PDF
Predicate abstraction for reachability analysis of hybrid systems
2006
·
Rajeev Alur
, Thao Dang
, et al.
·
ACM Transactions on Embedded Computing Systems
·
112
Efficient SAT-based bounded model checking for software verification
2008
·
Franjo Ivančić
, Zijiang Yang
, et al.
·
Theoretical Computer Science
·
103
PDF
Reachability Analysis of Hybrid Systems via Predicate Abstraction
2002
·
Rajeev Alur
, Thao Dang
, et al.
·
Lecture notes in computer science
·
99
Hierarchical Hybrid Modeling of Embedded Systems
2001
·
R. Alur
, T. Dang
, et al.
·
Lecture notes in computer science
·
98
Model checking C programs using F-Soft
2006
·
F. Ivancic
, I. Shlyakhter
, et al.
·
IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD)
·
90
Static Analysis in Disjunctive Numerical Domains
2006
·
Sriram Sankaranarayanan
, Franjo Ivančić
, et al.
·
Lecture notes in computer science
·
86
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction
2003
·
Rajeev Alur
, Thao Dang
, et al.
·
Lecture notes in computer science
·
80
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
2008
·
Sriram Sankaranarayanan
, Thao Dang
, et al.
·
Springer eBooks
·
67
PDF
Counter-Example Guided Predicate Abstraction of Hybrid Systems
2010
·
Rajeev Alur
, Thao Dang
, et al.
·
Lecture notes in computer science
·
61
Dynamic inference of likely data preconditions over predicates by tree learning
2008
·
Sriram Sankaranarayanan
, Swarat Chaudhuri
, et al.
·
International Symposium on Software Testing and Analysis
·
56
Generating embedded software from hierarchical hybrid models
2003
·
Rajeev Alur
, Franjo Ivancic
, et al.
·
ACM SIGPLAN Notices
·
56
PDF
Modeling and analytics for cyber-physical systems in the age of big data
2014
·
Abhishek B. Sharma
, Franjo Ivančić
, et al.
·
ACM SIGMETRICS Performance Evaluation Review
·
55
Program analysis via satisfiability modulo path programs
2010
·
William R. Harris
, Sriram Sankaranarayanan
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
55
Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities
2009
·
Richard Chang
, Guofei Jiang
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
50
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
2009
·
Aditya Kanade
, Rajeev Alur
, et al.
·
Lecture notes in computer science
·
50
Program Analysis Using Symbolic Ranges
2007
·
Sriram Sankaranarayanan
, Franjo Ivančić
, et al.
·
Lecture notes in computer science
·
39
Show more works
View as search
Works count:
110
Citation count:
3,492
H-index:
32
I10-index:
61
Year
Topic
Type
