Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Interactive Visualization of State Transition Systems
IEEE Transactions on Visualization and Computer Graphics
Bringing Computational Steering to the User
DAGSTUHL '97 Proceedings of the Conference on Scientific Visualization
Arc Diagrams: Visualizing Structure in Strings
INFOVIS '02 Proceedings of the IEEE Symposium on Information Visualization (InfoVis'02)
Multidimensional Visualization of Transition Systems
IV '05 Proceedings of the Ninth International Conference on Information Visualisation
Model checker aided design of a controller for a wafer scanner
International Journal on Software Tools for Technology Transfer (STTT)
Visual Analysis of Multivariate State Transition Graphs
IEEE Transactions on Visualization and Computer Graphics
Verified design of an automated parking garage
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Improving an interactive visualization of transition systems
Proceedings of the 4th ACM symposium on Software visualization
What does the user want to see?: what do the data want to be?
Information Visualization
A map of the heap: revealing design abstractions in runtime structures
Proceedings of the 5th international symposium on Software visualization
An overview of the mCRL2 toolset and its recent advances
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
Users are often faced with large data sets in which the underlying meaning of the data is clear, but sense-making is difficult. State transition graphs fit this description well. Users associate precise semantics with multivariate attributes that describe nodes, but current visualization techniques do not exploit this. Consequently, users have to invest significant effort to interpret and understand visualizations. We present a novel technique that bridges this semantic gap by enabling the user to define custom diagrams that closely reflect the associated semantics. User-defined diagrams are incorporated in a number of correlated visualizations that support different user needs. To show the merit of our approach, the authors discuss two real-world applications.