Visual analysis of multivariate state transition graphs

IEEE Transactions on Visualization and Computer Graphics

Volumn 12, Issue 5, 2006, Pages 685-692

  Pretorius, A Johannes ^b   Van Wijk, Jarke J ^a,b  

^a IEEE   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Finite state machines; Graph visualization; Interactive clustering; Multivariate visualization; State spaces; Transition systems

Indexed keywords

FINITE STATE MACHINES; GRAPH VISUALIZATION; INTERACTIVE CLUSTERING; MULTIVARIATE VISUALIZATION; TRANSITION SYSTEMS;

DATA ACQUISITION; DATA STRUCTURES; FINITE AUTOMATA; HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER GRAPHICS; STATE SPACE METHODS; VIRTUAL REALITY;

MULTIVARIABLE SYSTEMS;

EID: 33845622783     PISSN: 10772626     EISSN: None     Source Type: Journal    
DOI: 10.1109/TVCG.2006.192     Document Type: Conference Paper

References (19)

1. A. Arnold. Finite Transition Systems. Prentice, Hall, 1994.
2. D. Dams and R. Gerth. Abstract interpretation of reactive systems. ACM Transactions on Programming Languages and Systems, 19(2):253-291, 1997.
3. W.J. Fokkink. Introduction to Process Algebra. Springer, 2000.
4. E.R. Gansner and S.C. North. An open graph visualization system and its applications to software engineering. Software - Practice and Experience 2000, 30(11):1203-1233, 2000.
5. M. Hendriks, B. van den Nieuwelaar, and F. Vaandrager. Model checker aided design of a controller for a wafer scanner. In Proceedings of the First International Symposium on Leveraging Applications of Formal Methods 2004 (ISOLA '04), pages 201-209, 2004.
6. T. Jeron and C. Jard. 3D layout of reachability graphs of communicating processes. In Proceedings of the DIMACS International Workshop on Graph Drawing (GD '94), pages 25-32, 1994.
7. B. Kerr. Thread Arcs: an email thread visualization. In Proceedings of the IEEE Symposium on Information Visualization (InfoVis '03), pages 27-34, 2003.
8. M. Leuschel and E. Turner. Visualizing larger state spaces in ProB. In Proceedings of the Fourth International Conference of B and Z Users, pages 6-23, 2005.
9. T. Mihalisin, J. Timlin, and J. Schwegler. Visualization and analysis of multi-variate data: a technique for all fields. In Proceedings of IEEE Visualization (Visualization '91), pages 171-178, 1991.
10. P Neumann, S. Schlechtweg, and S. Carpendale. ArcTrees: visualizing relations in hierarchical data. In Proceedings of the Eurographics IEEE VGTC Symposium on Visualization (EuroVis 2005), pages 53-60, 2005.
11. A.J. Pretorius. www.win.tue.nl/~apretori/noodleview, 2006.
12. A.J. Pretorius and J.J. van Wijk. Multidimensional visualization of transition systems. In Proceedings of the Ninth International Conference on Information Visualization (IV05), pages 323-328, 2005.
13. M. Sarkar and M. H. Brown. Graphical fisheye views of graphs. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '92), pages 83-91, 1992.
14. B. Shneiderman. Tree visualization with Tree-Maps: 2-D space filling approach. ACM Transactions on Graphics, 11(1):92-99, 1992.
15. F. van Ham, H. van de Wetering, and J.J. van Wijk. Interactive visualization of state transition systems. IEEE Transactions on Visualization and Computer Graphics, 8(3):319-329, 2002.
16. F. van Ham and J.J. van Wijk. Beam Trees: compact visualization of large hierarchies. In Proceedings of the IEEE Symposium on Information Visualization (InfoVis '02), pages 93-100, 2002.
17. C. Ware. Designing with a 2 1/2D attitude. Information Design Journal, 10(3):255-262, 2001.
18. M. Wattenberg. Arc Diagrams: visualizing structure in strings. In Proceedings of the IEEE Symposium on Information Visualization (InfoVis '02), pages 110-116, 2002.
19. M. Wattenberg. Visual exploration of multivariate graphs. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '06), pages 811-819, 2006.