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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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