Youssef Hanna

According to our database, Youssef Hanna authored at least 7 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Automating Cut-off for Multi-parameterized Systems.

Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Behavioral automata composition for automatic topology independent verification of parameterized systems.

Youssef Hanna, Samik Basu, Hridesh Rajan

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

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

Youssef Hanna, Hridesh Rajan

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

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

Youssef Hanna, Hridesh Rajan, Wensheng Zhang

Proceedings of the First ACM Conference on Wireless Network Security, 2008

2007

SLEDE: lightweight verification of sensor network security protocol implementations.

Youssef Hanna

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2006

SLEDE: event-based specification of sensor network security protocols.

Youssef Hanna, Hridesh Rajan

ACM SIGSOFT Softw. Eng. Notes, 2006

2005

Nedgty: Web Services Firewall.

Ramy Bebawy, Hesham Sabry, Sherif El-Kassas, Youssef Hanna, Youssef Youssef

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005