Mubarak Mohammad

	2009
3		Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar: A Formal Model of Business Application Integration from Web Services (Position Paper). SOFSEM 2009: 656-667
	2008
2		Mubarak Mohammad, Vasu S. Alagar: TADL - An Architecture Description Language for Trustworthy Component-Based Systems. ECSA 2008: 290-297
	2007
1		Vasu S. Alagar, Mubarak Mohammad: Specification and verification of trustworthy component-based real-time reactive systems. SAVCBS 2007: 89-93

Coauthor Index

1	Vangalur S. Alagar (Vasu S. Alagar)	[1] [2] [3]
2	Kaiyu Wan	[3]