Search Results - "CAMPOS PEREZ, Alexandre" :: K.UTB vyhledávací portál

Loading…

System and method for automatic program repair using fast-result test cases

by Campos Perez, Alexandre, Bier, Eric A
Year of Publication 06.12.2022

Get full text

Patent

Loading…

SYSTEM AND METHOD FOR AUTOMATIC PROGRAM REPAIR USING FAST-RESULT TEST CASES

by Campos Perez, Alexandre, Bier, Eric A
Year of Publication 30.06.2022

Get full text

Patent

Loading…

SUBSYSTEM-LEVEL MODEL-BASED DIAGNOSIS

by MATEI, Ion, CAMPOS PEREZ, Alexandre, DE KLEER, Johan
Year of Publication 17.08.2023

Get full text

Patent

Loading…

SUBSYSTEM-LEVEL MODEL-BASED DIAGNOSIS

by de Kleer, Johan, Campos Perez, Alexandre, Matei, Ion
Year of Publication 17.08.2023

Get full text

Patent

Loading…

Hybrid solver for integrated circuit diagnostics and testing

by de Kleer, Johan, Campos Perez, Alexandre, Matei, Ion, Feldman, Aleksandar B
Year of Publication 16.07.2024

Get full text

Patent

Loading…

HYBRID SOLVER FOR INTEGRATED CIRCUIT DIAGNOSTICS AND TESTING

by de Kleer, Johan, Campos Perez, Alexandre, Matei, Ion, Feldman, Aleksandar B
Year of Publication 04.01.2024

Get full text

Patent

Loading…

System and method for circuit synthesis using partial boolean quantification

by de Kleer, Johan, Campos Perez, Alexandre, Feldman, Aleksandar B
Year of Publication 18.05.2021

Get full text

Patent

Loading…

METHOD AND SYSTEM FOR EFFICIENT TESTING OF DIGITAL INTEGRATED CIRCUITS

by de Kleer, Johan, Campos Perez, Alexandre, Matei, Ion, Feldman, Aleksandar B
Year of Publication 17.11.2022

Get full text

Patent

Loading…

Method and system for efficient testing of digital integrated circuits

by de Kleer, Johan, Campos Perez, Alexandre, Matei, Ion, Feldman, Aleksandar B
Year of Publication 08.11.2022

Get full text

Patent

Loading…

System and method for generating counterexample tests of incidental invariants

by de Kleer, Johan, Campos Perez, Alexandre, Bier, Eric A, Stern, Ron Z
Year of Publication 15.02.2022

Get full text

Patent

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database