Aliakbar Safilian

According to our database, Aliakbar Safilian authored at least 8 papers between 2015 and 2018.

Collaborative distances:

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

2018

A theoretical framework for cardinality-based feature models: The semantics and computational aspects.

Aliakbar Safilian, Tom Maibaum, Zinovy Diskin

J. Log. Algebraic Methods Program., 2018

2016

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic.

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David

Sci. Ann. Comput. Sci., 2016

An Approximation Approach for Solving the Subpath Planning Problem.

Masoud Safilian, S. Mehdi Tashakkori, Sepehr Eghbali, Aliakbar Safilian

CoRR, 2016

Multiset Theories of Cardinality-based Feature Diagrams.

Aliakbar Safilian, Tom Maibaum

CoRR, 2016

Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams.

Aliakbar Safilian, Tom Maibaum

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

An Approximation Algorithm for the Subpath Planning Problem.

Masoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali, Aliakbar Safilian

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Modeling Product Lines with Kripke Structures and Modal Logic.

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

The Semantics of Cardinality-Based Feature Models via Formal Languages.

Aliakbar Safilian, Tom Maibaum, Zinovy Diskin

Proceedings of the FM 2015: Formal Methods, 2015