 | 2009 |
|---|
| 7 |       | Youssef Hanna,
Samik Basu,
Hridesh Rajan:
Behavioral automata composition for automatic topology independent verification of parameterized systems.
ESEC/SIGSOFT FSE 2009: 325-334 |
| 6 | | Youssef Hanna,
Hridesh Rajan:
Slede: Framework for automatic verification of sensor network security protocol implementations.
ICSE Companion 2009: 427-428 |
| 2008 |
|---|
| 5 | | Youssef Hanna,
Hridesh Rajan,
Wensheng Zhang:
Slede: a domain-specific verification framework for sensor network security protocol implementations.
WISEC 2008: 109-118 |
| 2007 |
|---|
| 4 | | Youssef Hanna:
SLEDE: lightweight verification of sensor network security protocol implementations.
ESEC/SIGSOFT FSE 2007: 591-594 |
| 3 | | Youssef Hanna:
SLEDE: lightweight verification of sensor network security protocol implementations.
ESEC/SIGSOFT FSE (Companion) 2007: 591-594 |
| 2006 |
|---|
| 2 | | Youssef Hanna,
Hridesh Rajan:
SLEDE: event-based specification of sensor network security protocols.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 2005 |
|---|
| 1 | | Ramy Bebawy,
Hesham Sabry,
Sherif El-Kassas,
Youssef Hanna,
Youssef Youssef:
Nedgty: Web Services Firewall.
ICWS 2005: 597-601 |
