| 2018 | FIE | Investigating the Benefits of Introducing Process-Oriented Life Cycle Development Models to Improve Students Appreciation for Agile Methods. | Omar Ochoa, Miralda Rodney, Massood Towhidnejad, Salamah Salamah |
| 2015 | FIE | An approach to enhance students' competency in software verification techniques. | Omar Ochoa, Salamah Salamah |
| 2014 | FIE | Transforming engineering and science education through active learning. | Massood Towhidnejad, Thomas B. Hilburn, Salamah Salamah |
| 2012 | SEKE | Consistency Checks of System Properties Using LTL and Bchi Automata. | Salamah Salamah, Matthew Engskow, Omar Ochoa |
| 2011 | FIE | Developing case modules for teaching software engineering and computer science concepts. | Salamah Salamah, Massood Towhidnejad, Thomas B. Hilburn |
| 2009 | SEKE | Enhancing Property Specification Tools With Validation Techniques. | Salamah Salamah, Matthew Del Buono, Eric Baily, Sarah Printy, Derek Ferris, Laurel Christian |
| 2008 | SEKE | A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. | Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela |
| 2008 | SEKE | PROTEF: Automatic Verification of Pattern-Based LTL Templates. | Luis Garca, Steve Roach, Salamah Salamah |
| 2007 | ATVA | Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach |
| 2007 | SEKE | Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. | Salamah Salamah, Vladik Kreinovich, Ann Q. Gates |