Search the dblp DataBase
May Haydar :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
May Haydar , Alexandre Petrenko , Houari A. Sahraoui Formal Verification of Web Applications Modeled by Communicating Automata. [Citation Graph (0, 0)][DBLP ] FORTE, 2004, pp:115-132 [Conf ] May Haydar Formal Framework for Automated Analysis and Verification of Web-Based Applications. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:410-413 [Conf ] May Haydar , Sergiy Boroday , Alexandre Petrenko , Houari A. Sahraoui Properties and scopes in web model checking. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:400-404 [Conf ] Specification Patterns for Formal Web Verification. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs