Search results for "Franjo Ivancic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma	Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.	CC	2012	DBLP DOI BibTeX RDF
1	Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta	Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki	DC2: A framework for scalable, scope-bounded software verification.	ASE	2011	DBLP DOI BibTeX RDF
1	Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta	Interprocedural Exception Analysis for C++.	ECOOP	2011	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta	Numerical stability analysis of floating-point computations using software model checking.	MEMOCODE	2010	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang	Scalable and precise program analysis at NEC.	FMCAD	2010	DBLP BibTeX RDF
1	Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke	Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.	FMCAD	2010	DBLP BibTeX RDF
1	William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
1	Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	testing, robustness, hybrid systems, metric temporal logic
1	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic	Model checking sequential software programs via mixed symbolic analysis.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	composite symbolic formula, Model checking, binary decision diagram, reachability analysis, presburger arithmetic, image computation
1	Muzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rötteler, Niraj K. Jha	A hybrid nano-CMOS architecture for defect and fault tolerance.	JETC	2009	DBLP DOI BibTeX RDF	nanotechnology, Defect tolerance, nanowires
1	Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang	Foreword: Special issue on numerical software verification.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
1	Malay K. Ganai, Franjo Ivancic	Efficient decision procedure for non-linear arithmetic constraints using CORDIC.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler	Using hardware transactional memory for data race detection.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov	Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities.	CSF	2009	DBLP DOI BibTeX RDF	network security, static analysis, Denial-of-service
1	Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Robustness of Model-Based Simulations.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.	CAV	2009	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar	Efficient SAT-based bounded model checking for software verification.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar	Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic	Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.	TACAS	2008	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta	Dynamic inference of likely data preconditions over predicates by tree learning.	ISSTA	2008	DBLP DOI BibTeX RDF	machine learning, verification, decision trees, sat, software specification
1	Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler	RaceTM: detecting data races using transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	transactional memory, data race detection
1	Muzaffer O. Simsir, Srihari Cadambi, Franjo Ivancic, Martin Rötteler, Niraj K. Jha	Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture.	VLSI Design	2008	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic	A Policy Iteration Technique for Time Elapse over Template Polyhedra.	HSCC	2008	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta	SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.	SAS	2008	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Mining library specifications using inductive logic programming.	ICSE	2008	DBLP DOI BibTeX RDF	machine learning., verification, datalog, inductive logic programming, software specification
1	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta	Disjunctive image computation for software verification.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Model checking, formal verification, binary decision diagram, reachability analysis, image computation
1	Chao Wang, Aarti Gupta, Franjo Ivancic	Induction in CEGAR for Detecting Counterexamples.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic	Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.	CAV	2007	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Program Analysis Using Symbolic Ranges.	SAS	2007	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic	State space exploration using feedback constraint generation and Monte-Carlo sampling.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model-checking, verification, monte-carlo, statistical sampling
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Counterexample-guided predicate abstraction of hybrid systems.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic	Mixed symbolic representations for model checking software programs.	MEMOCODE	2006	DBLP DOI BibTeX RDF
1	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta	Whodunit? Causal Analysis for Counterexamples.	ATVA	2006	DBLP DOI BibTeX RDF
1	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta	Disjunctive image computation for embedded software verification.	DATE	2006	DBLP DOI BibTeX RDF
1	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta	Static Analysis in Disjunctive Numerical Domains.	SAS	2006	DBLP DOI BibTeX RDF
1	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai	Localization and Register Sharing for Predicate Abstraction.	TACAS	2005	DBLP DOI BibTeX RDF
1	Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta	Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.	LPAR	2005	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Franjo Ivancic, Aarti Gupta	Reasoning About Threads Communicating via Locks.	CAV	2005	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar	F-Soft: Software Verification Platform.	CAV	2005	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai	Model Checking C Programs Using F-SOFT.	ICCD	2005	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Franjo Ivancic	Benchmarks for Hybrid Systems Verification.	HSCC	2004	DBLP DOI BibTeX RDF
1	Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang	Efficient SAT-based Bounded Model Checking for Software Verification.	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
1	Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky	Hierarchical modeling and analysis of embedded systems.	Proceedings of the IEEE	2003	DBLP BibTeX RDF
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Counter-Example Guided Predicate Abstraction of Hybrid Systems.	TACAS	2003	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.	HSCC	2003	DBLP DOI BibTeX RDF
1	Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky	Generating embedded software from hierarchical hybrid models.	LCTES	2003	DBLP DOI BibTeX RDF	modularity, code generation, hybrid system, formal language, embedded software
1	Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb	Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks.	HiPC	2002	DBLP DOI BibTeX RDF
1	Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas	Hybrid System Models of Navigation Strategies for Games and Animations.	HSCC	2002	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Reachability Analysis of Hybrid Systems via Predicate Abstraction.	HSCC	2002	DBLP DOI BibTeX RDF
1	Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitris N. Metaxas	A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation.	CA	2002	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky	Hierarchical Hybrid Modeling of Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Rajeev Alur, Calin Belta, Franjo Ivancic	Hybrid Modeling and Simulation of Biomolecular Networks.	HSCC	2001	DBLP DOI BibTeX RDF
1	Eric Aaron, Dimitris N. Metaxas, Franjo Ivancic	A Framework for Reasoning about Animation Systems.	IVA	2001	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Ashutosh Malaviya, Liliane Peters	An automatic rule base generation method for fuzzy pattern recognition with multiphased clustering.	KES	1998	DBLP DOI BibTeX RDF

Publications of "Franjo Ivancic" ( http://dblp.L3S.de/Authors/Franjo_Ivancic )