Publications

1. A. A. Aziz, M. Unny, S. Niranjana, M. Sanjana and J. Swaminathan, “Decoding Parallel Program Execution by using Java Interactive Visualization Environment (JIVE): Behavioral and Performance Analysis” in proceedings of 3rd International Conference on Computing Methodologies and Communication (ICCMC), Erode, India, 2019, pp. 792-797. DOI: 10.1109/ICCMC.2019.8819754.

2. Swaminathan Jayaraman, Devi Sree Rajan and Bharat Jayaraman, “Towards runtime verification using activity diagrams,” in proceedings of Second Symposium on Applications of Formal Methods for Safety and Security of Critical Systems (AFMSS), Amritapuri, 2018.

3. Devi Sree Rajan, Swaminathan Jayaraman, “Construction of activity diagrams from Java execution traces,” In: Perez G., Tiwari S., Trivedi M., Mishra K. (eds) Ambient Communications and Computer Systems. Advances in Intelligent Systems and Computing, Springer, Singapore, 2018, vol 696, pp. 641-655. DOI: 10.1007/978-981-10-7386-1_54.

4. Swaminathan Jayaraman, Bharat Jayaraman and Demian Lessa, “Compact visualization of Java program execution”, Software: Practice & Experience, John Wiley & Sons Inc., 2017, vol. 47, pp. 163-191. DOI: 10.1002/spe.2411

5. Aparna K Das and Swaminathan Jayaraman, “Building a common notation for enabling comparison of design and execution,” in proceedings of International Conference on Advances in Computing, Communications and Informatics (ICACCI), Udupi, 2017, pp. 1609 – 1612. DOI: 10.1109/ ICACCI.2017.8126072.

6. M. Mithun; Swaminathan Jayaraman, “Comparison of sequence diagram from execution against design-time state specification,” in proceedings of International Conference on Advances in Computing, Communications and Informatics (ICACCI), Udupi, 2017, pp. 1387 – 1392. DOI: 10.1109/ ICACCI.2017.8126034.

7. Lukasz Ziarek, Bharat Jayaraman, Demian Lessa and Swaminathan Jayaraman, “Runtime visualization and verification in JIVE,” In: Falcone Y., Sánchez C. (eds) Runtime Verification. RV 2016. Lecture Notes in Computer Science, Springer, Cham, 2016, vol 10012., pp. 491-494. DOI: 10.1007/978-3-319-46982-9_33.

8. Swaminathan Jayaraman, Dinoop Hari and Bharat Jayaraman, “Consistency of Java run-time behavior with design-time specifications,” in proceedings of Eighth International Conference on Contemporary Computing (IC3), Noida, 2015, pp. 548-554. DOI: 10.1109/IC3.2015.7346742.

9. Swaminathan Jayaraman, Kishor Kamath Diwakar and Bharat Jayaraman, “Towards program execution summarization: Deriving state diagrams from sequence diagrams,” in proceedings of Seventh International Conference on Contemporary Computing (IC3), Noida, 2014, pp. 299-305. DOI: 10.1109/IC3.2014.6897190.