Sarmen Keshishzadeh

According to our database, Sarmen Keshishzadeh authored at least 8 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Formalizing and testing the consistency of DSL transformations.

Sarmen Keshishzadeh, Arjan J. Mooij

Formal Aspects Comput., 2016

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts.

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

2015

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations.

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

CoRR, 2015

Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness.

Sarmen Keshishzadeh, Jan Friso Groote

CoRR, 2015

2014

Formalizing DSL Semantics for Reasoning and Conformance Testing.

Sarmen Keshishzadeh, Arjan J. Mooij

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging.

Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Analysis of Path Planning Algorithms: a Formal Verification-based Approach.

Arash Khabbaz Saberi, Jan Friso Groote, Sarmen Keshishzadeh

Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

2012

A Büchi automata based model checking framework for reo connectors.

Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar

Proceedings of the ACM Symposium on Applied Computing, 2012