Salamah Salamah

26 papers B 1C 9Journal 4Unranked 12

Year	Rank	Type	Title / 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