A Büchi automata based model checking framework for reo connectors. - Sarmen Keshishzadeh; Mohammad Izadi; Ali Movaghar 001 (SAC, 2012)

Analysis of Path Planning Algorithms: a Formal Verification-based Approach. - Arash Khabbaz Saberi; Jan Friso Groote; Sarmen Keshishzadeh (ECAL, 2013)

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. - Sarmen Keshishzadeh; Arjan J. Mooij; Mohammad Reza Mousavi 001 (SEFM, 2013)

Formalizing DSL Semantics for Reasoning and Conformance Testing. - Sarmen Keshishzadeh; Arjan J. Mooij (SEFM, 2014)

Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness. - Sarmen Keshishzadeh; Jan Friso Groote (CoRR, 2015)

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations. - Sarmen Keshishzadeh; Arjan J. Mooij; Jozef Hooman (CoRR, 2015)

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. - Sarmen Keshishzadeh; Arjan J. Mooij; Jozef Hooman (FESCA@ETAPS, 2016)

Formalizing and testing the consistency of DSL transformations. - Sarmen Keshishzadeh; Arjan J. Mooij (Formal Aspects Comput., 2016)