| 2009 | ||
|---|---|---|
| 2 | Hesham Shokry, Mike Hinchey: Model-Based Verification of Embedded Software. IEEE Computer 42(4): 53-59 (2009) | |
| 2008 | ||
| 1 | Hesham Shokry, M. Ali Babar: Dynamic Software Product Line Architectures Using Service-Based Computing for Automotive Systems. SPLC (2) 2008: 53-58 | |
| 1 | M. Ali Babar | [1] |
| 2 | Michael G. Hinchey (Mike Hinchey) | [2] |