| Analysis of path planning algorithms: a formal verification-based approach A Saberi, J Groote, S Keshishzadeh Artificial Life Conference Proceedings, 232-239, 2013 | 18 | 2013 |
| 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 | 12 | 2013 |
| Formalizing and testing the consistency of DSL transformations S Keshishzadeh, AJ Mooij Formal Aspects of Computing 28, 181-206, 2016 | 6 | 2016 |
| 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 | 3 | 2015 |
| Formalizing DSL semantics for reasoning and conformance testing S Keshishzadeh, AJ Mooij Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 3 | 2014 |
| 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 | 1 | 2016 |
| Formal Analysis and Verification of Embedded Systems for Healthcare S Keshishzadeh Eindhoven University of Technology, 2016 | 1 | 2016 |
| Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness S Keshishzadeh, JF Groote http://arxiv.org/abs/1509.06265, 2015 | 1 | 2015 |
| 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 | 1 | 2012 |
| 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 |
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
