| |
| 2008 | ||
|---|---|---|
| 4 | EE | May Haydar, Houari A. Sahraoui, Alexandre Petrenko: Specification Patterns for Formal Web Verification. ICWE 2008: 240-246 |
| 2005 | ||
| 3 | EE | May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui: Properties and scopes in web model checking. ASE 2005: 400-404 |
| 2004 | ||
| 2 | EE | May Haydar: Formal Framework for Automated Analysis and Verification of Web-Based Applications. ASE 2004: 410-413 |
| 1 | EE | May Haydar, Alexandre Petrenko, Houari A. Sahraoui: Formal Verification of Web Applications Modeled by Communicating Automata. FORTE 2004: 115-132 |
| 1 | Sergiy Boroday | [3] |
| 2 | Alexandre Petrenko | [1] [3] [4] |
| 3 | Houari A. Sahraoui | [1] [3] [4] |