- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j2 |      | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich: Validated templates for specification of complex LTL formulas. Journal of Systems and Software 85(8): 1915-1929 (2012) |
| c13 |  | Salamah Salamah, Matthew Engskow, Omar Ochoa: Consistency Checks of System Properties Using LTL and Büchi Automata. SEKE 2012: 39-44 |
| 2011 | ||
| j1 | | Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow: Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Software Engineering 2011 (2011) |
| c12 | | Thomas B. Hilburn, Massood Towhidnejad, Salamah Salamah: Read before you write. CSEE&T 2011: 371-380 |
| 2009 | ||
| c11 | | Salamah Salamah, Matthew Del Buono, Eric Baily, Sarah Printy, Derek Ferris, Laurel Christian: Enhancing Property Specification Tools With Validation Techniques. SEKE 2009: 487-492 |
| 2008 | ||
| c10 | | Salamah Salamah, Ann Q. Gates: A Technique for Using Model Checkers to Teach Formal Specifications. CSEE&T 2008: 181-188 |
| c9 | | Thomas B. Hilburn, Massood Towhidnejad, Salamah Salamah: The DigitalHome Case Study Material. CSEE&T 2008: 279-280 |
| c8 | | Salamah Salamah, Ann Q. Gates, Steve Roach: Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG 2008: 9-14 |
| c7 | | Luis García, Steve Roach, Salamah Salamah: PROTEF: Automatic Verification of Pattern-Based LTL Templates. SEKE 2008: 261-266 |
| c6 | | 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 |
| c5 | | Salamah Salamah, Irbis Gallegos, Omar Ochoa: A Novel Approach for Software Property Validation. SETP 2008: 173-178 |
| 2007 | ||
| c4 | | 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 |
| c3 | | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Verification of Automatically Generated Pattern-Based LTL Specifications. HASE 2007: 341-348 |
| c2 | | Salamah Salamah, Vladik Kreinovich, Ann Q. Gates: Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. SEKE 2007: 422-427 |
| 2005 | ||
| c1 | | Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon: Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220 |
Colors in the list of coauthors
Last update Thu May 23 15:50:55 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page