Salamah Salamah

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 4

Top Topics

Consistency Checks

Science Education

Top Venues

J. Syst. Softw.

Publications

David Reyes, Jaime C. Acosta, Adriana Escobar De La Torre, Salamah Salamah
A System for Analyzing Diversified Software Binaries. MILCOM (2019)
Omar Ochoa, Miralda Rodney, Massood Towhidnejad, Salamah Salamah
Investigating the Benefits of Introducing Process-Oriented Life Cycle Development Models to Improve Students Appreciation for Agile Methods. FIE (2018)
Jaime C. Acosta, Joshua McKee, Alexander Fielder, Salamah Salamah
A platform for evaluator-centric cybersecurity training and data acquisition. MILCOM (2017)
Jaime C. Acosta, Salamah Salamah
An Analysis Platform for Execution-Based Model Generation. HASE (2016)
Omar Ochoa, Salamah Salamah
An approach to enhance students' competency in software verification techniques. FIE (2015)
Salamah Salamah, Omar Ochoa, Yadira Jacquez
Using Pairwise Testing to Verify Automatically-Generated Formal Specifications. HASE (2015)
Massood Towhidnejad, Thomas B. Hilburn, Salamah Salamah
Transforming engineering and science education through active learning. FIE (2014)
Salamah Salamah, Matthew Engskow, Omar Ochoa
Consistency Checks of System Properties Using LTL and Büchi Automata. SEKE (2012)
Richard S. Stansbury, Massood Towhidnejad, Salamah Salamah, William C. Barott
Developing an Air/Ground Robots for Disaster Response as a Project for a Senior Capstone Design Course. Infotech@Aerospace (2012)
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich
Validated templates for specification of complex LTL formulas. J. Syst. Softw. 85 (8) (2012)
Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Softw. Eng. 2011 (2011)
Salamah Salamah, Massood Towhidnejad, Thomas B. Hilburn
Developing case modules for teaching software engineering and computer science concepts. FIE (2011)
Thomas B. Hilburn, Massood Towhidnejad, Salamah Salamah
Read before you write. CSEE&T (2011)
Salamah Salamah, Matthew Del Buono, Eric Baily, Sarah Printy, Derek Ferris, Laurel Christian
Enhancing Property Specification Tools With Validation Techniques. SEKE (2009)
Salamah Salamah, Ann Q. Gates
A Technique for Using Model Checkers to Teach Formal Specifications. CSEE&T (2008)
Salamah Salamah, Ann Q. Gates, Steve Roach
Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG (2008)
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)
Thomas B. Hilburn, Massood Towhidnejad, Salamah Salamah
The DigitalHome Case Study Material. CSEE&T (2008)
Salamah Salamah, Irbis Gallegos, Omar Ochoa
A Novel Approach for Software Property Validation. SETP (2008)
Luis García, Steve Roach, Salamah Salamah
PROTEF: Automatic Verification of Pattern-Based LTL Templates. SEKE (2008)
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
Verification of Automatically Generated Pattern-Based LTL Specifications. HASE (2007)
Salamah Salamah, Vladik Kreinovich, Ann Q. Gates
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. SEKE (2007)
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. ATVA (2007)
Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon
Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN (2005)