Visual Analysis of Hyperproperties for Understanding Model Checking Results

8 August 2021

Papers citing "Visual Analysis of Hyperproperties for Understanding Model Checking Results"

8 / 8 papers shown

Title
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems Frederik Wiehr Anke Hirsch Florian Daiber Antonio Kruger Alisa Kovtunova Stefan Borgwardt Ernie Chang Vera Demberg Marcel Steinmetz Hoffmann Jorg 19 4 0 21 Oct 2020
Calliope: Automatic Visual Data Story Generation from a Spreadsheet Danqing Shi Xinyue Xu F. Sun Yang Shi Nan Cao 41 138 0 20 Oct 2020
Chart-to-Text: Generating Natural Language Descriptions for Charts by Adapting the Transformer Model Jason Obeid Enamul Hoque 51 134 0 18 Oct 2020
explAIner: A Visual Analytics Framework for Interactive and Explainable Machine Learning Thilo Spinner U. Schlegel H. Schäfer Mennatallah El-Assady HAI 53 237 0 29 Jul 2019
Seq2Seq-Vis: A Visual Debugging Tool for Sequence-to-Sequence Models Hendrik Strobelt Sebastian Gehrmann M. Behrisch Adam Perer Hanspeter Pfister Alexander M. Rush VLM HAI 52 239 0 25 Apr 2018
DataSite: Proactive Visual Data Exploration with Computation of Insight-based Recommendations Zhe Cui Sriram Karthik Badam Adil Yalçin Niklas Elmqvist 27 93 0 23 Feb 2018
Spectre Attacks: Exploiting Speculative Execution P. Kocher Daniel Genkin Daniel Gruss Werner Haas Michael Hamburg Moritz Lipp Stefan Mangard Thomas Prescher Michael Schwarz Y. Yarom SILM 64 2,171 0 03 Jan 2018
A Temporal Logic of Security M. Koleini Michael R. Clarkson Kristopher K. Micinski 57 1 0 24 Jun 2013