BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Salamah:Salamah

Contributed to:

SEKE 20122012
CSEE&T 20112011
SEKE 20092009
CSEE&T 20082008
SEKE 20082008
SEKE 20072007

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.