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: Keshishzadeh:Sarmen
Contributed to:
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.