Sonja Glavaski (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur: Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. HSCC 2005: 306-321

1 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

Selection of 2 from 2 records - Sonja Glavaski has 5 coauthors

2		Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur: Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. HSCC 2005: 306-321
1		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