Sarmen Keshishzadeh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2014
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SEFM | Formalizing DSL Semantics for Reasoning and Conformance Testing. | Sarmen Keshishzadeh, Arjan J. Mooij |
| 2013 | SEFM | Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. | Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi |
| 2012 | SAC | A Bchi automata based model checking framework for reo connectors. | Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar |