Past Supervised Students

·  Chul-Eui Hong

Asynchronous Parallel Simulated Annealing, Ph.D.,1992

·  Pei-Yu Li

Fault-Tolerant Distributed Deadlock Detection, Ph.D.,1994

·  Jun-Lin Liu

Recoverable Ring Embeddings in Hypercubes, Ph.D.,1993

·  Hanan Lutfiyya

Fault Tolerance in Concurrent Systems Through Formal Methods, Ph.D.,1992

·  Martina Schollmeyer

Using Temporal Subsumption to Generate Efficient Error-Detecting Distributed Algorithms, Ph.D.,1994

·         Eric Jui-Lin Lu  Co-supervised with D. Okunbor

 

Parallel Fast Multipole Algorithms for N-Body Simulations, 1996.

·  Cristina Serban   

Run-Time Security Evaluation (RTSE) for Distributed Applications, Ph.D.,1996

·  Aggie Sun

Declarative Approach to Generalizing the Understanding of Program Behavior Through Program Visualization, Ph.D.,1996

·  Su-Mei Grace Tsai

Fault-Tolerant Distributed Real-Time Systems, Ph.D.,1994

·  Rashi Khanna

A Visualization Model for Massively Parallel Algorithms, M.S.,1991

·  Henry Clark

DAWGS - A Distributed Compute Server Utilizing Idle Workstations, M.S.,1990

·  Steve Franks

An Asynchronous Parallel Multigrid Algorithm, M.S.,1990

·  Alan Su

A Deterministic Membership Algorithm in Asynchronous Distributed Systems, M.S.,1994

·  Marutikumar Chittajullu

Event History Clipping in Real Time Systems, M.S.,2000

·        Chandana Sreerambhatla

Fault-tolerant Automated Highway System Software, M.S. 2001

·        Geoff Roth

Biologically-Inspired Intrusion Detection in Distributed Systems, M.S. 2003

·        Han (Carol) Tang

Formal Security Models for CPS, M.S. 2007

·         David A. Cape

Deadlock detection and dihomotopic reduction via progress shell decomposition, Ph.D., 2010

 

·        Thoshitha Gamage

CEEME: compensating events based execution monitoring enforcement for Cyber-Physical Systems, Ph.D., 2011