News

Seminar-Sound model driven systems engineering with OMEGA SysML by Iulian Ober

An analysis of the results from Technical Reviews of 18 European Space
Agency (ESA) projects, conducted late 2000, has shown that one of the top
technical problem areas was on-board software, whose complexity, size and
verification are often severely under estimated, leading to budget and time
over-runs. In the scope of the ESA Software Initiative, an in-depth analysis
has shown that "there is no software crisis but a system crisis", meaning
that the origin of the software crisis was in fact a lack in system

Privacy Preserving Service Discovery in Mobile P2P Networks by Sanjay Madria. Monday, March 21, 2011

In mobile peer-to-peer networks, existing service discovery protocols disregard the exposure of the participating peers' privacy details (privileged information). In these methods, the participating peers must provide their identities during the service discovery process to be authorized to utilize services. However, a peer may not be willing to reveal its privileged information until it correctly identifies the service providing peer. Thus, these peers face a problem; who should reveal their identity first, the service requesting or the service providing peer.

Presentation-Scheduling and Synchronization for Multi-Core Real-Time Systems by Karthik Lakshmanan

Monday, February 28th, 3:00 pm at Jacobs Believed in Me Auditorium

Presentation-Reverse Engineering of Data Structures from Binary by Zhiqiang Lin

The syntactic and semantic definitions of a program's data structures are valuable to many security and forensics applications, such as memory image mining, software vulnerability discovery, protocol reverse engineering, and virtual machine introspection. 

Presentation-Compositionality and Modularity in Embeddded System Design: Interface Synthesis and Interface theories by Stavros Tripakis

 Compositionality and modularity in embedded system design: Interface synthesis and interface theories by Stavros Tripakis. Monday, February 14th, 4:00 pm, Jacobs Believed in Me Auditorium.

Presentation-Visualizing Biological Data by Miriah Meyer

Visualization tools are essential for deriving meaning from the avalanche of data we are generating today. To facilitate an understanding of the complex relationships embedded in this data, visualization research leverages the power of the human perceptual and cognitive systems, encoding meaning through images and enabling exploration through human-computer interactions. In my research I design visualization systems that support exploratory, complex data analysis tasks by biologists who are analyzing large amounts of heterogeneous data.