Sarmen Keshishzadeh

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 4

Top Topics

Path Planning Algorithm

Formal Verification

Highly Expressive

Model Theoretic

Top Venues

Formal Aspects Comput.

Publications

Sarmen Keshishzadeh, Arjan J. Mooij
Formalizing and testing the consistency of DSL transformations. Formal Aspects Comput. 28 (2) (2016)
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. FESCA@ETAPS (2016)
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations. CoRR (2015)
Sarmen Keshishzadeh, Jan Friso Groote
Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness. CoRR (2015)
Sarmen Keshishzadeh, Arjan J. Mooij
Formalizing DSL Semantics for Reasoning and Conformance Testing. SEFM (2014)
Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. SEFM (2013)
Arash Khabbaz Saberi, Jan Friso Groote, Sarmen Keshishzadeh
Analysis of Path Planning Algorithms: a Formal Verification-based Approach. ECAL (2013)
Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar
A Büchi automata based model checking framework for reo connectors. SAC (2012)