Travelled to:1 × Croatia
1 × Denmark
1 × Estonia
1 × France
1 × Hungary
1 × Korea
1 × Poland
2 × Spain
3 × Germany
3 × United Kingdom
7 × USA
Collaborated with:A.Gupta S.Sankaranarayanan G.Balakrishnan N.Maeda R.Alur C.Wang T.Dang Z.Yang I.Shlyakhter H.Jain M.K.Ganai V.Kahlon W.R.Harris S.Chaudhuri R.M.Chang G.Jiang P.Garg K.Ghorbal P.Prabhu O.Wei J.Kim I.Lee O.Sokolsky N.Arora J.B.0001 G.E.Kaiser B.Ray X.Xiao D.Chhetri A.Kanade S.Ramesh K.C.Shashidhar P.Ashar J.Yang N.Sinha N.Sharma H.Tokuoka T.Imoto Y.Miyazaki D.Babic S.Bucur Y.Chen T.King M.Kusano C.Lemieux L.Szekeres W.Wang
Talks about:analysi (7) use (7) program (5) generat (5) abstract (4) softwar (4) predic (4) model (4) symbol (3) hybrid (3)
Person: Franjo Ivancic
DBLP: Ivancic:Franjo
Contributed to:
2014
2013
2012
2012
2011
2011
2010
200920082008
2008
20082007
200720072006
2006200620052005
2003200320182019Wrote 25 papers:
- ISSTA-2014-XiaoBIMGC #analysis #dependence #effectiveness #type system
- ARC++: effective typestate and lifetime dependency analysis (XX, GB, FI, NM, AG, DC), pp. 116–126.
- ICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using
- Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
- CC-2012-YangBMIGSSS #c++ #inheritance #program analysis
- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
- VMCAI-2012-GhorbalIBMG #abstract interpretation #performance
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
- ASE-2011-IvancicBGSMTIM #bound #framework #named #scalability #verification
- DC2: A framework for scalable, scope-bounded software verification (FI, GB, AG, SS, NM, HT, TI, YM), pp. 133–142.
- ECOOP-2011-PrabhuMBIG #analysis #c++ #exception #interprocedural
- Interprocedural Exception Analysis for C++ (PP, NM, GB, FI, AG), pp. 583–608.
- POPL-2010-HarrisSIG #program analysis #satisfiability #source code
- Program analysis via satisfiability modulo path programs (WRH, SS, FI, AG), pp. 71–82.
- CAV-2009-KanadeAIRSS #generative #modelling
- Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
- ICSE-2008-SankaranarayananIG #induction #library #logic programming #mining #specification #using
- Mining library specifications using inductive logic programming (SS, FI, AG), pp. 131–140.
- ISSTA-2008-SankaranarayananCIG #learning
- Dynamic inference of likely data preconditions over predicates by tree learning (SS, SC, FI, AG), pp. 295–306.
- SAS-2008-BalakrishnanSIWG #analysis #detection #named #refinement
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.
- TACAS-2008-SankaranarayananDI #hybrid #model checking #using
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (SS, TD, FI), pp. 188–202.
- CAV-2007-WangYGI #precise #reachability #using
- Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra (CW, ZY, AG, FI), pp. 352–365.
- ESEC-FSE-2007-SankaranarayananCJI #constraints #feedback #generative #monte carlo #using
- State space exploration using feedback constraint generation and Monte-Carlo sampling (SS, RMC, GJ, FI), pp. 321–330.
- SAS-2007-SankaranarayananIG #program analysis #using
- Program Analysis Using Symbolic Ranges (SS, FI, AG), pp. 366–383.
- CAV-2006-JainIGSW #abstraction #invariant #refinement #using
- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.
- DATE-2006-WangYIG #embedded #image #verification
- Disjunctive image computation for embedded software verification (CW, ZY, FI, AG), pp. 1205–1210.
- SAS-2006-SankaranarayananISG #static analysis
- Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.
- CAV-2005-IvancicYGGSA #framework #named #platform #verification
- F-Soft: Software Verification Platform (FI, ZY, MKG, AG, IS, PA), pp. 301–306.
- CAV-2005-KahlonIG #communication #reasoning #thread
- Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.
- TACAS-2005-JainIGG #abstraction #locality
- Localization and Register Sharing for Predicate Abstraction (HJ, FI, AG, MKG), pp. 397–412.
- LCTES-2003-AlurIKLS #embedded #generative #hybrid #modelling
- Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.
- TACAS-2003-AlurDI #abstraction #hybrid
- Counter-Example Guided Predicate Abstraction of Hybrid Systems (RA, TD, FI), pp. 208–223.
- ASE-2018-Arora0IKR #debugging
- Replay without recording of production bugs for service oriented applications (NA, JB0, FI, GEK, BR), pp. 452–463.
- ESEC-FSE-2019-BabicBCIKKLSW #generative #named #scalability
- FUDGE: fuzz driver generation at scale (DB, SB, YC, FI, TK, MK, CL, LS, WW), pp. 975–985.