You are cordially invited to attend this week's CSE 699/ICS 599/COE 599 following Graduate Seminars:
Location: 22 - 130
Date: Wednesday Nov. 05, 2013
First Seminar:
Duration: 2:30 - 3:10 pm
Speaker: Dr. Musab AlTurki, ICS Department
Title: An Introduction to Rewriting Logic and the Maude Tool
Abstract
This talk introduces rewriting logic and its implementation in the Maude tool. We describe Generalized Rewrite Theories, which are the specification units in rewriting logic, and their implementations as modules in Maude, with several examples. We then give an overview of the formal analysis tools built into Maude, including simulation, checking violations of invariants by searching, and linear temporal logic model checking, in addition to other formal tools that are built on top of Maude by reflection. This is followed by an overview of important extensions to rewriting logic and the corresponding extensions in Maude. The talk concludes with a description of some selected applications from the literature.
Short Biography
Dr. Musab A. AlTurki is an assistant professor in the Information and Computer Science department at King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia. He received his PhD degree in computer science from the University of Illinois at Urbana-Champaign in 2011. His research interests are in applications of formal methods to program analysis and verification, specification and design of distributed and concurrent programming languages and systems, and to analysis of security properties of systems. He is a recipient of the prestigious King Abdullah Scholar Award for scientific excellence in 2008.
Second Seminar:
Duration 3:10 - 3:50 pm
Speaker: Mr. Muhammad Ijaz, COE Department
Title: Equal energy dissipation in wireless image sensor network: A solution to energy-hole problem
Abstract
In wireless image sensor networks (WISNs), the nodes closer to the sink are likely to get over-burdened and run out of their energy at the early stage of network deployment. This is called an energy-hole problem. This problem limits the overall lifetime of the wireless sensor network. In this paper, a solution has been proposed to alleviate the energy-hole problem by establishing equal energy dissipation condition over the sensor network. A data gathering linear array of wireless camera sensor nodes is considered. In which each camera sensor node generates one raw image per cycle. This raw image is processed locally by each node and sent to the sink node using intermediate nodes (multi-hop Communication). Exact placement of nodes is pre-calculated and nodes are deployed according to this to ensure equal energy dissipation over the network. The raw image is locally processed using discrete wavelet transform (DWT). Network lifetime and peak signal-to-noise-ratio (PSNR) of the reconstructed images are calculated at the sink node for several test images. Results show an overall better performance of the proposed scheme as compared to other linear array sensor networks.
Short Biography
Muhammad Ijaz Was born in 1985 in Pakistan. He received his BSc in Electrical Engineering from COMSATS Institute of Information Technology Lahore, Pakistan. In feb.2010 he was appointed as a Lab Engineer in EE department of COMSATS Institute of Information Technology Lahore, Pakistan. He remained at this position till the start of 2013. Currently he is enrolled as a full time Master student in Computer Engineering department at KFUPM, KSA.
