Salamah Salamah

According to our database, Salamah Salamah authored at least 24 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

A System for Analyzing Diversified Software Binaries.

David Reyes, Jaime C. Acosta, Adriana Escobar De La Torre, Salamah Salamah

Proceedings of the 2019 IEEE Military Communications Conference, 2019

2018

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

Proceedings of the IEEE Frontiers in Education Conference, 2018

2017

A platform for evaluator-centric cybersecurity training and data acquisition.

Jaime C. Acosta, Joshua McKee, Alexander Fielder, Salamah Salamah

Proceedings of the 2017 IEEE Military Communications Conference, 2017

2016

An Analysis Platform for Execution-Based Model Generation.

Jaime C. Acosta, Salamah Salamah

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Using Pairwise Testing to Verify Automatically-Generated Formal Specifications.

Salamah Salamah, Omar Ochoa, Yadira Jacquez

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

An approach to enhance students' competency in software verification techniques.

Omar Ochoa, Salamah Salamah

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

2014

Transforming engineering and science education through active learning.

Massood Towhidnejad, Thomas B. Hilburn, Salamah Salamah

Proceedings of the IEEE Frontiers in Education Conference, 2014

2012

Validated templates for specification of complex LTL formulas.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich

J. Syst. Softw., 2012

Consistency Checks of System Properties Using LTL and Büchi Automata.

Salamah Salamah, Matthew Engskow, Omar Ochoa

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

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

Proceedings of the Infotech@Aerospace 2012, 2012

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

Developing case modules for teaching software engineering and computer science concepts.

Salamah Salamah, Massood Towhidnejad, Thomas B. Hilburn

Proceedings of the 2011 Frontiers in Education Conference, 2011

Read before you write.

Thomas B. Hilburn, Massood Towhidnejad, Salamah Salamah

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2009

Enhancing Property Specification Tools With Validation Techniques.

Salamah Salamah, Matthew Del Buono, Eric Baily, Sarah Printy, Derek Ferris, Laurel Christian

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

2008

A Novel Approach for Software Property Validation.

Salamah Salamah, Irbis Gallegos, Omar Ochoa

Proceedings of the International Conference on Software Engineering Theory and Practice, 2008

PROTEF: Automatic Verification of Pattern-Based LTL Templates.

Luis García, Steve Roach, Salamah Salamah

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 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

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Improving Pattern-Based LTL Formulas for Automata Model Checking.

Salamah Salamah, Ann Q. Gates, Steve Roach

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Technique for Using Model Checkers to Teach Formal Specifications.

Salamah Salamah, Ann Q. Gates

Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008

The DigitalHome Case Study Material.

Thomas B. Hilburn, Massood Towhidnejad, Salamah Salamah

Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008

2007

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Verification of Automatically Generated Pattern-Based LTL Specifications.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach

Proceedings of the Automated Technology for Verification and Analysis, 2007

2005

Verifying Pattern-Generated LTL Formulas: A Case Study.

Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon

Proceedings of the Model Checking Software, 2005