Sarmen Keshishzadeh
Title
Cited by
Cited by
Year
Analysis of path planning algorithms: a formal verification-based approach
A Saberi, J Groote, S Keshishzadeh
Artificial Life Conference Proceedings 13, 232-239, 2013
142013
Early fault detection in DSLs using SMT solving and automated debugging
S Keshishzadeh, AJ Mooij, MR Mousavi
International Conference on Software Engineering and Formal Methods, 182-196, 2013
72013
Formalizing and testing the consistency of DSL transformations
S Keshishzadeh, AJ Mooij
Formal Aspects of Computing 28 (2), 181-206, 2016
32016
Formalizing DSL semantics for reasoning and conformance testing
S Keshishzadeh, AJ Mooij
International Conference on Software Engineering and Formal Methods, 81-95, 2014
32014
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations
S Keshishzadeh, AJ Mooij, J Hooman
http://arxiv.org/abs/1511.08049, 2015
22015
Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness
S Keshishzadeh, JF Groote
International Conference on Computability and Complexity in Analysis 13, 24-26, 2016
12016
Formal Analysis and Verification of Embedded Systems for Healthcare
S Keshishzadeh
Eindhoven University of Technology, 2016
12016
Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness
S Keshishzadeh, JF Groote
http://arxiv.org/abs/1509.06265, 2015
12015
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts
S Keshishzadeh, AJ Mooij, J Hooman
arXiv preprint arXiv:1603.08633, 2016
2016
Exact real arithmetic with perturbation analysis and proof of correctness
JF Groote, S Keshishzadeh
Proceedings Thirteenth International Conference on Computability and …, 2016
2016
A Büchi automata based model checking framework for reo connectors
S Keshishzadeh, M Izadi, A Movaghar
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1536-1543, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–11