Verifying Pattern-Generated LTL Formulas: A Case Study. - Salamah Salamah; Ann Q. Gates; Steve Roach; Oscar Mondragon (SPIN, 2005)

Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. - Salamah Salamah; Ann Q. Gates; Vladik Kreinovich; Steve Roach (ATVA, 2007)

Verification of Automatically Generated Pattern-Based LTL Specifications. - Salamah Salamah; Ann Q. Gates; Vladik Kreinovich; Steve Roach (HASE, 2007)

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. - Salamah Salamah; Vladik Kreinovich; Ann Q. Gates (SEKE, 2007)

The DigitalHome Case Study Material. - Thomas B. Hilburn; Massood Towhidnejad; Salamah Salamah (CSEE&T, 2008)

A Technique for Using Model Checkers to Teach Formal Specifications. - Salamah Salamah; Ann Q. Gates (CSEE&T, 2008)

Improving Pattern-Based LTL Formulas for Automata Model Checking. - Salamah Salamah; Ann Q. Gates; Steve Roach (ITNG, 2008)

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. - Irbis Gallegos; Omar Ochoa; Ann Q. Gates; Steve Roach; Salamah Salamah; Corina Vela (SEKE, 2008)

PROTEF: Automatic Verification of Pattern-Based LTL Templates. - Luis García; Steve Roach; Salamah Salamah (SEKE, 2008)

A Novel Approach for Software Property Validation. - Salamah Salamah; Irbis Gallegos; Omar Ochoa (SETP, 2008)

Enhancing Property Specification Tools With Validation Techniques. - Salamah Salamah; Matthew Del Buono; Eric Baily; Sarah Printy; Derek Ferris; Laurel Christian (SEKE, 2009)

Read before you write. - Thomas B. Hilburn; Massood Towhidnejad; Salamah Salamah (CSEE&T, 2011)

Developing case modules for teaching software engineering and computer science concepts. - Salamah Salamah; Massood Towhidnejad; Thomas B. Hilburn (FIE, 2011)

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. - Salamah Salamah; Ann Q. Gates; Steve Roach; Matthew Engskow (Adv. Softw. Eng., 2011)

Introducing case study based teaching in computing curricula: pre-conference workshop. - Massood Towhidnejad; Salamah Salamah; Thomas B. Hilburn (J. Comput. Sci. Coll., 2011)

Digital home: a case study approach to teaching in computing curricula: faculty poster. - Massood Towhidnejad; Salamah Salamah; Thomas B. Hilburn (J. Comput. Sci. Coll., 2011)

Developing an Air/Ground Robots for Disaster Response as a Project for a Senior Capstone Design Course. - Richard S. Stansbury; Massood Towhidnejad; Salamah Salamah; William C. Barott (Infotech@Aerospace, 2012)

Consistency Checks of System Properties Using LTL and Büchi Automata. - Salamah Salamah; Matthew Engskow; Omar Ochoa (SEKE, 2012)

Validated templates for specification of complex LTL formulas. - Salamah Salamah; Ann Q. Gates; Vladik Kreinovich (J. Syst. Softw., 2012)

Transforming engineering and science education through active learning. - Massood Towhidnejad; Thomas B. Hilburn; Salamah Salamah (FIE, 2014)

An approach to enhance students' competency in software verification techniques. - Omar Ochoa; Salamah Salamah (FIE, 2015)

Using Pairwise Testing to Verify Automatically-Generated Formal Specifications. - Salamah Salamah; Omar Ochoa; Yadira Jacquez (HASE, 2015)

An Analysis Platform for Execution-Based Model Generation. - Jaime C. Acosta; Salamah Salamah (HASE, 2016)

A platform for evaluator-centric cybersecurity training and data acquisition. - Jaime C. Acosta; Joshua McKee; Alexander Fielder; Salamah Salamah (MILCOM, 2017)

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 (FIE, 2018)

A System for Analyzing Diversified Software Binaries. - David Reyes; Jaime C. Acosta; Adriana Escobar De La Torre; Salamah Salamah (MILCOM, 2019)