Zurab Khasidashvili

According to our database, Zurab Khasidashvili authored at least 56 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

SMLP: Symbolic Machine Learning Prover (User Manual).

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

CoRR, 2024

SMLP: Symbolic Machine Learning Prover.

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022

Accelerating System-Level Debug Using Rule Learning and Subgroup Discovery Techniques.

Zurab Khasidashvili

CoRR, 2022

Combining Constraint Solving and Bayesian Techniques for System Optimization.

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Feature range analysis.

Zurab Khasidashvili, Adam J. Norman

Int. J. Data Sci. Anal., 2021

Bayesian Optimisation with Formal Guarantees.

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

CoRR, 2021

2020

Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation.

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Range Analysis and Applications to Root Causing.

Zurab Khasidashvili, Adam J. Norman

Proceedings of the 2019 IEEE International Conference on Data Science and Advanced Analytics, 2019

2017

Symbolic trajectory evaluation for word-level verification: theory and implementation.

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry

Formal Methods Syst. Des., 2017

2016

Predicate Elimination for Preprocessing in First-Order Theorem Proving.

Zurab Khasidashvili, Konstantin Korovin

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

2015

EPR-based k-induction with Counterexample Guided Abstraction Refinement.

Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov

Proceedings of the Global Conference on Artificial Intelligence, 2015

Word-Level Symbolic Trajectory Evaluation.

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

From visual to logical formalisms for SoC validation.

Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2012

Preprocessing techniques for first-order clausification.

Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov

Proceedings of the Formal Methods in Computer-Aided Design, 2012

EPR-Based Bounded Model Checking at Word Level.

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Implicative Simultaneous Satisfiability and Applications.

Zurab Khasidashvili, Alexander Nadel

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Encoding industrial hardware verification problems into effectively propositional logic.

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Verifying equivalence of memories using a first order logic theorem prover.

Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

A compositional theory for post-reboot observational equivalence checking of hardware.

Zurab Khasidashvili, Daher Kaiss, Doron Bustan

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Assume-guarantee validation for STE properties within an SVA environment.

Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

On Formal Equivalence Verification of Hardware.

Zurab Khasidashvili

Proceedings of the Computer Science, 2008

2007

Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification.

Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Seqver : A Sequential Equivalence Verifier for Hardware Designs .

Daher Kaiss, Silvian Goldenberg, Zurab Khasidashvili

Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

Post-reboot Equivalence and Compositional Verification of Hardware.

Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

The conflict-free Reduction Geometry.

Zurab Khasidashvili, John R. W. Glauert

Theor. Comput. Sci., 2005

Encoding RTL Constructs for MathSAT: a Preliminary Report.

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

Simultaneous SAT-Based Model Checking of Safety Properties.

Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna

Proceedings of the Hardware and Software Verification and Testing, 2005

Expression Reduction Systems and Extensions: An Overview.

John R. W. Glauert, Delia Kesner, Zurab Khasidashvili

Proceedings of the Processes, 2005

2004

Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints.

Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

2003

SAT-based methods for sequential hardware equivalence verification without synchronization.

Zurab Khasidashvili, Ziyad Hanna

Proceedings of the First International Workshop on Bounded Model Checking, 2003

An Abstract Concept of Optimal Implementation.

Zurab Khasidashvili, John R. W. Glauert

Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003

Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication).

Zurab Khasidashvili, John R. W. Glauert

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Relating conflict-free stable transition and event models via redex families.

Zurab Khasidashvili, John R. W. Glauert

Theor. Comput. Sci., 2002

An Abstract Böhm-normalization.

John R. W. Glauert, Zurab Khasidashvili

Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.

Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

TRANS: efficient sequential verification of loop-free circuits.

Zurab Khasidashvili, John Moondanos, Ziyad Hanna

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

On the longest perpetual reductions in orthogonal expression reduction systems.

Zurab Khasidashvili

Theor. Comput. Sci., 2001

Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems.

Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom

Inf. Comput., 2001

Uniform Normalisation beyond Orthogonality.

Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

An enhanced cut-points algorithm in formal equivalence verification.

Zurab Khasidashvili, John Moondanos, Daher Kaiss, Ziyad Hanna

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

2000

A syntactical analysis of normalization.

Zurab Khasidashvili, Adolfo Piperno

J. Log. Comput., 2000

Stable results and relative normalization.

John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili

J. Log. Comput., 2000

1998

Normalization of Typable Terms by Superdevelopments.

Zurab Khasidashvili, Adolfo Piperno

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1997

Relating Conflict-Free Stable Transition and Event Models (Extended Abstract).

Zurab Khasidashvili, John R. W. Glauert

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

The Geometry of Orthogonal Reduction Spaces.

Zurab Khasidashvili, John R. W. Glauert

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Perpetuality and Uniform Normalization.

Zurab Khasidashvili, Mizuhito Ogawa

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996

Minimal Relative Normalization in Orthogonal Expression Reduction Systems.

John R. W. Glauert, Zurab Khasidashvili

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

Relative Normalization in Deterministic Residual Structures.

John R. W. Glauert, Zurab Khasidashvili

Proceedings of the Trees in Algebra and Programming, 1996

Discrete Normalization and Standardization in Deterministic Residual Structures.

Zurab Khasidashvili, John R. W. Glauert

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995

Context-sensitive conditional expression reduction systems.

Zurab Khasidashvili, Vincent van Oostrom

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994

Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems.

Zurab Khasidashvili

Proceedings of the STACS 94, 1994

Relative Normalization in Orthogonal Expression Reduction Systems.

John R. W. Glauert, Zurab Khasidashvili

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

On Higher Order Recursive Program Schemes.

Zurab Khasidashvili

Proceedings of the Trees in Algebra and Programming, 1994

1993

Optimal Normalization in Orthogonal Term Rewriting Systems.

Zurab Khasidashvili

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes.

Zurab Khasidashvili

Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993

1988

beta-reductions and beta developments of lambda terms with the least number of steps.

Zurab Khasidashvili

Proceedings of the COLOG-88, 1988