BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Spain
Collaborated with:
A.J.Mooij M.R.Mousavi M.Izadi A.Movaghar
Talks about:
framework (1) connector (1) automata (1) conform (1) semant (1) reason (1) formal (1) detect (1) model (1) fault (1)

Person: Sarmen Keshishzadeh

DBLP DBLP: Keshishzadeh:Sarmen

Contributed to:

SEFM 20142014
SEFM 20132013
SAC 20122012

Wrote 3 papers:

SEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics #testing
Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
SEFM-2013-KeshishzadehMM #automation #debugging #detection #domain-specific language #fault #smt #using
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging (SK, AJM, MRM), pp. 182–196.
SAC-2012-KeshishzadehIM #automaton #framework #model checking
A Büchi automata based model checking framework for reo connectors (SK, MI, AM), pp. 1536–1543.

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.