Login / Signup
Julián Méndez
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Visual Analysis
Automated Verification
Alternating Time Temporal Logic
Model Checking
Top Venues
CoRR
IEEE Trans. Vis. Comput. Graph.
</>
Publications
</>
Tom Horak
,
Norine Coenen
,
Niklas Metzger
,
Christopher Hahn
,
Tamara Flemisch
,
Julián Méndez
,
Dennis Dimov
,
Bernd Finkbeiner
,
Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
IEEE Trans. Vis. Comput. Graph.
28 (1) (2022)
Tom Horak
,
Norine Coenen
,
Niklas Metzger
,
Christopher Hahn
,
Tamara Flemisch
,
Julián Méndez
,
Dennis Dimov
,
Bernd Finkbeiner
,
Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
CoRR
(2021)