Amirhossein Vakili

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 4

Top Topics

Pspace Complete

Formal Specification

Top Venues

Softw. Syst. Model.

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Joseph Poremba, Nancy A. Day, Amirhossein Vakili
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding. IEEE Trans. Software Eng. 49 (6) (2023)
Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi
Transitive-closure-based model checking (TCMC) in Alloy. Softw. Syst. Model. 19 (3) (2020)
Nancy A. Day, Amirhossein Vakili
Representing hierarchical state machine models in SMT-LIB. MiSE@ICSE (2016)
Amirhossein Vakili, Nancy A. Day
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions. FM (2016)
Amirhossein Vakili, Nancy A. Day
Reducing CTL-live model checking to first-order logic validity checking. FMCAD (2014)
Amirhossein Vakili, Nancy A. Day
Verifying CTL-live properties of infinite state models using an SMT solver. SIGSOFT FSE (2014)
Amirhossein Vakili, Nancy A. Day
Avestan: a declarative modeling language based on SMT-LIB. MiSE (2012)
Amirhossein Vakili, Nancy A. Day
Temporal Logic Model Checking in Alloy. ABZ (2012)
Amirhossein Vakili
Analyzing temporal properties of abstract models. ASE (2011)
Amirhossein Vakili, Nancy A. Day
Using model checking to analyze static properties of declarative models. ASE (2011)