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 | 8 | 2015 |
An Approximation Algorithm for the Subpath Planning Problem. M Safilian, SM Hashemi, S Eghbali, A Safilian IJCAI, 669-675, 2016 | 7 | 2016 |
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 | 6 | 2015 |
Hierarchical multiset theories of cardinality-based feature diagrams A Safilian, T Maibaum 2016 10th International Symposium on Theoretical Aspects of Software …, 2016 | 2 | 2016 |
An approximation approach for solving the subpath planning problem M Safilian, SM Tashakkori, S Eghbali, A Safilian arXiv preprint arXiv:1603.06217, 2016 | 2 | 2016 |
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 | 2 | 2016 |
Two new degrees based on enumeration orders and their equivalency relations AA Safilian, F Didehvar 6th International Conference of Computability, Complexity, and Randomness, 2011 | 2 | 2011 |
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 | 1 | 2018 |
Multiset theories of cardinality-based feature diagrams A Safilian, T Maibaum arXiv preprint arXiv:1601.06242, 2016 | 1 | 2016 |
Relation between the Usual Order and the Enumeration Orders of Elements of re Sets AA Safilian, F Didehvar arXiv preprint arXiv:0904.3607, 2009 | 1 | 2009 |
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 | 1 | 2008 |
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 | | |