Georg Weissenbacher

2PUBLICATIONS
3CO-AUTHORS
Medical infection agents (incl. prions)Adversarial machine learning
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Sep 03, 2026
A formalization of Heisenbugs and their causes in terms of hyperproperties.

|Nov 01, 2021
Mutation testing with hyperproperties.

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

Pageof 1

Frequent Collaborators

1 joint publications

Andreas Fellner

1 joint publications

Sarah Sallinger

1 joint publications

Florian Zuleger