Franjo Ivančić

Available identifiers

zbMath Open ivancic.franjoMaRDI QIDQ947792

List of research outcomes

Publication	Date of Publication	Type
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems	2017-05-10	Paper
Program analysis via satisfiability modulo path programs	2015-06-11	Paper
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities	2013-01-07	Paper
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation	2012-06-15	Paper
Static Analysis in Disjunctive Numerical Domains	2009-03-12	Paper
Program Analysis Using Symbolic Ranges	2009-03-03	Paper
Efficient SAT-based bounded model checking for software verification	2008-10-07	Paper
Whodunit? Causal Analysis for Counterexamples	2008-09-04	Paper
A Policy Iteration Technique for Time Elapse over Template Polyhedra	2008-09-02	Paper
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement	2008-08-28	Paper
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination	2008-05-27	Paper
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra	2008-04-11	Paper
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra	2007-11-29	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Counterexample-guided predicate abstraction of hybrid systems	2006-04-28	Paper
Computer Aided Verification	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4736570	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736572	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4444409	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4417924	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417973	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417540	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4552454	2002-09-03	Paper

Research outcomes over time

This page was built for person: Franjo Ivančić