Ofer Strichman

Available identifiers

zbMath Open strichman.oferMaRDI QIDQ246145

List of research outcomes

Publication	Date of Publication	Type
Specifiable robustness in reactive synthesis	2023-05-08	Paper
Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores	2021-12-09	Paper
Vacuity in synthesis	2021-12-08	Paper
Real-time solving of computationally hard problems using optimal algorithm portfolios	2021-08-02	Paper
Learning the Language of Software Errors	2020-05-14	Paper
Regression verification for unbalanced recursive functions	2020-01-03	Paper
Cyclic-routing of unmanned aerial vehicles	2019-06-25	Paper
Proof-guided underapproximation-widening for multi-process systems	2017-07-14	Paper
Decision procedures. An algorithmic point of view	2017-03-30	Paper
Synthesizing Non-Vacuous Systems	2017-02-21	Paper
Learning general constraints in CSP	2016-09-07	Paper
Learning General Constraints in CSP	2016-07-25	Paper
Cyclic Routing of Unmanned Aerial Vehicles	2016-06-27	Paper
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)	2016-02-25	Paper
Model Counting of Monotone Conjunctive Normal Form Formulas with Spectra	2016-01-25	Paper
Learning the Language of Error	2016-01-08	Paper
Mining Backbone Literals in Incremental SAT	2015-11-20	Paper
Proving mutual termination	2015-10-20	Paper
Compositional Sequentialization of Periodic Programs	2014-11-03	Paper
Ultimately Incremental SAT	2014-09-26	Paper
Beyond vacuity: towards the strongest passing formula	2014-06-30	Paper
Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2848689	2013-09-26	Paper
Preprocessing in Incremental SAT	2013-08-12	Paper
Regression Verification for Multi-threaded Programs	2012-06-15	Paper
Linear Completeness Thresholds for Bounded Model Checking	2011-08-19	Paper
Faster Extraction of High-Level Minimal Unsatisfiable Cores	2011-06-17	Paper
Variants of LTL Query Checking	2011-04-06	Paper
Inference Rules for Proving the Equivalence of Recursive Procedures	2010-09-07	Paper
Underapproximation for model-checking based on universal circuits	2010-04-08	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
A framework for satisfiability modulo theories	2009-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q3181642	2009-10-12	Paper
An approach for extracting a small unsatisfiable core	2009-07-06	Paper
Before and after vacuity	2009-07-06	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Inference rules for proving the equivalence of recursive procedures	2008-08-19	Paper
Three optimizations for assume-guarantee reasoning with \(L^{*}\)	2008-07-30	Paper
Local Restarts	2008-05-27	Paper
Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant	2008-02-27	Paper
Underapproximation for Model-Checking Based on Random Cryptographic Constructions	2007-11-29	Paper
Optimized L*-Based Assume-Guarantee Reasoning	2007-09-03	Paper
Deciding Bit-Vector Arithmetic with Abstraction	2007-09-03	Paper
Hardware and Software, Verification and Testing	2007-02-12	Paper
Building small equality graphs for deciding equality logic with uninterpreted functions	2006-04-28	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
Efficient verification of sequential and concurrent C programs	2004-11-22	Paper
Accelerating bounded model checking of safety properties	2004-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4427902	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4414397	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4804898	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804901	2003-05-01	Paper
The small model property: How small can it be?	2003-01-14	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: Ofer Strichman