Arie Gurfinkel

Available identifiers

zbMath Open gurfinkel.arieMaRDI QIDQ246144

List of research outcomes

Publication	Date of Publication	Type
Property directed self composition	2024-02-16	Paper
Interpolating strong induction	2024-02-16	Paper
Quantifiers on demand	2023-07-28	Paper
Efficient modular SMT-based model checking of pointer programs	2023-07-28	Paper
Compositional verification of smart contracts through communication abstraction	2022-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4997233	2021-06-28	Paper
Global guidance for local generalization in model checking	2021-02-09	Paper
Lazy but effective functional synthesis	2020-01-23	Paper
Property Directed Equivalence via Abstract Simulation	2019-05-03	Paper
Automated analysis of Stateflow models	2019-01-10	Paper
BDD-Based Symbolic Model Checking	2018-07-20	Paper
Fast interpolating BMC	2018-03-01	Paper
SMT-based model checking for recursive programs	2017-03-28	Paper
IC3 - Flipping the E in ICE	2017-02-21	Paper
Maximal specification synthesis	2016-10-24	Paper
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)	2016-02-25	Paper
Automated Discovery of Simulation Between Programs	2016-01-12	Paper
Horn Clause Solvers for Program Verification	2015-09-22	Paper
Robust Vacuity for Branching Temporal Logic	2015-09-17	Paper
Reachability Problems in Piecewise FIFO Systems	2015-09-17	Paper
Property Directed Polyhedral Abstraction	2015-02-04	Paper
Compositional Sequentialization of Periodic Programs	2014-11-03	Paper
Interpolation Properties and SAT-Based Model Checking	2014-07-08	Paper
Beyond vacuity: towards the strongest passing formula	2014-06-30	Paper
Symbolic optimization with SMT solvers	2014-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q2848053	2013-09-25	Paper
From Under-Approximations to Over-Approximations and Back	2012-06-29	Paper
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification	2012-06-15	Paper
Regression Verification for Multi-threaded Programs	2012-06-15	Paper
Variants of LTL Query Checking	2011-04-06	Paper
On the consistency, expressiveness, and precision of partial modeling formalisms	2011-01-13	Paper
Boxes: A Symbolic Abstract Domain of Boxes	2010-10-01	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Finding State Solutions to Temporal Logic Queries	2009-03-06	Paper
Mixed Transition Systems Revisited	2009-02-10	Paper
Model Checking Recursive Programs with Exact Predicate Abstraction	2008-11-20	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Data structures for symbolic multi-valued model-checking	2007-01-24	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4417920	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4806210	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4531751	2002-05-23	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: Arie Gurfinkel