Travelled to:5 × USA
Collaborated with:A.Q.Gates T.B.Hilburn M.Towhidnejad O.Ochoa S.Roach M.Engskow L.García V.Kreinovich M.D.Buono E.Baily S.Printy D.Ferris L.Christian I.Gallegos C.Vela
Talks about:specif (5) properti (3) techniqu (2) pattern (2) generat (2) formal (2) tool (2) base (2) use (2) ltl (2)
Person: Salamah Salamah
DBLP: Salamah:Salamah
Contributed to:
2012
20112009200820082007Wrote 8 papers:
- SEKE-2012-SalamahEO #automaton #consistency #ltl #using
- Consistency Checks of System Properties Using LTL and Büchi Automata (SS, ME, OO), pp. 39–44.
- CSEET-2011-HilburnTS
- Read before you write (TBH, MT, SS), pp. 371–380.
- SEKE-2009-SalamahBBPFC #specification #tool support #validation
- Enhancing Property Specification Tools With Validation Techniques (SS, MDB, EB, SP, DF, LC), pp. 487–492.
- CSEET-2008-HilburnTS #case study
- The DigitalHome Case Study Material (TBH, MT, SS), pp. 279–280.
- CSEET-2008-SalamahG #education #model checking #specification #using
- A Technique for Using Model Checkers to Teach Formal Specifications (SS, AQG), pp. 181–188.
- SEKE-2008-GallegosOGRSV #generative #specification
- A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
- SEKE-2008-GarciaRS #automation #ltl #named #verification
- PROTEF: Automatic Verification of Pattern-Based LTL Templates (LG, SR, SS), pp. 261–266.
- SEKE-2007-SalamahKG #generative #linear #logic #specification
- Generating Linear Temporal Logic Formulas for Pattern-Based Specifications (SS, VK, AQG), pp. 422–427.