Youssef Hanna

发表

Slede: Framework for automatic verification of sensor network security protocol implementations

Hridesh Rajan, Youssef Hanna, 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

Golok: Push-button Verification of Parameterized Systems

Samik Basu, Youssef Hanna, David Samuelson, 2011 .

SLEDE: lightweight verification of sensor network security protocol implementations

Youssef Hanna, Youssef Hanna, 2007, ESEC-FSE companion '07.

Nedgty: Web services firewall

Sherif El-Kassas, Youssef Hanna, Ramy Bebawy, 2005, IEEE International Conference on Web Services (ICWS'05).

Automating Cut-off for Multi-parameterized Systems

Samik Basu, Hridesh Rajan, Youssef Hanna, 2010, ICFEM.

Verifying sensor network security protocol implementations

Youssef Hanna, Youssef Hanna, 2008 .

Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms

Hridesh Rajan, Youssef Hanna, Youssef Hanna, 2007 .

SLEDE: event-based specification of sensor network security protocols

Hridesh Rajan, Youssef Hanna, Youssef Hanna, 2006, SOEN.

Preserving Separation of Concerns through Compilation

Robert Dyer, Hridesh Rajan, Youssef Hanna, 2006 .

Slede: a domain-specific verification framework for sensor network security protocol implementations

Hridesh Rajan, Wensheng Zhang, Youssef Hanna, 2008, WiSec '08.

SLEDE: lightweight verification of sensor network security protocol implementations

Youssef Hanna, 2007, ESEC-FSE '07.

Behavioral automata composition for automatic topology independent verification of parameterized systems

Samik Basu, Hridesh Rajan, Youssef Hanna, 2009, ESEC/FSE '09.

Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols

Hridesh Rajan, Zhang Wensheng, Youssef Hanna, 2006 .

Nu : Towards an Aspect-Oriented Invocation Mechanism

Hridesh Rajan, Robert Dyer, Youssef Hanna, 2006 .