Chun Wah Wallace Wu

Learn More
Runtime verification is a formal technique used to check whether a program under inspection satisfies its specification by using a runtime monitor. Existing monitoring approaches use one of two ways for evaluating a set of logical properties: (1) event-triggered, where the program invokes the monitor when the state of the program changes, and (2)(More)
We introduce the tool RiTHM (Runtime Time-triggered Heterogeneous Monitoring). RiTHM takes a C program under inspection and a set of LTL properties as input and generates an instrumented C program that is verified at run time by a time-triggered monitor. RiTHM provides two techniques based on static analysis and control theory to minimize instrumentation of(More)
Time-triggered runtime verification aims at tackling two defects associated with runtime overhead normally incurred in event-triggered approaches: unboundedness and unpredictability. In the time-triggered approach, a monitor runs in parallel with the program and periodically samples the program state to evaluate a set of properties. In our previous work, we(More)
Real time video multicast has always been a topic of active research for almost all types of computer networks. With the shift of focus towards Mobile Ad-hoc Networks (MANETs), several approaches have been suggested for the creation and maintenance of multicast trees in the dynamic and unpredictable environment of MANETs. This paper presents a simple and(More)
To decouple strong secondary saliencies in sensorless AC drives, a repetitive control method in an angle domain is proposed. This method regards secondary saliencies as periodic disturbances relative to electrical angle and generates the same saliencies to compensate them. The proposed method is easy to implement and proved effective by experiments.
  • Morukurthi Sreenivasu, Sivaneni Devi, +8 authors Priyanka M. Lokhande
  • 2012
Recent days it became a challenge to design a scalable and robust multicasting routing protocol in a mobile Ad Hoc network (MANET). In this paper, we propose a novel Robust and Scalable Geographic Multicast Protocol (RSGM) and simulated the design with beautiful performance analysis with the existing protocols. Our results demonstrate that RSGM can scale a(More)
This paper proposes a robust and energy efficient Highly Scalable Zone based Multicast Protocol (HSZMP) to achieve high scalability with reduced control overhead even under high dynamic mobility and large network size. This work constructs a virtual-zone-based structure in order to reduce the overhead for route discovery and maintenance of the tree(More)
In this era of social media, real time video multicast over Mobile Ad-hoc Networks (MANETs) is subject of active research and new products are in use as a result of these research advancements. We have earlier proposed a simple and novel approach for multicasting in MANETs that is particularly suited for multicasting live video/audio streams, which gives(More)