PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Hasan Ferit Enişer

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Automated Safety Verification of Programs Invoking Neural Networks

    2021 · Lecture notes in computer science

    Abstract State-of-the-art program-analysis techniques are not yet able to effectively verify safety properties of heterogeneous systems, that is, systems with components implemented using diverse technologies. This shortcoming is pinpointed by programs invoking neural networks despite …

  2. Specifying and Testing $k$-Safety Properties for Machine-Learning Models

    2022 · arXiv (Cornell University)

    Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of these models is of critical importance and has resulted in the development of numerous …