Bahman Zamani
Bahman Zamani
Associate Professor of Software Engineering, University of Isfahan
Geverifieerd e-mailadres voor eng.ui.ac.ir - Homepage
Geciteerd door
Geciteerd door
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
Model execution tracing: a systematic mapping study
F Hojaji, T Mayerhofer, B Zamani, A Hamou-Lhadj, E Bousse
Software and Systems Modeling 18, 3461-3485, 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
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
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
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, 1985-2012, 2019
Towards a formal model of patterns and pattern languages
A Rouhi, B Zamani
Information and Software Technology 79, 1-16, 2016
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
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-45, 2021
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
Configurable three‐way model merging
M Sharbaf, B Zamani
Software: Practice and Experience 50 (8), 1565-1599, 2020
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
Towards automatic generation of formal specifications for UML consistency verification
M Sharbaf, B Zamani, BT Ladani
2015 2nd International Conference on Knowledge-Based Engineering and …, 2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20