Bahman Zamani

According to our database, Bahman Zamani authored at least 46 papers between 2008 and 2024.

Collaborative distances:

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

2024

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, February, 2024

2023

Maaker: A framework for detecting and defeating evasion techniques in Android malware.

Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani

J. Inf. Secur. Appl., November, 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., April, 2023

Conflict management techniques for model merging: a systematic mapping review.

Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé

Softw. Syst. Model., 2023

Leveraging Model Driven Techniques for Designing Web-GIS Systems.

Zohreh Hashemian, Bahman Zamani, Mansour Adibi

Proceedings of the 28th International Computer Conference, Computer Society of Iran, 2023

An Ontology-based Approach to Facilitate Semantic Interoperability of Context-Aware Systems.

Hamed Barangi, Shekoufeh Kolahdouz Rahimi, Bahman Zamani, Hossein Moradi

Proceedings of the 28th International Computer Conference, Computer Society of Iran, 2023

2022

Automatic resolution of model merging conflicts using quality-based reinforcement learning.

Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé

J. Comput. Lang., 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

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

A Model-Based Approach for Representing Data Sharing Mechanism in Android Applications.

Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani

Proceedings of the 27th International Computer Conference, Computer Society of Iran, 2022

Towards a Formalism for Specifying N-way Model Merging Rules.

Mohammad-Sajad Kasaei, Mohammadreza Sharbaf, Bahman Zamani

Proceedings of the 27th International Computer Conference, Computer Society of Iran, 2022

Automatic Generation of Business Intelligence Chatbot for Organizations.

Mahdi Banisharif, Arman Mazloumzadeh, Mohammadreza Sharbaf, Bahman Zamani

Proceedings of the 27th International Computer Conference, Computer Society of Iran, 2022

2021

Android malware dynamic evasions.

Hayyan Hasan, Hasan Deeb, Behrouz Tork Ladani, Bahman Zamani

Dataset, June, 2021

MUPPIT: a method for using proper patterns in model transformations.

Mahsa Panahandeh, Mohammad Hamdaqa, Bahman Zamani, Abdelwahab Hamou-Lhadj

Softw. Syst. Model., 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

MEGDroid: A model-driven event generation framework for dynamic android malware analysis.

Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani

Inf. Softw. Technol., 2021

CGenProg: Adaptation of cartesian genetic programming with migration and opposite guesses for automatic repair of software regression faults.

Alireza Khalilian, Ahmad Baraani-Dastjerdi, Bahman Zamani

Expert Syst. Appl., 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

Towards Personalized Change Propagation for Collaborative Modeling.

Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

A machine learning approach for detecting and categorizing evasion sources in Android malware.

Hasan Deeb, Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani

Proceedings of the 18th International ISC Conference on Information Security and Cryptology, 2021

2020

APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools.

Alireza Khalilian, Ahmad Baraani-Dastjerdi, Bahman Zamani

J. Comput. Lang., 2020

Configurable three-way model merging.

Mohammadreza Sharbaf, Bahman Zamani

Softw. Pract. Exp., 2020

Lossless compaction of model execution traces.

Fazilat Hojaji, Bahman Zamani, Abdelwahab Hamou-Lhadj, Tanja Mayerhofer, Erwan Bousse

Softw. Syst. Model., 2020

SEET: Symbolic Execution of ETL Transformations.

Banafsheh Azizi, Bahman Zamani, Shekoufeh Kolahdouz Rahimi

J. Syst. Softw., 2020

CaaSSET: A Framework for Model-Driven Development of Context as a Service.

Hossein Moradi, Bahman Zamani, Kamran Zamanifar

Future Gener. Comput. Syst., 2020

A Formalism for Specifying Model Merging Conflicts.

Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé

Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

Enhancing Monkey to trigger malicious payloads in Android malware.

Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani

Proceedings of the 17th International ISC Conference on Information Security and Cryptology, 2020

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

Code4Bench: A multidimensional benchmark of Codeforces data for different program analysis techniques.

Amirabbas Majd, Mojtaba Vahidi-Asl, Alireza Khalilian, Ahmad Baraani-Dastjerdi, Bahman Zamani

J. Comput. Lang., 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

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

Model execution tracing: a systematic mapping study.

Fazilat Hojaji, Tanja Mayerhofer, Bahman Zamani, Abdelwahab Hamou-Lhadj, Erwan Bousse

Softw. Syst. Model., 2019

2018

EVL+Strace: a novel bidirectional model transformation approach.

Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz Rahimi

Inf. Softw. Technol., 2018

A Domain Specific Modeling Language for Enterprise Application Development.

Bahman Zamani, Shiva Rasoulzadeh

Int. J. Inf. Technol. Syst. Approach, 2018

Solving the Quality-based Software-Selection and Hardware-Mapping Problem with ACO.

Samaneh Hoseindoost, Meysam Karimi, Shekoufeh Kolahdouz Rahimi, Bahman Zamani

Proceedings of the 11th Transformation Tool Contest, 2018

2017

A model-based framework for automatic generation of a pattern language verifier.

Alireza Rouhi, Bahman Zamani

Softw. Pract. Exp., 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

Automatic Pattern Proposition in Transformation Life Cycle.

Mahsa Sadat Panahandeh, Bahman Zamani

Int. J. Inf. Technol. Syst. Approach, 2017

Solving the State Elimination Case Study Using Epsilon.

Mohammadreza Sharbaf, Shekoufeh Kolahdouz Rahimi, Bahman Zamani

Proceedings of the 10th Transformation Tool Contest (TTC 2017), 2017

Solving the Families to Persons Case Using EVL+Strace.

Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz Rahimi

Proceedings of the 10th Transformation Tool Contest (TTC 2017), 2017

2016

Towards a formal model of patterns and pattern languages.

Alireza Rouhi, Bahman Zamani

Inf. Softw. Technol., 2016

Applying Programming Language Evaluation Criteria for Model Transformation Languages.

Leila Samimi-Dehkordi, Alireza Khalilian, Bahman Zamani

Int. J. Softw. Informatics, 2016

2013

Pattern Language Verification in Model Driven Design.

Bahman Zamani, Greg Butler

Inf. Sci., 2013

2009

Describing Pattern Languages for Checking Design Models.

Bahman Zamani, Greg Butler

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Tool Support for Pattern Selection and Use.

Bahman Zamani, Greg Butler, Sahar Kayhani

Proceedings of the International Workshop on Software Quality and Maintainability, 2008

A Pattern Language Verifier for Web-Based Enterprise Applications.

Bahman Zamani, Sahar Kayhani, Greg Butler

Proceedings of the Model Driven Engineering Languages and Systems, 2008