Research

Team

Opportunities

News & Events

Education

Contact

Vision & Research Avenues
Explore our Research
Research Facilities
Research Facilities of PoL
Publications
Check the archive of publications
Apply Now:

PoL Excellence Postdoctoral Fellows Program 2026
Explore our Research
PoL Principal Investigators
See the people behind PoL
New PoL Groups
See the people behind PoL
PoL Associates
See the people behind PoL
Governance
See the people behind PoL
Administration
See the people behind PoL
Equity & Diversity
See the people behind PoL
Open Positions
Explore our Research
Third-Party Funded Groups
Explore our Research
Visitors Program
Explore our Research
Postdoc Program
Explore our Research
Other Programs
Explore our Research
Life in Dresden
Explore our Research
News
Explore our Research
Events
Explore our Research
Outreach
Explore our Research
Apply Now:

PoL Excellence Postdoctoral Fellows Program 2026
Explore our Research
MSc Physics of Life
Explore our Research
PhD Positions
Explore our Research
Life in Dresden
Explore our Research
Apply Now:

PoL Excellence Postdoctoral Fellows Program 2026
Explore our Research

Visual Analysis of Hyperproperties for Understanding Model Checking Results

Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt

IEEE Transactions on Visualization and Computer Graphics 28 (1), 357-367 Sep 29, 2021

DOI: 10.1109/TVCG.2021.3114866

This site uses cookies as describes in the cookie policy. To manage your cookie settings - click here
Accept
Deny
This site is registered on wpml.org as a development site. Switch to a production site key to remove this banner.