Old Web
English
Sign In
Acemap
>
authorDetail
>
Dennis Dimov
Dennis Dimov
Counterexample
value
Model checking
Domain (software engineering)
Theoretical computer science
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Visual Analysis of Hyperproperties for Understanding Model Checking Results
2021
arXiv: Human-Computer Interaction
Tom Horak
Norine Coenen
Niklas Metzger
Christopher Hahn
Tamara Flemisch
Julian Mendez
Dennis Dimov
Bernd Finkbeiner
Raimund Dachselt
Show All
Source
Cite
Save
Citations (0)
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
2021
IEEE Transactions on Visualization and Computer Graphics
Tom Horak
Norine Coenen
Niklas Metzger
Christopher Hahn
Tamara Flemisch
Julian Mendez
Dennis Dimov
Bernd Finkbeiner
Raimund Dachselt
Show All
Source
Cite
Save
Citations (0)
1