Current and Past Collaborators

Re-thinking every aspect of engineering and applying fundamental concepts to build smart products
  • Run-Time Verification of Avionic Controllers
  • Product Engineering & Design Pipeline
  • Experience Design & Technology
  • Generic Infusion Pump
  • Safety Analysis for Mixed Criticality Features
  • Formal Analysis of Hybrid Systems Models
  • Monitoring of Software Safety and Security
  • Wireless Sensor-Actuator Control Systems
  • Data Predictive Control for Industrial Systems
  • Performance Analysis of Architectural Models
  • Auto-Repairing Cache Contention Bugs
  • Networked Real-Time Embedded Systems Research
  • Run-Time Verification of Reconfigurable Platform
  • Generic Safety-Assured Patient-Controlled Analgesic Infusion Pump
  • Testing of Simulink/Stateflow Models
  • GPU Data Race Detection
  • Plug-n-Play Deployment of Safety Features
  • Driver’s License for Autonomous Vehicles
  • Control Architectures and Tools for IoT