A Pattern Language Verifier for Web-Based Enterprise Applications. - Bahman Zamani; Sahar Kayhani; Greg Butler (MoDELS, 2008)

Tool Support for Pattern Selection and Use. - Bahman Zamani; Greg Butler; Sahar Kayhani (SQM@CSMR, 2008)

Describing Pattern Languages for Checking Design Models. - Bahman Zamani; Greg Butler (APSEC, 2009)

Pattern Language Verification in Model Driven Design. - Bahman Zamani; Greg Butler (Inf. Sci., 2013)

Applying Programming Language Evaluation Criteria for Model Transformation Languages. - Leila Samimi-Dehkordi; Alireza Khalilian 001; Bahman Zamani (Int. J. Softw. Informatics, 2016)

Towards a formal model of patterns and pattern languages. - Alireza Rouhi; Bahman Zamani (Inf. Softw. Technol., 2016)

Solving the Families to Persons Case Using EVL+Strace. - Leila Samimi-Dehkordi; Bahman Zamani; Shekoufeh Kolahdouz Rahimi (TTC@STAF, 2017)

Solving the State Elimination Case Study Using Epsilon. - Mohammadreza Sharbaf; Shekoufeh Kolahdouz Rahimi; Bahman Zamani (TTC@STAF, 2017)

Automatic Pattern Proposition in Transformation Life Cycle. - Mahsa Sadat Panahandeh; Bahman Zamani (Int. J. Inf. Technol. Syst. Approach, 2017)

An automatic test case generator for evaluating implementation of access control policies. - Marzieh Safarzadeh; Mahboubeh Taghizadeh; Bahman Zamani; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2017)

A model-based framework for automatic generation of a pattern language verifier. - Alireza Rouhi; Bahman Zamani (Softw. Pract. Exp., 2017)

Solving the Quality-based Software-Selection and Hardware-Mapping Problem with ACO. - Samaneh Hoseindoost; Meysam Karimi; Shekoufeh Kolahdouz Rahimi; Bahman Zamani (TTC@STAF, 2018)

A Domain Specific Modeling Language for Enterprise Application Development. - Bahman Zamani; Shiva Rasoulzadeh (Int. J. Inf. Technol. Syst. Approach, 2018)

EVL+Strace: a novel bidirectional model transformation approach. - Leila Samimi-Dehkordi; Bahman Zamani; Shekoufeh Kolahdouz Rahimi (Inf. Softw. Technol., 2018)

Model execution tracing: a systematic mapping study. - Fazilat Hojaji; Tanja Mayerhofer; Bahman Zamani; Abdelwahab Hamou-Lhadj; Erwan Bousse (Softw. Syst. Model., 2019)

A model-driven framework for developing multi-agent systems in emergency response environments. - Samaneh Hoseindoost; Tahereh Adamzadeh; Bahman Zamani; Afsaneh Fatemi (Softw. Syst. Model., 2019)

VAnDroid: A framework for vulnerability analysis of Android applications using a model-driven reverse engineering technique. - Atefeh Nirumand; Bahman Zamani; Behrouz Tork Ladani (Softw. Pract. Exp., 2019)

Code4Bench: A multidimensional benchmark of Codeforces data for different program analysis techniques. - Amirabbas Majd; Mojtaba Vahidi-Asl; Alireza Khalilian 001; Ahmad Baraani-Dastjerdi; Bahman Zamani (J. Comput. Lang., 2019)

Leveraging product line engineering for the development of domain-specific metamodeling languages. - Leila Samimi-Dehkordi; Bahman Zamani; Shekoufeh Kolahdouz Rahimi (J. Comput. Lang., 2019)

Enhancing Monkey to trigger malicious payloads in Android malware. - Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (ISCISC, 2020)

A Formalism for Specifying Model Merging Conflicts. - Mohammadreza Sharbaf; Bahman Zamani; Gerson Sunyé (SAM, 2020)

CaaSSET: A Framework for Model-Driven Development of Context as a Service. - Hossein Moradi; Bahman Zamani; Kamran Zamanifar (Future Gener. Comput. Syst., 2020)

SEET: Symbolic Execution of ETL Transformations. - Banafsheh Azizi; Bahman Zamani; Shekoufeh Kolahdouz Rahimi (J. Syst. Softw., 2020)

Lossless compaction of model execution traces. - Fazilat Hojaji; Bahman Zamani; Abdelwahab Hamou-Lhadj; Tanja Mayerhofer; Erwan Bousse (Softw. Syst. Model., 2020)

Configurable three-way model merging. - Mohammadreza Sharbaf; Bahman Zamani (Softw. Pract. Exp., 2020)

APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools. - Alireza Khalilian 001; Ahmad Baraani-Dastjerdi; Bahman Zamani (J. Comput. Lang., 2020)

A machine learning approach for detecting and categorizing evasion sources in Android malware. - Hasan Deeb; Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (ISCISC, 2021)

Towards Personalized Change Propagation for Collaborative Modeling. - Mohammadreza Sharbaf; Bahman Zamani; Gerson Sunyé (MoDELS (Companion), 2021)

ALBA: a model-driven framework for the automatic generation of android location-based apps. - Mohammadali Gharaat; Mohammadreza Sharbaf; Bahman Zamani; Abdelwahab Hamou-Lhadj (Autom. Softw. Eng., 2021)

CGenProg: Adaptation of cartesian genetic programming with migration and opposite guesses for automatic repair of software regression faults. - Alireza Khalilian 001; Ahmad Baraani-Dastjerdi; Bahman Zamani (Expert Syst. Appl., 2021)

MEGDroid: A model-driven event generation framework for dynamic android malware analysis. - Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (Inf. Softw. Technol., 2021)

Curious-Monkey: Evolved Monkey for Triggering Malicious Payloads in Android Malware. - Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (ISC Int. J. Inf. Secur., 2021)

MUPPIT: a method for using proper patterns in model transformations. - Mahsa Panahandeh; Mohammad Hamdaqa; Bahman Zamani; Abdelwahab Hamou-Lhadj (Softw. Syst. Model., 2021)

Android malware dynamic evasions. - Hayyan Hasan; Hasan Deeb; Behrouz Tork Ladani; Bahman Zamani (IEEE DataPort, 2021)

Automatic Generation of Business Intelligence Chatbot for Organizations. - Mahdi Banisharif; Arman Mazloumzadeh; Mohammadreza Sharbaf; Bahman Zamani (CSICC, 2022)

Towards a Formalism for Specifying N-way Model Merging Rules. - Mohammad-Sajad Kasaei; Mohammadreza Sharbaf; Bahman Zamani (CSICC, 2022)

A Model-Based Approach for Representing Data Sharing Mechanism in Android Applications. - Atefeh Nirumand; Bahman Zamani; Behrouz Tork Ladani (CSICC, 2022)

HealMA: a model-driven framework for automatic generation of IoT-based Android health monitoring applications. - Maryam Mehrabi; Bahman Zamani; Abdelwahab Hamou-Lhadj (Autom. Softw. Eng., 2022)

Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. - Amirhosein Sayyadabdi; Behrouz Tork Ladani; Bahman Zamani (ISC Int. J. Inf. Secur., 2022)

Automatic resolution of model merging conflicts using quality-based reinforcement learning. - Mohammadreza Sharbaf; Bahman Zamani; Gerson Sunyé (J. Comput. Lang., 2022)

An Ontology-based Approach to Facilitate Semantic Interoperability of Context-Aware Systems. - Hamed Barangi; Shekoufeh Kolahdouz Rahimi; Bahman Zamani; Hossein Moradi (CSICC, 2023)

Leveraging Model Driven Techniques for Designing Web-GIS Systems. - Zohreh Hashemian; Bahman Zamani; Mansour Adibi (CSICC, 2023)

Conflict management techniques for model merging: a systematic mapping review. - Mohammadreza Sharbaf; Bahman Zamani; Gerson Sunyé (Softw. Syst. Model., 2023)

A model-based framework for inter-app Vulnerability analysis of Android applications. - Atefeh Nirumand; Bahman Zamani; Behrouz Tork Ladani; Jacques Klein; Tegawendé F. Bissyandé (Softw. Pract. Exp., 2023)

Maaker: A framework for detecting and defeating evasion techniques in Android malware. - Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (J. Inf. Secur. Appl., 2023)

An executable domain-specific modeling language for simulating organizational auction-based coordination strategies for crisis response. - Samaneh Hoseindoost; Afsaneh Fatemi; Bahman Zamani (Simul. Model. Pract. Theory, 2024)

A comprehensive framework for inter-app ICC security analysis of Android apps. - Atefeh Nirumand; Bahman Zamani; Behrouz Tork Ladani (Autom. Softw. Eng., 2024)

RAIDAD: A model-driven framework for automated and agile development of IoT data analysis software. - Mohsen Gholami; Bahman Zamani; Behrouz Shahgholi Ghahfarokhi (Inf. Softw. Technol., 2025)

CoMPers: A configurable conflict management framework for personalized collaborative modeling. - Mohammadreza Sharbaf; Bahman Zamani; Gerson Sunyé (J. Syst. Softw., 2025)