Alireza S. Abyaneh

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 2

Top Topics

Computer Programs

Pattern Matching

Relational Databases

Top Venues

Principles of Modeling

Publications

Alireza S. Abyaneh, Christoph M. Kirsch
ASE: A Value Set Decision Procedure for Symbolic Execution. ASE (2021)
Alireza S. Abyaneh, Christoph M. Kirsch
You Can Program What You Want but You Cannot Compute What You Want. Principles of Modeling (2018)