Bahman Zamani
Bahman Zamani
Associate Professor of Software Engineering, University of Isfahan
Verified email at - Homepage
Cited by
Cited by
Model execution tracing: a systematic mapping study
F Hojaji, T Mayerhofer, B Zamani, A Hamou-Lhadj, E Bousse
Software and Systems Modeling 18 (6), 3461-3485, 2019
VAnDroid: A framework for vulnerability analysis of Android applications using a model‐driven reverse engineering technique
A Nirumand, B Zamani, B Tork Ladani
Software: Practice and Experience 49 (1), 70-99, 2019
EVL+ Strace: a novel bidirectional model transformation approach
L Samimi-Dehkordi, B Zamani, S Kolahdouz-Rahimi
Information and Software Technology 100, 47-72, 2018
Towards a formal model of patterns and pattern languages
A Rouhi, B Zamani
Information and Software Technology 79, 1-16, 2016
Caasset: A framework for model-driven development of context as a service
H Moradi, B Zamani, K Zamanifar
Future Generation Computer Systems 105, 61-95, 2020
MEGDroid: A model-driven event generation framework for dynamic android malware analysis
H Hasan, BT Ladani, B Zamani
Information and Software Technology 135, 106569, 2021
A model-driven framework for developing multi-agent systems in emergency response environments
S HoseinDoost, T Adamzadeh, B Zamani, A Fatemi
Software & Systems Modeling 18 (3), 1985-2012, 2019
Code4Bench: A multidimensional benchmark of Codeforces data for different program analysis techniques
A Majd, M Vahidi-Asl, A Khalilian, A Baraani-Dastjerdi, B Zamani
Journal of Computer Languages 53, 38-52, 2019
Bidirectional Model Transformation Approaches
L Samimi-Dehkordi, B Zamani, S Kolahdouz-Rahimi
2016 6th International Conference on Computer and Knowledge Engineering …, 2016
Pattern language verification in model driven design
B Zamani, G Butler
Information Sciences 237, 343-355, 2013
On verifying the use of a pattern language in model driven design
B Zamani
Concordia University, 2009
CGenProg: Adaptation of cartesian genetic programming with migration and opposite guesses for automatic repair of software regression faults
A Khalilian, A Baraani-Dastjerdi, B Zamani
Expert Systems with Applications 169, 114503, 2021
Leveraging product line engineering for the development of domain-specific metamodeling languages
L Samimi-Dehkordi, B Zamani, S Kolahdouz-Rahimi
Journal of Computer Languages 51, 193-213, 2019
Contract Verification of ETL Transformations
B Azizi, B Zamani, S Kolahdouz-Rahimi
Computer and Knowledge Engineering (ICCKE), 2017 7th International Conference on, 2017
Programming language criteria for model transformation evaluation
L Samimi-Dehkordi, A Khalilian, B Zamani
2014 4th International Conference on Computer and Knowledge Engineering …, 2014
Tool support for pattern selection and use
B Zamani, G Butler, S Kayhani
Electronic Notes in Theoretical Computer Science 233, 127-142, 2009
ALBA: a model-driven framework for the automatic generation of android location-based apps
M Gharaat, M Sharbaf, B Zamani, A Hamou-Lhadj
Automated Software Engineering 28 (1), 1-45, 2021
An automatic test case generator for evaluating implementation of access control policies
M Safarzadeh, M Taghizadeh, B Zamani, BT Ladani
The ISC International Journal of Information Security (ISeCure) 9 (1), 73-91, 2017
Solving the Families to Persons Case using EVL+ Strace
L Samimi-Dehkordi, B Zamani, S Kolahdouz-Rahimi
Transformation Tool Contest (TTC2017), 2017
An Xtext generated parser to validate the revised and extended GEBNF applications
A Rouhi, B Zamani
Technical Report UI-SE-MDSERG-2015-03, Model-Driven Software Engineering …, 2016
The system can't perform the operation now. Try again later.
Articles 1–20