| 2008 |
|---|
| 10 | EE | Salamah Salamah,
Ann Q. Gates:
A Technique for Using Model Checkers to Teach Formal Specifications.
CSEE&T 2008: 181-188 |
| 9 | EE | Thomas B. Hilburn,
Massood Towhidnejad,
Salamah Salamah:
The DigitalHome Case Study Material.
CSEE&T 2008: 279-280 |
| 8 | EE | Salamah Salamah,
Ann Q. Gates,
Steve Roach:
Improving Pattern-Based LTL Formulas for Automata Model Checking.
ITNG 2008: 9-14 |
| 7 | | Luis García,
Steve Roach,
Salamah Salamah:
PROTEF: Automatic Verification of Pattern-Based LTL Templates.
SEKE 2008: 261-266 |
| 6 | | Irbis Gallegos,
Omar Ochoa,
Ann Q. Gates,
Steve Roach,
Salamah Salamah,
Corina Vela:
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.
SEKE 2008: 273-278 |
| 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 |
