May Haydar

	2008
4		May Haydar, Houari A. Sahraoui, Alexandre Petrenko: Specification Patterns for Formal Web Verification. ICWE 2008: 240-246
	2005
3		May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui: Properties and scopes in web model checking. ASE 2005: 400-404
	2004
2		May Haydar: Formal Framework for Automated Analysis and Verification of Web-Based Applications. ASE 2004: 410-413
1		May Haydar, Alexandre Petrenko, Houari A. Sahraoui: Formal Verification of Web Applications Modeled by Communicating Automata. FORTE 2004: 115-132

Coauthor Index

1	Sergiy Boroday	[3]
2	Alexandre Petrenko	[1] [3] [4]
3	Houari A. Sahraoui	[1] [3] [4]