Follow
Ali Safilian
Ali Safilian
Verified email at mcmaster.ca - Homepage
Title
Cited by
Cited by
Year
Modeling product lines with kripke structures and modal logic
Z Diskin, A Safilian, T Maibaum, S Ben-David
International Colloquium on Theoretical Aspects of Computing, 184-202, 2015
82015
An Approximation Algorithm for the Subpath Planning Problem.
M Safilian, SM Hashemi, S Eghbali, A Safilian
IJCAI, 669-675, 2016
72016
The semantics of cardinality-based feature models via formal languages
A Safilian, T Maibaum, Z Diskin
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
62015
Hierarchical multiset theories of cardinality-based feature diagrams
A Safilian, T Maibaum
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
22016
An approximation approach for solving the subpath planning problem
M Safilian, SM Tashakkori, S Eghbali, A Safilian
arXiv preprint arXiv:1603.06217, 2016
22016
Faithful modeling of product lines with kripke structures and modal logic
Z Diskin, A Safilian, T Maibaum, S Ben-David
Scientific Annals of Computer Science 26 (1), 69, 2016
22016
Two new degrees based on enumeration orders and their equivalency relations
AA Safilian, F Didehvar
6th International Conference of Computability, Complexity, and Randomness, 2011
22011
A theoretical framework for cardinality-based feature models: The semantics and computational aspects
A Safilian, T Maibaum, Z Diskin
Journal of Logical and Algebraic Methods in Programming 97, 30-54, 2018
12018
Multiset theories of cardinality-based feature diagrams
A Safilian, T Maibaum
arXiv preprint arXiv:1601.06242, 2016
12016
Relation between the Usual Order and the Enumeration Orders of Elements of re Sets
AA Safilian, F Didehvar
arXiv preprint arXiv:0904.3607, 2009
12009
Geographic routing in presence of the loss in wireless sensor networks
E Ghadimi, N Yazdani, AA Safilian
2008 International Symposium on Telecommunications, 359-364, 2008
12008
The semantics of feature models via formal languages (extended version)
A Safilian, T Maibaum, Z Diskin
GSDLab TR 2014-08-02), 08/2014 2014, 0
1
BEHAVIOURAL FOUNDATIONS OF FEATURE MODELING
A Safilian
2016
Two New Reducibilities Based on Enumeration Orders
S Aliakbar, D Farzad
TURING, 119, 2012
2012
Scientific Annals
Z Diskin, A Safilian, T Maibaum, S Ben-David
Probabilistic Roadmap Planner with Adaptive Sampling Based on Clustering
M Safilian, S Eghbali, A Safilian, A Nouri
The system can't perform the operation now. Try again later.
Articles 1–16