Franjo Ivancic

According to our database1, Franjo Ivancic authored at least 75 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution.
CoRR, 2024

2023
Zero-Config Fuzzing for Microservices.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2021
Reducing Time-To-Fix For Fuzzer Bugs.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020
SunDew: Systematic Automated Security Testing.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
FUDGE: fuzz driver generation at scale.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018
Replay without recording of production bugs for service oriented applications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2015
Scalable and scope-bounded software verification in Varvel.
Autom. Softw. Eng., 2015

2014
Modeling and analytics for cyber-physical systems in the age of big data.
SIGMETRICS Perform. Evaluation Rev., 2014

Environment-Sensitive Performance Tuning for Distributed Service Orchestration.
Proceedings of the High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30, 2014

Generating consistent updates for software-defined network configurations.
Proceedings of the third workshop on Hot topics in software defined networking, 2014

ARC++: effective typestate and lifetime dependency analysis.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

An Adaptable Rule Placement for Software-Defined Networks.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2013

Feedback-directed unit test generation for C/C++ using concolic execution.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Editorial: Special Section VCPSS'09.
ACM Trans. Embed. Comput. Syst., 2012

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities.
Proceedings of the Reachability Problems - 6th International Workshop, 2012

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.
Proceedings of the Compiler Construction - 21st International Conference, 2012

Concurrent Test Generation Using Concolic Multi-trace Analysis.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
DC2: A framework for scalable, scope-bounded software verification.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Modeling and Analyzing the Interaction of C and C++ Strings.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

Interprocedural Exception Analysis for C++.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010
Program analysis via satisfiability modulo path programs.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Numerical stability analysis of floating-point computations using software model checking.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Scalable and precise program analysis at NEC.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009
Model checking sequential software programs via mixed symbolic analysis.
ACM Trans. Design Autom. Electr. Syst., 2009

A hybrid nano-CMOS architecture for defect and fault tolerance.
ACM J. Emerg. Technol. Comput. Syst., 2009

Foreword: Special issue on numerical software verification.
Formal Methods Syst. Des., 2009

Robustness of Model-Based Simulations.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Using hardware transactional memory for data race detection.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Efficient decision procedure for non-linear arithmetic constraints using CORDIC.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Refining the control structure of loops using static analysis.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities.
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Efficient SAT-based bounded model checking for software verification.
Theor. Comput. Sci., 2008

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture.
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

RaceTM: detecting data races using transactional memory.
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Dynamic inference of likely data preconditions over predicates by tree learning.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Mining library specifications using inductive logic programming.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Policy Iteration Technique for Time Elapse over Template Polyhedra.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007
Disjunctive image computation for software verification.
ACM Trans. Design Autom. Electr. Syst., 2007

State space exploration using feedback constraint generation and Monte-Carlo sampling.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Program Analysis Using Symbolic Ranges.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Induction in CEGAR for Detecting Counterexamples.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Predicate abstraction for reachability analysis of hybrid systems.
ACM Trans. Embed. Comput. Syst., 2006

Counterexample-guided predicate abstraction of hybrid systems.
Theor. Comput. Sci., 2006

Static Analysis in Disjunctive Numerical Domains.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Mixed symbolic representations for model checking software programs.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Disjunctive image computation for embedded software verification.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Whodunit? Causal Analysis for Counterexamples.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Localization and Register Sharing for Predicate Abstraction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.
Proceedings of the Logic for Programming, 2005

Model Checking C Programs Using F-SOFT.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Reasoning About Threads Communicating via Locks.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

F-Soft: Software Verification Platform.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Benchmarks for Hybrid Systems Verification.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003
Hierarchical modeling and analysis of embedded systems.
Proc. IEEE, 2003

Counter-Example Guided Predicate Abstraction of Hybrid Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Generating embedded software from hierarchical hybrid models.
Proceedings of the 2003 Conference on Languages, 2003

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.
Proceedings of the Hybrid Systems: Computation and Control, 2003

2002
Reachability Analysis of Hybrid Systems via Predicate Abstraction.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Hybrid System Models of Navigation Strategies for Games and Animations.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks.
Proceedings of the High Performance Computing, 2002

A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation.
Proceedings of the Computer Animation 2002, 2002

2001
A Framework for Reasoning about Animation Systems.
Proceedings of the Intelligent Virtual Agents, Third International Workshop, 2001

Hybrid Modeling and Simulation of Biomolecular Networks.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hierarchical Hybrid Modeling of Embedded Systems.
Proceedings of the Embedded Software, First International Workshop, 2001

1998
An automatic rule base generation method for fuzzy pattern recognition with multiphased clustering.
Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998


  Loading...