{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:29:24Z","timestamp":1761128964336,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/vissof.2011.6069463","type":"proceedings-article","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T21:54:10Z","timestamp":1320443650000},"page":"1-4","source":"Crossref","is-referenced-by-count":4,"title":["A multi-level approach for visualization and exploration of reactive program behavior"],"prefix":"10.1109","author":[{"given":"Christian","family":"Wirth","sequence":"first","affiliation":[]},{"given":"Herbert","family":"Prahofer","sequence":"additional","affiliation":[]},{"given":"Roland","family":"Schatz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"151","article-title":"Visualizing the Execution of Java Programs","author":"de pauw","year":"2001","journal-title":"Revised Lectures on Software Visualization International Seminar"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.28"},{"journal-title":"IEC 61331–3 Programmable controllers-Part 3 Programming languages","year":"2003","key":"ref10"},{"key":"ref6","first-page":"1619","article-title":"On tracing reactive systems","author":"shahar","year":"2010","journal-title":"Software and Systems Modeling"},{"key":"ref11","article-title":"Deterministic Replay Debugging of IEC 61131–3 PLC Programs","author":"pr\u00e4hofer","year":"2010","journal-title":"IEEE International Conference on Industrial Informatics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1148493.1148499"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2010.34"},{"key":"ref7","article-title":"A Survey of Phase Analysis: Techniques, Evaluation and Applications","author":"gu","year":"2006","journal-title":"Technical Report SABLE-TR-2006–1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref9","first-page":"320","article-title":"Exploiting the Analogy Between Traces and Signal Processing","author":"kuhn","year":"2006","journal-title":"Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM '06)"},{"key":"ref1","first-page":"477","article-title":"On the development of reactive systems","volume":"13","author":"harel","year":"1989","journal-title":"Logics and Models of Concurrent Systems"}],"event":{"name":"2011 6th IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT)","start":{"date-parts":[[2011,9,29]]},"location":"Williamsburg, VA, USA","end":{"date-parts":[[2011,9,30]]}},"container-title":["2011 6th International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6061589\/6069447\/06069463.pdf?arnumber=6069463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T17:10:16Z","timestamp":1490116216000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6069463\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/vissof.2011.6069463","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}