Youssef Hanna

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan
Automating Cut-off for Multi-parameterized Systems. ICFEM (2010)
Youssef Hanna, Samik Basu, Hridesh Rajan
Behavioral automata composition for automatic topology independent verification of parameterized systems. ESEC/SIGSOFT FSE (2009)
Youssef Hanna, Hridesh Rajan
Slede: Framework for automatic verification of sensor network security protocol implementations. ICSE Companion (2009)
Youssef Hanna, Hridesh Rajan, Wensheng Zhang
Slede: a domain-specific verification framework for sensor network security protocol implementations. WISEC (2008)
Youssef Hanna
SLEDE: lightweight verification of sensor network security protocol implementations. ESEC/SIGSOFT FSE (2007)
Youssef Hanna
SLEDE: lightweight verification of sensor network security protocol implementations. ESEC/SIGSOFT FSE (Companion) (2007)
Youssef Hanna, Hridesh Rajan
SLEDE: event-based specification of sensor network security protocols. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Ramy Bebawy, Hesham Sabry, Sherif El-Kassas, Youssef Hanna, Youssef Youssef
Nedgty: Web Services Firewall. ICWS (2005)