| |
| 2005 | ||
|---|---|---|
| 2 | EE | Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur: Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. HSCC 2005: 306-321 |
| 2004 | ||
| 1 | EE | Dharmashankar Subramanian, Kartik Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski: Control Design for a Hybrid Dynamic System: A NASA Life Support System. HSCC 2004: 570-584 |
| 1 | Kartik Ariyur | [1] [2] |
| 2 | Ranjana Deshpande | [1] |
| 3 | Nitin Lamba | [1] |
| 4 | Antonis Papachristodoulou | [2] |
| 5 | Dharmashankar Subramanian | [1] |