2 papers
cs.HC2021
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Tom Horak, Norine Coenen, Niklas Metzger +6
Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneo…
cs.HC2020
Personal Augmented Reality for Information Visualization on Large Interactive Displays
Patrick Reipschläger, Tamara Flemisch, Raimund Dachselt
In this work we propose the combination of large interactive displays with personal head-mounted Augmented Reality (AR) for information visualization to facilitate data exploration…