Run time Visualization and Verification using JIVE on 8-9 Aug, 2016

Run time Visualization and Verification using JIVE on 8-9 Aug, 2016


  • Member of CSI, IEEE

    Sale Date Ended

    INR 1500
    Sold Out
  • Non-Member -Industry, Corporate R & D Labs

    Sale Date Ended

    INR 2000
    Sold Out
  • Member of CSI Academic

    Sale Date Ended

    INR 1500
    Sold Out
  • Non Member-Academic

    Sale Date Ended

    INR 1750
    Sold Out
  • Member of CSI IEEE Student

    Sale Date Ended

    INR 1250
    Sold Out
  • Non Member of CSI, IEEE Student

    Sale Date Ended

    INR 1500
    Sold Out

Invite friends

Contact Us

Page Views : 114

About The Event


Runtime Visualization and Verification using JIVE



Special Interest Group – Formal Methods (SIG-FM),


ABB Corporate Research


Runtime Visualization and Verification using JIVE


Date :August 8 & 9, 2016


Time : 9.00 a.m. to 4.30 p.m.


Block No. 1, Bhoruka Tech Park,

Whitefield Main Road, Bengaluru-560048

Tel 080-2286 0461, 4090 6171Telefax: 0802286 2215,+91 9448905268


Workshop Objectives:



The objective of the workshop is to provide hands on experience in using JIVE tool for Java developers. 

Key Takeaways: Interactive Visualization with UML Diagrams; Query-based Debugging; Multi-threaded Execution

CSI SIG-FM strives to promote research and development in formal methods and tools for industrial applications, and also to foster closer ties between the formal methods and the software engineering communities. 


Who should attend:

Hardware and Software Pre-requisites


Scientists, Software Engineers, and Embedded System Engineers interested in the development and application in Java will benefit the most by attending this workshop.

Both beginner and advanced Java programmers will benefit from JIVE's rich visualizations of object structures and method interaction.  Advanced features include debugging with queries, multi-threaded execution, and dealing with long executions.


People attending the workshop should bring their own Laptop with the following software installed:


  1. Java JDK 8
  2. Eclipse IDE for Java Developers (Neon)
  3. JIVE:


The software should be installed in the above sequence.


Topics to be Covered

Runtime Visualization of Java Program Execution: Object, Sequence, and State Diagrams: Query – based

Analysis; Distributed Objects (Java RMI); Verifying Properties using Temporal Logics; Predicate Abstraction; Consistency Checking against Design-time Specifications.

About the Instructor

Dr. Bharat Jayaraman is a Professor in the Department of Computer Science & Engineering at the State University of New York (Buffalo).  He received his B.Tech and M.Tech degrees from the Indian Institute of Technology, Chennai, and his Ph.D in Computer Science from the University of Utah.  He also held a faculty position at the University of North Carolina (Chapel Hill) and served as Department Chair at SUNY Buffalo from 2001 to 2009. He has published over 100 scientific articles and organized numerous scientific meetings to promote the study and research of programming languages and software systems.  Dr. Jayaraman is presently an Associate Editor for Springer’s Transactions on ICT, and has also served on the Editorial Boards for Computer Journal, published by Oxford University, and the Journal of Functional Logic Programming.   

WORKSHOP FEE(Includes Course Material, Lunch and Tea)


  • Members of CSI, IEEE :Rs. 1500/-
  • Non Members - Industry, Corporate, R&D Labs Rs. 2,000/-
  • Members of CSI-Academic :Rs. 1500/-
  • Non Member-Academic Rs. 1750/-
  • Member of CSI, IEEE – Student Rs. 1,250/-
  • Non-Member of CSI, IEEE – Student Rs. 1,500/-


Use for online registration Event URL:


Payment details:

Computer Society of India (Bangalore Chapter)

Unit #  201, M.B.Center, 134,Infantry Road,

BENGALURU – 560 001


Contact Person:

Mr. H C Sridhar / Mrs. Nirmala J

(080) 2286 0461, 40906171 / 9448905268

Telefax: 080 2286 2215 E-mail:,

Cheques to be drawn in favourof : “ CSI Bangalore Chapter ”

Details of CSI BC Bank account for online payment :

  • Bank: State Bank of India
  • Branch: B1, Cross Road, MIDC, Andheri (E),

Mumbai – 400 093

  • MICR: 400002057
  • IFSC : SBIN0007074
  • Swift Code: SBIN0007074
  • Account # : 33762189110
  • Bank Code: 07074
  • IFSC/NEFT/RTGS Code: SBIN0007074
  • Bank Phone # 022-28362419