Salamah Salamah

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