Zurab Khasidashvili

59 papers A* 2A 4B 11C 2Misc 2Journal 13Unranked 25

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	SMLP: Symbolic Machine Learning Prover (User Manual). CoRR Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
2024	—	`conf`	SMLP: Symbolic Machine Learning Prover. CAV (1) Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
2024	J	`jnl`	SMLP: Symbolic Machine Learning Prover. CoRR Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
2022	J	`jnl`	Accelerating System-Level Debug Using Rule Learning and Subgroup Discovery Techniques. CoRR Zurab Khasidashvili
2022	A*	`conf`	Combining Constraint Solving and Bayesian Techniques for System Optimization. IJCAI Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
2021	J	`jnl`	Bayesian Optimisation with Formal Guarantees. CoRR Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
2021	J	`jnl`	Feature range analysis. Int. J. Data Sci. Anal. Zurab Khasidashvili, Adam J. Norman
2020	B	`conf`	Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation. FMCAD Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
2019	B	`conf`	Range Analysis and Applications to Root Causing. DSAA Zurab Khasidashvili, Adam J. Norman
2017	J	`jnl`	Symbolic trajectory evaluation for word-level verification: theory and implementation. Formal Methods Syst. Des. Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
2016	A	`conf`	Predicate Elimination for Preprocessing in First-Order Theorem Proving. SAT Zurab Khasidashvili, Konstantin Korovin
2015	—	`conf`	EPR-based k-induction with Counterexample Guided Abstraction Refinement. GCAI Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov
2015	—	`conf`	Word-Level Symbolic Trajectory Evaluation. CAV (2) Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
2015	J	`jnl`	Word-level Symbolic Trajectory Evaluation. CoRR Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
2014	C	`conf`	From visual to logical formalisms for SoC validation. MEMOCODE Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang
2012	A	`conf`	EPR-Based Bounded Model Checking at Word Level. IJCAR Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov
2012	B	`conf`	Preprocessing techniques for first-order clausification. FMCAD Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov
2011	—	`conf`	Implicative Simultaneous Satisfiability and Applications. Haifa Verification Conference Zurab Khasidashvili, Alexander Nadel
2010	B	`conf`	Encoding industrial hardware verification problems into effectively propositional logic. FMCAD Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov
2009	B	`conf`	A compositional theory for post-reboot observational equivalence checking of hardware. FMCAD Zurab Khasidashvili, Daher Kaiss, Doron Bustan
2009	B	`conf`	Assume-guarantee validation for STE properties within an SVA environment. FMCAD Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham
2009	B	`conf`	Verifying equivalence of memories using a first order logic theorem prover. FMCAD Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov
2008	Misc	`conf`	On Formal Equivalence Verification of Hardware. CSR Zurab Khasidashvili
2007	B	`conf`	Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. FMCAD Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili
2006	B	`conf`	Post-reboot Equivalence and Compositional Verification of Hardware. FMCAD Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna
2006	C	`conf`	Seqver : A Sequential Equivalence Verifier for Hardware Designs . ICCD Daher Kaiss, Silvian Goldenberg, Zurab Khasidashvili
2005	—	`conf`	Encoding RTL Constructs for MathSAT: a Preliminary Report. PDPAR@CAV Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
2005	—	`conf`	Expression Reduction Systems and Extensions: An Overview. Processes, Terms and Cycles John R. W. Glauert, Delia Kesner, Zurab Khasidashvili
2005	—	`conf`	Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna
2005	J	`jnl`	The conflict-free Reduction Geometry. Theor. Comput. Sci. Zurab Khasidashvili, John R. W. Glauert
2004	A	`conf`	Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. ICCAD Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna
2003	—	`conf`	An Abstract Concept of Optimal Implementation. WRS Zurab Khasidashvili, John R. W. Glauert
2003	—	`conf`	SAT-based methods for sequential hardware equivalence verification without synchronization. BMC@CAV Zurab Khasidashvili, Ziyad Hanna
2003	—	`conf`	Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication). RTA Zurab Khasidashvili, John R. W. Glauert
2002	—	`conf`	An Abstract Böhm-normalization. WRS John R. W. Glauert, Zurab Khasidashvili
2002	J	`jnl`	Relating conflict-free stable transition and event models via redex families. Theor. Comput. Sci. Zurab Khasidashvili, John R. W. Glauert
2002	—	`conf`	Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. RTA Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno
2002	—	`conf`	TRANS: efficient sequential verification of loop-free circuits. HLDVT Zurab Khasidashvili, John Moondanos, Ziyad Hanna
2001	—	`conf`	An enhanced cut-points algorithm in formal equivalence verification. HLDVT Zurab Khasidashvili, John Moondanos, Daher Kaiss, Ziyad Hanna
2001	J	`jnl`	On the longest perpetual reductions in orthogonal expression reduction systems. Theor. Comput. Sci. Zurab Khasidashvili
2001	J	`jnl`	Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. Inf. Comput. Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
2001	—	`conf`	Uniform Normalisation beyond Orthogonality. RTA Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
2000	J	`jnl`	A syntactical analysis of normalization. J. Log. Comput. Zurab Khasidashvili, Adolfo Piperno
2000	J	`jnl`	Stable results and relative normalization. J. Log. Comput. John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili
1998	B	`conf`	Normalization of Typable Terms by Superdevelopments. CSL Zurab Khasidashvili, Adolfo Piperno
1997	—	`conf`	Perpetuality and Uniform Normalization. ALP/HOA Zurab Khasidashvili, Mizuhito Ogawa
1997	B	`conf`	Relating Conflict-Free Stable Transition and Event Models (Extended Abstract). MFCS Zurab Khasidashvili, John R. W. Glauert
1997	A*	`conf`	The Geometry of Orthogonal Reduction Spaces. ICALP Zurab Khasidashvili, John R. W. Glauert
1996	—	`conf`	Discrete Normalization and Standardization in Deterministic Residual Structures. ALP Zurab Khasidashvili, John R. W. Glauert
1996	—	`conf`	Minimal Relative Normalization in Orthogonal Expression Reduction Systems. FSTTCS John R. W. Glauert, Zurab Khasidashvili
1996	—	`conf`	Relative Normalization in Deterministic Residual Structures. CAAP John R. W. Glauert, Zurab Khasidashvili
1995	—	`conf`	Context-sensitive conditional expression reduction systems. SEGRAGRA Zurab Khasidashvili, Vincent van Oostrom
1994	—	`conf`	On Higher Order Recursive Program Schemes. CAAP Zurab Khasidashvili
1994	A	`conf`	Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems. STACS Zurab Khasidashvili
1994	—	`conf`	Relative Normalization in Orthogonal Expression Reduction Systems. CTRS John R. W. Glauert, Zurab Khasidashvili
1994	Misc	`conf`	The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems. LFCS Zurab Khasidashvili
1993	—	`conf`	On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes. ISTCS Zurab Khasidashvili
1993	—	`conf`	Optimal Normalization in Orthogonal Term Rewriting Systems. RTA Zurab Khasidashvili
1988	—	`conf`	beta-reductions and beta developments of lambda terms with the least number of steps. Conference on Computer Logic Zurab Khasidashvili