Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

May Haydar

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icwe/HaydarSP08
- ask others
May Haydar, Houari A. Sahraoui, Alexandre Petrenko: Specification Patterns for Formal Web Verification. ICWE 2008: 240-246
2005
[c3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/HaydarBPS05
- ask others
May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui: Properties and scopes in web model checking. ASE 2005: 400-404
2004
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/forte/HaydarPS04
- ask others
May Haydar, Alexandre Petrenko, Houari A. Sahraoui: Formal Verification of Web Applications Modeled by Communicating Automata. FORTE 2004: 115-132
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/Haydar04
- ask others
May Haydar: Formal Framework for Automated Analysis and Verification of Web-Based Applications. ASE 2004: 410-413

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?