Jeffrey Mark Schweiger

• Detecting potential synchronization constraint deadlocks from formal system specifications
• Evaluation of geometric activity in the MAD frequency band (.04 to 0.6 Hz)