Ali Abbassi

According to our database, Ali Abbassi authored at least 3 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Transitive-closure-based model checking (TCMC) in Alloy.

Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi

Softw. Syst. Model., 2020

2019

Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB.

Ali Abbassi, Nancy A. Day, Derek Rayside

CoRR, 2019

2018

A Comparison of the Declarative Modelling Languages B, Dash, and TLA⁺.

Ali Abbassi, Amin Bandali, Nancy A. Day, José Serna

Proceedings of the 8th IEEE International Model-Driven Requirements Engineering Workshop, 2018