Search filters

List of works by Görschwin Fey

A Basis for Formal Robustness Checking

A High-Level Approach to Analyze the Effects of Soft Errors on Lossless Compression Algorithms

A Review of Techniques for Ageing Detection and Monitoring on Embedded Systems

scientific article published on 06 September 2024

Effective Robustness Analysis Using Bounded Model Checking Techniques

Evaluation of Cardinality Constraints on SMT-Based Debugging

Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking

MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics

MetaSMT: a unified interface to SMT-LIB2

On the construction of small fully testable circuits with low depth

RobuCheck

Robustness Check for Multiple Faults Using Formal Techniques

Robustness and Usability in Modern Design Flows

article published in 2008

SWORD: A SAT like Prover Using Word Level Information

Synthesizing adaptive test strategies from temporal logic specifications

scientific article published on 14 October 2019

Test Pattern Generation using Boolean Proof Engines

Using unsatisfiable cores to debug multiple design errors

WoLFram- A Word Level Framework for Formal Verification

metaSMT: focus on your application and not on solver integration

Paulina is supported by:

About Paulina

Help