May Haydar

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Linear Time Temporal Logic

Formal Specification

Web Applications

Top Venues

Inf. Softw. Technol.

Publications

May Haydar, Alexandre Petrenko, Sergiy Boroday, Houari A. Sahraoui
A formal approach for run-time verification of web applications using scope-extended LTL. Inf. Softw. Technol. 55 (12) (2013)
May Haydar, Houari A. Sahraoui, Alexandre Petrenko
Specification Patterns for Formal Web Verification. ICWE (2008)
May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui
Properties and scopes in web model checking. ASE (2005)
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
Formal Verification of Web Applications Modeled by Communicating Automata. FORTE (2004)
May Haydar
Formal Framework for Automated Analysis and Verification of Web-Based Applications. ASE (2004)