Bahman Zamani

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