Bahman Zamani

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 43

Top Topics

Modeling Language

Semantic Interoperability

Product Line Engineering

Top Venues

Softw. Syst. Model.

J. Comput. Lang.

Softw. Pract. Exp.

Publications

Samaneh Hoseindoost, Afsaneh Fatemi, Bahman Zamani
An executable domain-specific modeling language for simulating organizational auction-based coordination strategies for crisis response. Simul. Model. Pract. Theory 131 (2024)
Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani
A comprehensive framework for inter-app ICC security analysis of Android apps. Autom. Softw. Eng. 31 (2) (2024)
Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
Maaker: A framework for detecting and defeating evasion techniques in Android malware. J. Inf. Secur. Appl. 78 (2023)
Zohreh Hashemian, Bahman Zamani, Mansour Adibi
Leveraging Model Driven Techniques for Designing Web-GIS Systems. CSICC (2023)
Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani, Jacques Klein, Tegawendé F. Bissyandé
A model-based framework for inter-app Vulnerability analysis of Android applications. Softw. Pract. Exp. 53 (4) (2023)
Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé
Conflict management techniques for model merging: a systematic mapping review. Softw. Syst. Model. 22 (3) (2023)
Hamed Barangi, Shekoufeh Kolahdouz Rahimi, Bahman Zamani, Hossein Moradi
An Ontology-based Approach to Facilitate Semantic Interoperability of Context-Aware Systems. CSICC (2023)
Mahdi Banisharif, Arman Mazloumzadeh, Mohammadreza Sharbaf, Bahman Zamani
Automatic Generation of Business Intelligence Chatbot for Organizations. CSICC (2022)
Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani
A Model-Based Approach for Representing Data Sharing Mechanism in Android Applications. CSICC (2022)
Maryam Mehrabi, Bahman Zamani, Abdelwahab Hamou-Lhadj
HealMA: a model-driven framework for automatic generation of IoT-based Android health monitoring applications. Autom. Softw. Eng. 29 (2) (2022)
Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani
Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. CoRR (2022)
Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé
Automatic resolution of model merging conflicts using quality-based reinforcement learning. J. Comput. Lang. 71 (2022)
Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani
Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. ISC Int. J. Inf. Secur. 14 (3) (2022)
Mohammad-Sajad Kasaei, Mohammadreza Sharbaf, Bahman Zamani
Towards a Formalism for Specifying N-way Model Merging Rules. CSICC (2022)
Alireza Khalilian, Ahmad Baraani-Dastjerdi, Bahman Zamani
CGenProg: Adaptation of cartesian genetic programming with migration and opposite guesses for automatic repair of software regression faults. Expert Syst. Appl. 169 (2021)
Mohammadali Gharaat, Mohammadreza Sharbaf, Bahman Zamani, Abdelwahab Hamou-Lhadj
ALBA: a model-driven framework for the automatic generation of android location-based apps. Autom. Softw. Eng. 28 (1) (2021)
Hasan Deeb, Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
A machine learning approach for detecting and categorizing evasion sources in Android malware. ISCISC (2021)
Mahsa Panahandeh, Mohammad Hamdaqa, Bahman Zamani, Abdelwahab Hamou-Lhadj
MUPPIT: a method for using proper patterns in model transformations. Softw. Syst. Model. 20 (5) (2021)
Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
Curious-Monkey: Evolved Monkey for Triggering Malicious Payloads in Android Malware. ISC Int. J. Inf. Secur. 13 (2) (2021)
Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
MEGDroid: A model-driven event generation framework for dynamic android malware analysis. Inf. Softw. Technol. 135 (2021)
Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé
Towards Personalized Change Propagation for Collaborative Modeling. MoDELS (Companion) (2021)
Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
Enhancing Monkey to trigger malicious payloads in Android malware. ISCISC (2020)
Banafsheh Azizi, Bahman Zamani, Shekoufeh Kolahdouz Rahimi
SEET: Symbolic Execution of ETL Transformations. J. Syst. Softw. 168 (2020)
Hossein Moradi, Bahman Zamani, Kamran Zamanifar
CaaSSET: A Framework for Model-Driven Development of Context as a Service. Future Gener. Comput. Syst. 105 (2020)
Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé
A Formalism for Specifying Model Merging Conflicts. SAM (2020)
Fazilat Hojaji, Bahman Zamani, Abdelwahab Hamou-Lhadj, Tanja Mayerhofer, Erwan Bousse
Lossless compaction of model execution traces. Softw. Syst. Model. 19 (1) (2020)
Alireza Khalilian, Ahmad Baraani-Dastjerdi, Bahman Zamani
APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools. J. Comput. Lang. 57 (2020)
Mohammadreza Sharbaf, Bahman Zamani
Configurable three-way model merging. Softw. Pract. Exp. 50 (8) (2020)
Amirabbas Majd, Mojtaba Vahidi-Asl, Alireza Khalilian, Ahmad Baraani-Dastjerdi, Bahman Zamani
Code4Bench: A multidimensional benchmark of Codeforces data for different program analysis techniques. J. Comput. Lang. 53 (2019)
Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz Rahimi
Leveraging product line engineering for the development of domain-specific metamodeling languages. J. Comput. Lang. 51 (2019)
Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani
VAnDroid: A framework for vulnerability analysis of Android applications using a model-driven reverse engineering technique. Softw. Pract. Exp. 49 (1) (2019)
Samaneh Hoseindoost, Tahereh Adamzadeh, Bahman Zamani, Afsaneh Fatemi
A model-driven framework for developing multi-agent systems in emergency response environments. Softw. Syst. Model. 18 (3) (2019)
Fazilat Hojaji, Tanja Mayerhofer, Bahman Zamani, Abdelwahab Hamou-Lhadj, Erwan Bousse
Model execution tracing: a systematic mapping study. Softw. Syst. Model. 18 (6) (2019)
Samaneh Hoseindoost, Meysam Karimi, Shekoufeh Kolahdouz Rahimi, Bahman Zamani
Solving the Quality-based Software-Selection and Hardware-Mapping Problem with ACO. TTC@STAF (2018)
Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz Rahimi
EVL+Strace: a novel bidirectional model transformation approach. Inf. Softw. Technol. 100 (2018)
Bahman Zamani, Shiva Rasoulzadeh
A Domain Specific Modeling Language for Enterprise Application Development. Int. J. Inf. Technol. Syst. Approach 11 (2) (2018)
Marzieh Safarzadeh, Mahboubeh Taghizadeh, Bahman Zamani, Behrouz Tork Ladani
An automatic test case generator for evaluating implementation of access control policies. ISC Int. J. Inf. Secur. 9 (1) (2017)
Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz Rahimi
Solving the Families to Persons Case Using EVL+Strace. TTC@STAF (2017)
Mohammadreza Sharbaf, Shekoufeh Kolahdouz Rahimi, Bahman Zamani
Solving the State Elimination Case Study Using Epsilon. TTC@STAF (2017)
Mahsa Sadat Panahandeh, Bahman Zamani
Automatic Pattern Proposition in Transformation Life Cycle. Int. J. Inf. Technol. Syst. Approach 10 (2) (2017)
Alireza Rouhi, Bahman Zamani
A model-based framework for automatic generation of a pattern language verifier. Softw. Pract. Exp. 47 (12) (2017)
Leila Samimi-Dehkordi, Alireza Khalilian, Bahman Zamani
Applying Programming Language Evaluation Criteria for Model Transformation Languages. Int. J. Softw. Informatics 10 (4) (2016)
Alireza Rouhi, Bahman Zamani
Towards a formal model of patterns and pattern languages. Inf. Softw. Technol. 79 (2016)
Bahman Zamani, Greg Butler
Pattern Language Verification in Model Driven Design. Inf. Sci. 237 (2013)
Bahman Zamani, Greg Butler
Describing Pattern Languages for Checking Design Models. APSEC (2009)
Bahman Zamani, Greg Butler, Sahar Kayhani
Tool Support for Pattern Selection and Use. Electron. Notes Theor. Comput. Sci. 233 (2009)
Bahman Zamani, Sahar Kayhani, Greg Butler
A Pattern Language Verifier for Web-Based Enterprise Applications. MoDELS (2008)