Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Salamah Salamah

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Salamah Salamah

download as .bib file

@inproceedings{DBLP:conf/milcom/ReyesATS19,
  author       = {David Reyes and
                  Jaime C. Acosta and
                  Adriana Escobar De La Torre and
                  Salamah Salamah},
  title        = {A System for Analyzing Diversified Software Binaries},
  booktitle    = {2019 {IEEE} Military Communications Conference, {MILCOM} 2019, Norfolk,
                  VA, USA, November 12-14, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/MILCOM47813.2019.9021083},
  doi          = {10.1109/MILCOM47813.2019.9021083},
  timestamp    = {Thu, 19 Mar 2020 08:47:16 +0100},
  biburl       = {https://dblp.org/rec/conf/milcom/ReyesATS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fie/OchoaRTS18,
  author       = {Omar Ochoa and
                  Miralda Rodney and
                  Massood Towhidnejad and
                  Salamah Salamah},
  title        = {Investigating the Benefits of Introducing Process-Oriented Life Cycle
                  Development Models to Improve Students Appreciation for Agile Methods},
  booktitle    = {{IEEE} Frontiers in Education Conference, {FIE} 2018, San Jose, CA,
                  USA, October 3-6, 2018},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FIE.2018.8658426},
  doi          = {10.1109/FIE.2018.8658426},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/fie/OchoaRTS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/milcom/AcostaMFS17,
  author       = {Jaime C. Acosta and
                  Joshua McKee and
                  Alexander Fielder and
                  Salamah Salamah},
  title        = {A platform for evaluator-centric cybersecurity training and data acquisition},
  booktitle    = {2017 {IEEE} Military Communications Conference, {MILCOM} 2017, Baltimore,
                  MD, USA, October 23-25, 2017},
  pages        = {394--399},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/MILCOM.2017.8170768},
  doi          = {10.1109/MILCOM.2017.8170768},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/milcom/AcostaMFS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/AcostaS16,
  author       = {Jaime C. Acosta and
                  Salamah Salamah},
  editor       = {Radu F. Babiceanu and
                  H{\'{e}}l{\`{e}}ne Waeselynck and
                  Raymond A. Paul and
                  Bojan Cukic and
                  Jie Xu},
  title        = {An Analysis Platform for Execution-Based Model Generation},
  booktitle    = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
                  {HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
  pages        = {246--247},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/HASE.2016.12},
  doi          = {10.1109/HASE.2016.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/AcostaS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fie/OchoaS15,
  author       = {Omar Ochoa and
                  Salamah Salamah},
  title        = {An approach to enhance students' competency in software verification
                  techniques},
  booktitle    = {2015 {IEEE} Frontiers in Education Conference, {FIE} 2015, El Paso,
                  TX, USA, October 21-24, 2015},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/FIE.2015.7344050},
  doi          = {10.1109/FIE.2015.7344050},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fie/OchoaS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/SalamahOJ15,
  author       = {Salamah Salamah and
                  Omar Ochoa and
                  Yadira Jacquez},
  title        = {Using Pairwise Testing to Verify Automatically-Generated Formal Specifications},
  booktitle    = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
                  {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
  pages        = {279--280},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/HASE.2015.46},
  doi          = {10.1109/HASE.2015.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/SalamahOJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fie/TowhidnejadHS14,
  author       = {Massood Towhidnejad and
                  Thomas B. Hilburn and
                  Salamah Salamah},
  title        = {Transforming engineering and science education through active learning},
  booktitle    = {{IEEE} Frontiers in Education Conference, {FIE} 2014, Proceedings,
                  Madrid, Spain, October 22-25, 2014},
  pages        = {1--5},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/FIE.2014.7044127},
  doi          = {10.1109/FIE.2014.7044127},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fie/TowhidnejadHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jss/SalamahGK12,
  author       = {Salamah Salamah and
                  Ann Q. Gates and
                  Vladik Kreinovich},
  title        = {Validated templates for specification of complex {LTL} formulas},
  journal      = {J. Syst. Softw.},
  volume       = {85},
  number       = {8},
  pages        = {1915--1929},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jss.2012.02.041},
  doi          = {10.1016/J.JSS.2012.02.041},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/SalamahGK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itaero/StansburyTSB12,
  author       = {Richard S. Stansbury and
                  Massood Towhidnejad and
                  Salamah Salamah and
                  William C. Barott},
  title        = {Developing an Air/Ground Robots for Disaster Response as a Project
                  for a Senior Capstone Design Course},
  booktitle    = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
                  2012},
  year         = {2012},
  url          = {https://doi.org/10.2514/6.2012-2524},
  doi          = {10.2514/6.2012-2524},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itaero/StansburyTSB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/SalamahEO12,
  author       = {Salamah Salamah and
                  Matthew Engskow and
                  Omar Ochoa},
  title        = {Consistency Checks of System Properties Using {LTL} and B{\"{u}}chi
                  Automata},
  booktitle    = {Proceedings of the 24th International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
                  City, San Francisco Bay, {USA} July 1-3, 2012},
  pages        = {39--44},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2012},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SalamahEO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/advse/SalamahGRE11,
  author       = {Salamah Salamah and
                  Ann Q. Gates and
                  Steve Roach and
                  Matthew Engskow},
  title        = {Towards Support for Software Model Checking: Improving the Efficiency
                  of Formal Specifications},
  journal      = {Adv. Softw. Eng.},
  volume       = {2011},
  pages        = {869182:1--869182:13},
  year         = {2011},
  url          = {https://doi.org/10.1155/2011/869182},
  doi          = {10.1155/2011/869182},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/advse/SalamahGRE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csee/HilburnTS11,
  author       = {Thomas B. Hilburn and
                  Massood Towhidnejad and
                  Salamah Salamah},
  editor       = {J. Barrie Thompson and
                  Emily Oh Navarro and
                  Dan Port},
  title        = {Read before you write},
  booktitle    = {24th {IEEE-CS} Conference on Software Engineering Education and Training,
                  CSEE{\&}T 2011, May 22-24, 2011, Waikiki, Honolulu, HI, USA, Proceedings},
  pages        = {371--380},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CSEET.2011.5876108},
  doi          = {10.1109/CSEET.2011.5876108},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/HilburnTS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fie/SalamahTH11,
  author       = {Salamah Salamah and
                  Massood Towhidnejad and
                  Thomas B. Hilburn},
  title        = {Developing case modules for teaching software engineering and computer
                  science concepts},
  booktitle    = {2011 Frontiers in Education Conference, {FIE} 2011, Rapid City, SD,
                  USA, October 12-15, 2011},
  pages        = {1},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/FIE.2011.6142909},
  doi          = {10.1109/FIE.2011.6142909},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fie/SalamahTH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/SalamahBBPFC09,
  author       = {Salamah Salamah and
                  Matthew Del Buono and
                  Eric Baily and
                  Sarah Printy and
                  Derek Ferris and
                  Laurel Christian},
  title        = {Enhancing Property Specification Tools With Validation Techniques},
  booktitle    = {Proceedings of the 21st International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2009), Boston, Massachusetts,
                  USA, July 1-3, 2009},
  pages        = {487--492},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2009},
  timestamp    = {Thu, 12 Mar 2020 11:30:49 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SalamahBBPFC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csee/SalamahG08,
  author       = {Salamah Salamah and
                  Ann Q. Gates},
  editor       = {Hossein Saiedian and
                  Laurie A. Williams},
  title        = {A Technique for Using Model Checkers to Teach Formal Specifications},
  booktitle    = {Proceedings 21st Conference on Software Engineering Education and
                  Training, {CSEET} 2008, 14-17 April 2008, Charleston, South Carolina,
                  {USA}},
  pages        = {181--188},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CSEET.2008.25},
  doi          = {10.1109/CSEET.2008.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/SalamahG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csee/HilburnTS08,
  author       = {Thomas B. Hilburn and
                  Massood Towhidnejad and
                  Salamah Salamah},
  editor       = {Hossein Saiedian and
                  Laurie A. Williams},
  title        = {The DigitalHome Case Study Material},
  booktitle    = {Proceedings 21st Conference on Software Engineering Education and
                  Training, {CSEET} 2008, 14-17 April 2008, Charleston, South Carolina,
                  {USA}},
  pages        = {279--280},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CSEET.2008.43},
  doi          = {10.1109/CSEET.2008.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/HilburnTS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itng/SalamahGR08,
  author       = {Salamah Salamah and
                  Ann Q. Gates and
                  Steve Roach},
  editor       = {Shahram Latifi},
  title        = {Improving Pattern-Based {LTL} Formulas for Automata Model Checking},
  booktitle    = {Fifth International Conference on Information Technology: New Generations
                  {(ITNG} 2008), 7-8 April 2008, Las Vegas, Nevada, {USA}},
  pages        = {9--14},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ITNG.2008.228},
  doi          = {10.1109/ITNG.2008.228},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/SalamahGR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/GarciaRS08,
  author       = {Luis Garc{\'{\i}}a and
                  Steve Roach and
                  Salamah Salamah},
  title        = {{PROTEF:} Automatic Verification of Pattern-Based {LTL} Templates},
  booktitle    = {Proceedings of the Twentieth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
                  CA, USA, July 1-3, 2008},
  pages        = {261--266},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2008},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/GarciaRS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/GallegosOGRSV08,
  author       = {Irbis Gallegos and
                  Omar Ochoa and
                  Ann Q. Gates and
                  Steve Roach and
                  Salamah Salamah and
                  Corina Vela},
  title        = {A Property Specification Tool for Generating Formal Specifications:
                  Prospec 2.0},
  booktitle    = {Proceedings of the Twentieth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
                  CA, USA, July 1-3, 2008},
  pages        = {273--278},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2008},
  timestamp    = {Fri, 12 Sep 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/GallegosOGRSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setp/SalamahGO08,
  author       = {Salamah Salamah and
                  Irbis Gallegos and
                  Omar Ochoa},
  editor       = {M. A. Karim Sadiq and
                  Haiping Xu and
                  Jaroslav Zendulka and
                  Adegboyega K. Ojo},
  title        = {A Novel Approach for Software Property Validation},
  booktitle    = {International Conference on Software Engineering Theory and Practice,
                  SETP-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {173--178},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Fri, 15 Aug 2008 13:37:31 +0200},
  biburl       = {https://dblp.org/rec/conf/setp/SalamahGO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/SalamahGKR07,
  author       = {Salamah Salamah and
                  Ann Q. Gates and
                  Vladik Kreinovich and
                  Steve Roach},
  editor       = {Kedar S. Namjoshi and
                  Tomohiro Yoneda and
                  Teruo Higashino and
                  Yoshio Okamura},
  title        = {Using Patterns and Composite Propositions to Automate the Generation
                  of {LTL} Specifications},
  booktitle    = {Automated Technology for Verification and Analysis, 5th International
                  Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4762},
  pages        = {533--542},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75596-8\_38},
  doi          = {10.1007/978-3-540-75596-8\_38},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/SalamahGKR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/SalamahGKR07,
  author       = {Salamah Salamah and
                  Ann Q. Gates and
                  Vladik Kreinovich and
                  Steve Roach},
  title        = {Verification of Automatically Generated Pattern-Based {LTL} Specifications},
  booktitle    = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
                  {(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
  pages        = {341--348},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/HASE.2007.37},
  doi          = {10.1109/HASE.2007.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/SalamahGKR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/SalamahKG07,
  author       = {Salamah Salamah and
                  Vladik Kreinovich and
                  Ann Q. Gates},
  title        = {Generating Linear Temporal Logic Formulas for Pattern-Based Specifications},
  booktitle    = {Proceedings of the Nineteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
                  USA, July 9-11, 2007},
  pages        = {422--427},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2007},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SalamahKG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/SalamahGRM05,
  author       = {Salamah Salamah and
                  Ann Q. Gates and
                  Steve Roach and
                  Oscar Mondragon},
  editor       = {Patrice Godefroid},
  title        = {Verifying Pattern-Generated {LTL} Formulas: {A} Case Study},
  booktitle    = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
                  CA, USA, August 22-24, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3639},
  pages        = {200--220},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11537328\_17},
  doi          = {10.1007/11537328\_17},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/SalamahGRM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.