| 2008 |
|---|
| 6 | EE | Salamah Salamah,
Ann Q. Gates,
Steve Roach:
Improving Pattern-Based LTL Formulas for Automata Model Checking.
ITNG 2008: 9-14 |
| 5 | | Salamah Salamah,
Irbis Gallegos,
Omar Ochoa:
A Novel Approach for Software Property Validation.
SETP 2008: 173-178 |
| 2007 |
|---|
| 4 | EE | Salamah Salamah,
Ann Q. Gates,
Vladik Kreinovich,
Steve Roach:
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.
ATVA 2007: 533-542 |
| 3 | EE | Salamah Salamah,
Ann Q. Gates,
Vladik Kreinovich,
Steve Roach:
Verification of Automatically Generated Pattern-Based LTL Specifications.
HASE 2007: 341-348 |
| 2 | | Salamah Salamah,
Vladik Kreinovich,
Ann Q. Gates:
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.
SEKE 2007: 422-427 |
| 2005 |
|---|
| 1 | EE | Salamah Salamah,
Ann Q. Gates,
Steve Roach,
Oscar Mondragon:
Verifying Pattern-Generated LTL Formulas: A Case Study.
SPIN 2005: 200-220 |
