Formal Verification of Web Applications Modeled by Communicating Automata. - May Haydar; Alexandre Petrenko; Houari A. Sahraoui (FORTE, 2004)

Formal Framework for Automated Analysis and Verification of Web-Based Applications. - May Haydar (ASE, 2004)

Properties and scopes in web model checking. - May Haydar; Sergiy Boroday; Alexandre Petrenko; Houari A. Sahraoui (ASE, 2005)

Specification Patterns for Formal Web Verification. - May Haydar; Houari A. Sahraoui; Alexandre Petrenko (ICWE, 2008)

A formal approach for run-time verification of web applications using scope-extended LTL. - May Haydar; Alexandre Petrenko; Sergiy Boroday; Houari A. Sahraoui (Inf. Softw. Technol., 2013)