UB Paderborn / Katalog / Suche / in CDI

Causality and Responsibility for Formal Verification and Beyond

Electronic proceedings in theoretical computer science, 2016-08, Vol.224 (Proc. CREST 2016), p.1-8, Article 1-8

Chockler, Hana

2016

Volltextzugriff (PDF)

Preface of the special issue on the conference on computer-aided verification 2018

Formal methods in system design, 2021-07, Vol.57 (1), p.1-2

2021

Volltextzugriff (PDF)

A Causal Analysis of Harm

Minds and machines (Dordrecht), 2024-07, Vol.34 (3), Article 34

2024

Volltextzugriff (PDF)

Specifiable robustness in reactive synthesis

Formal methods in system design, 2022-04, Vol.60 (2), p.259-276

2022

Volltextzugriff (PDF)

Vacuity in synthesis

Formal methods in system design, 2021-09, Vol.57 (3), p.473-495

2021

Volltextzugriff (PDF)

Combining experts' causal judgments

Artificial intelligence, 2020-11, Vol.288, p.103355, Article 103355

2020

Volltextzugriff (PDF)

Learning the Language of Software Errors

The Journal of artificial intelligence research, 2020-04, Vol.67, p.881-903

2020

Volltextzugriff (PDF)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

1st Edition 2018, 2018

Volltextzugriff (PDF)

Explanations for Occluded Images

2021 IEEE/CVF International Conference on Computer Vision (ICCV), 2021, p.1214-1223

2021

Volltextzugriff (PDF)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2018

Volltextzugriff (PDF)

A Study of Demographic Bias in CNN-Based Brain MR Segmentation

Machine Learning in Clinical Neuroimaging, p.13-22

Volltextzugriff (PDF)

Responsibility and Blame: A Structural-Model Approach

The Journal of artificial intelligence research, 2004-01, Vol.22, p.93-115

2004

Volltextzugriff (PDF)

The Computational Complexity of Structure-Based Causality

The Journal of artificial intelligence research, 2017-01, Vol.58, p.431-451

2017

Volltextzugriff (PDF)

Explaining Image Classifiers Using Statistical Fault Localization

Computer Vision - ECCV 2020, 2020, Vol.12373, p.391-406

2020

Volltextzugriff (PDF)

Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System

Component-Based Software Engineering, 2006, p.33-49

2006

Volltextzugriff (PDF)

Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification

2022 Formal Methods in Computer-Aided Design (FMCAD), 2022, p.1-1

Chockler, Hana

2022

Volltextzugriff (PDF)

Timed Vacuity

Formal Methods, p.438-455

Volltextzugriff (PDF)

Explaining counterexamples using causality

Formal methods in system design, 2012-02, Vol.40 (1), p.20-40

2012

Volltextzugriff (PDF)

Beyond vacuity: towards the strongest passing formula

Formal methods in system design, 2013-12, Vol.43 (3), p.552-571

2013

Volltextzugriff (PDF)

What causes a system to satisfy a specification?

ACM transactions on computational logic, 2008-06, Vol.9 (3), p.1-26

2008

Volltextzugriff (PDF)

Before and after vacuity

Formal methods in system design, 2009-02, Vol.34 (1), p.37-58

2009

Volltextzugriff (PDF)

A lower bound for testing juntas

Information processing letters, 2004-06, Vol.90 (6), p.301-305

2004

Volltextzugriff (PDF)

A Meta Heuristic for Effectively Detecting Concurrency Errors

Hardware and Software: Verification and Testing, p.23-37

Volltextzugriff (PDF)

Computing Mutation Coverage in Interpolation-Based Model Checking

IEEE transactions on computer-aided design of integrated circuits and systems, 2012-05, Vol.31 (5), p.765-778

2012

Volltextzugriff (PDF)

Preface

International journal on software tools for technology transfer, 2011-06, Vol.13 (3), p.201

2011

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Causality and Responsibility for Formal Verification and Beyond

Preface of the special issue on the conference on computer-aided verification 2018

A Causal Analysis of Harm

Specifiable robustness in reactive synthesis

Vacuity in synthesis

Combining experts' causal judgments

Learning the Language of Software Errors

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Explanations for Occluded Images

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

A Study of Demographic Bias in CNN-Based Brain MR Segmentation

Responsibility and Blame: A Structural-Model Approach

The Computational Complexity of Structure-Based Causality

Explaining Image Classifiers Using Statistical Fault Localization

Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System

Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification

Timed Vacuity

Explaining counterexamples using causality

Beyond vacuity: towards the strongest passing formula

What causes a system to satisfy a specification?

Before and after vacuity

A lower bound for testing juntas

A Meta Heuristic for Effectively Detecting Concurrency Errors

Computing Mutation Coverage in Interpolation-Based Model Checking

Preface

Suchergebnisse filtern