Amirhossein Vakili
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FM | Finite Model Finding Using the Logic of Equality with Uninterpreted Functions. | Amirhossein Vakili, Nancy A. Day |
| 2016 | ICSE | Representing hierarchical state machine models in SMT-LIB. | Nancy A. Day, Amirhossein Vakili |
| 2014 | FMCAD | Reducing CTL-live model checking to first-order logic validity checking. | Amirhossein Vakili, Nancy A. Day |
| 2012 | ICSE | Avestan: a declarative modeling language based on SMT-LIB. | Amirhossein Vakili, Nancy A. Day |