Runtime Visualization and Verification in JIVE-Reference-Cited by-同舟云学术

Runtime Visualization and Verification in JIVE

Published:2016 Issue: Volume: Page:493-497
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Ziarek Lukasz,Jayaraman Bharat,Lessa Demian,Swaminathan J.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-46982-9_33

Reference10 articles.

1. Lecture Notes in Computer Science;DF Bacon,2006

2. Blanton, E., Lessa, D., Arora, P., Ziarek, L., Jayaraman, B.: JIFI: visual test and debug queries for hard real-time. Concurrency Comput. Pract. Exper. 26(14), 2456–2487 (2014)

3. Blanton, E., Lessa, D., Ziarek, L., Bharat Jayaraman, J.: Visual test and debug queries for hard real-time. In: Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems. ACM, New York, October 2012

4. Lecture Notes in Computer Science;A Cavalcanti,2011

5. Czyz, J.K., Jayaraman, B.: Declarative and visual debugging in eclipse. In: Proceedings of the 2007 OOPSLA Eclipse Technology eXchange Workshop (ETX 2007), pp. 31–35. ACM, New York (2007)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime verification on abstract finite state models;Journal of Systems and Software;2024-10

2. A declarative approach to detecting design patterns from Java execution traces and source code;Information and Software Technology;2024-07

3. Specification and Detection of Software Design Patterns;2023

4. Enabling Granular Exploration of Sequence Diagrams with Activity Diagrams;2022 International Conference on Computing, Communication, Security and Intelligent Systems (IC3SIS);2022-06-23

5. Run-Time Analysis of Temporal Constrained Objects;Declarative Programming and Knowledge Management;2018