Bahman Zamani
Bahman Zamani
Associate Professor of Software Engineering, University of Isfahan
Verified email at eng.ui.ac.ir - Homepage
Title
Cited by
Cited by
Year
EVL+ Strace: a novel bidirectional model transformation approach
L Samimi-Dehkordi, B Zamani, S Kolahdouz-Rahimi
Information and Software Technology 100, 47-72, 2018
162018
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
152019
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
152019
Towards a formal model of patterns and pattern languages
A Rouhi, B Zamani
Information and Software Technology 79, 1-16, 2016
142016
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
122019
On verifying the use of a pattern language in model driven design
B Zamani
Concordia University, 2009
102009
Pattern language verification in model driven design
B Zamani, G Butler
Information Sciences 237, 343-355, 2013
92013
Programming language criteria for model transformation evaluation
L Samimi-Dehkordi, A Khalilian, B Zamani
2014 4th International Conference on Computer and Knowledge Engineering …, 2014
82014
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
72020
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
72019
Contract Verification of ETL Transformations
B Azizi, B Zamani, S Kolahdouz-Rahimi
Computer and Knowledge Engineering (ICCKE), 2017 7th International Conference on, 2017
72017
Bidirectional Model Transformation Approaches
L Samimi-Dehkordi, B Zamani, S Kolahdouz-Rahimi
2016 6th International Conference on Computer and Knowledge Engineering …, 2016
72016
Tool support for pattern selection and use
B Zamani, G Butler, S Kayhani
Electronic Notes in Theoretical Computer Science 233, 127-142, 2009
72009
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
52021
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
52019
Solving the Families to Persons Case using EVL+ Strace
L Samimi-Dehkordi, B Zamani, S Kolahdouz-Rahimi
Transformation Tool Contest (TTC2017), 2017
52017
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
52016
Design patterns: current challenges, trends, and research directions
A Rouhi, B Zamani
Technical Report UI-SE-MDSERG-2015-02, Model-Driven Software Engineering …, 2016
52016
Formalizing patterns and pattern languages: a case study approach
A Rouhi, B Zamani
Technical Report, 2015
52015
A modeling language to model mitigation in emergency response environments
T Adamzadeh, B Zamani, A Fatemi
2014 4th International Conference on Computer and Knowledge Engineering …, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20