We stand with Ukraine  

Amirhossein Vakili

Affiliations:
  • University of Waterloo, Ontario, Canada


According to our database1, Amirhossein Vakili authored at least 11 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding.
[BibTeX]
[DOI]
Joseph Poremba
,
Nancy A. Day
,
Amirhossein Vakili
IEEE Trans. Software Eng., June, 2023

2020
Transitive-closure-based model checking (TCMC) in Alloy.
[BibTeX]
[DOI]
Sabria Farheen
,
Nancy A. Day
,
Amirhossein Vakili
,
Ali Abbassi
Softw. Syst. Model., 2020

2016
Temporal Logic Model Checking as Automated Theorem Proving.
[BibTeX]
[DOI]
Amirhossein Vakili
PhD thesis, 2016

Representing hierarchical state machine models in SMT-LIB.
[BibTeX]
[DOI]
Nancy A. Day
,
Amirhossein Vakili
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Finite Model Finding Using the Logic of Equality with Uninterpreted Functions.
[BibTeX]
[DOI]
Amirhossein Vakili
,
Nancy A. Day
Proceedings of the FM 2016: Formal Methods, 2016

2014
Verifying CTL-live properties of infinite state models using an SMT solver.
[BibTeX]
[DOI]
Amirhossein Vakili
,
Nancy A. Day
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Reducing CTL-live model checking to first-order logic validity checking.
[BibTeX]
[DOI]
Amirhossein Vakili
,
Nancy A. Day
Proceedings of the Formal Methods in Computer-Aided Design, 2014

2012
Avestan: a declarative modeling language based on SMT-LIB.
[BibTeX]
[DOI]
Amirhossein Vakili
,
Nancy A. Day
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Temporal Logic Model Checking in Alloy.
[BibTeX]
[DOI]
Amirhossein Vakili
,
Nancy A. Day
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
Using model checking to analyze static properties of declarative models.
[BibTeX]
[DOI]
Amirhossein Vakili
,
Nancy A. Day
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Analyzing temporal properties of abstract models.
[BibTeX]
[DOI]
Amirhossein Vakili
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011


  Loading...