| |
| 2009 | ||
|---|---|---|
| 3 | EE | 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 | EE | Mubarak Mohammad, Vasu S. Alagar: TADL - An Architecture Description Language for Trustworthy Component-Based Systems. ECSA 2008: 290-297 |
| 2007 | ||
| 1 | EE | Vasu S. Alagar, Mubarak Mohammad: Specification and verification of trustworthy component-based real-time reactive systems. SAVCBS 2007: 89-93 |
| 1 | Vangalur S. Alagar (Vasu S. Alagar) | [1] [2] [3] |
| 2 | Kaiyu Wan | [3] |