Kartik Ariyur

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

Coauthor Index

1	Ranjana Deshpande	[1]
2	Sonja Glavaski	[1] [2]
3	Nitin Lamba	[1]
4	Antonis Papachristodoulou	[2]
5	Dharmashankar Subramanian	[1]