May Haydar

According to our database, May Haydar authored at least 5 papers between 2004 and 2013.

Collaborative distances:

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

2013

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

2008

Specification Patterns for Formal Web Verification.

May Haydar, Houari A. Sahraoui, Alexandre Petrenko

Proceedings of the Eighth International Conference on Web Engineering, 2008

2005

Properties and scopes in web model checking.

May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Formal Framework for Automated Analysis and Verification of Web-Based Applications.

May Haydar

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Formal Verification of Web Applications Modeled by Communicating Automata.

May Haydar, Alexandre Petrenko, Houari A. Sahraoui

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004