بهمن زمانی
سرپرست گروه
98-31-37934537+
بهمن زمانی مدرک کارشناسی خود را از دانشگاه اصفهان (اصفهان - ايران) در سال 1369 و مدرک کارشناسی‌ارشد خود را از دانشگاه صنعتی شريف (تهران - ايران) در سال 1375 در رشته‌ی مهندسی کامپيوتر (نرم‌افزار) دريافت نموده است. او موفق به اخذ درجه‌ی دکتري در رشته‌ی علوم کامپيوتر از دانشگاه کنکورديا (مونترال - کانادا) در سال 1388 شده است. وی از سال 1376 تا 1382 به‌عنوان عضو هیات علمی پژوهشی در سازمان پژوهش‌های علمی و صنعتی ایران (پژوهشکده اصفهان) مشغول به‌کار بوده است. دکتر زمانی در سال ۱۳۸۸ به‌عنوان استادیار به دانشکده مهندسی کامپیوتر دانشگاه اصفهان پیوست و در سال 1397 به مرتبه دانشیار ارتقاء یافت. زمینه تحقیقاتی دکتر زمانی مهندسی نرم‌افزار مدل‌رانده بوده و وی مؤسس و مدیر گروه پژوهشی به همین نام در دانشگاه اصفهان می‌باشد.بیشتر
پروژه‌ها
کتاب‌ها
- مهندسی نرم‌افزار مدل‌رانده: اصول و مفاهیم
- مهندسی نرم‌افزار شئگرا – یک متدولوژی چابک یکنواخت
- مفاهیم سیستم عامل – نگارش نهم
فیلم‌های آموزشی
مقاله‌های انگلیسی
- Leveraging Model Driven Techniques for Designing Web-GIS Systems
- An Ontology-based Approach to Facilitate Semantic Interoperability of Context-Aware Systems
- A Model-Driven Approach for Automatic Generation of Android Tourism Applications
- A Rule-Based Language for Configurable N-way Model Matching
- A Model-Based Framework for Inter-App Vulnerability Analysis of Android Applications
- Conflict Management Techniques for Model Merging: A Systematic Mapping Review
- HealMA: A Model-Driven Framework for Automatic Generation of IoT-Based Android Health Monitoring Applications
- Automatic resolution of model merging conflicts using quality-based reinforcement learning
- A Model-Based Approach for Representing Data Sharing Mechanism in Android Applications
- Automatic Generation of Business Intelligence Chatbot for Organizations
- Towards a Formalism for Specifying N-way Model Merging Rules
- Incremental Model Transformation with Epsilon in Model-Driven Engineering
- CA-BPEL: A New Approach to Facilitate the Development and Execution of Context-Aware Service Orchestrations
- Automatic Generation of XACML Code using Model-Driven Approach
- A Formalism for Specifying Capability-based Task Allocation in MAS
- Towards Personalized Change Propagation for Collaborative Modeling
- A machine learning approach for detecting and categorizing evasion sources in Android malware
- Model-Driven Software Engineering: A Bibliometric Analysis
- Curious-Monkey: Evolved Monkey for triggering malicious payloads in Android malware
- MEGDroid: A Model-Driven Event Generation Framework for Dynamic Android Malware Analysis
- Applying meta-heuristics algorithms in model-driven approaches for solving the CRA problem
- Modeling Android Security using an Extension of Knowledge Discovery Metamodel
- MUPPIT: A Method for Using Proper Patterns in Model Transformations
- A Novel Approach for Developing Emergency Evacuation Plans
- ALBA: A Model-Driven Framework for the Automatic Generation of Android Location-Based Apps
- A Formalism for Specifying Model Merging Conflicts
- Enhancing Monkey to trigger malicious payloads in Android malware
- A Model-Driven Approach for IoT-Based Monitoring Systems in Industry 4.0
- SEET: Symbolic Execution of ETL Transformations
- Configurable Three-way Model Merging
- CaaSSET: A Framework for Model-Driven Development of Context as a Service
- Lossless Compaction of Model Execution Traces
- Leveraging product line engineering for the development of domain-specific metamodeling languages
- Model execution tracing: a systematic mapping study
- Solving the Quality-based Software-Selection and Hardware-Mapping Problem with ACO
- Test Model Generation Using Equivalence Partitioning
- Towards a Model-Driven Framework for Simulating Interactive Emergency Response Environments
- VAnDroid: A framework for vulnerability analysis of Android applications using a model‐driven reverse engineering technique
- A domain specific modeling language for enterprise application development
- EVL+ Strace: a novel bidirectional model transformation approach
- An automatic test case generator for evaluating implementation of access control policies
- A novel approach for automatic model-based test case generation
- A UML profile for modeling the conflicts in model merging
- Solving the state elimination case study using Epsilon
- Solving the families to persons case using EVL+ Strace
- A model-based framework for automatic generation of a pattern language verifier
- Automatic pattern proposition in transformation life cycle
- A model-driven framework for developing multi-agent systems in emergency response environments
- Contract verification of ETL transformations
- Bidirectional model transformation approaches – a comparative study
- Towards a formal model of patterns and pattern languages
- On the evaluation of automatic program repair techniques and tools
- Towards a tracing framework for model-driven software systems
- Towards automatic generation of formal specifications for UML consistency verification
- From trace-based inter-model validation to bidirectional model synchronization with reconciliation
- Programming language criteria for model transformation evaluation
- A modeling language to model mitigation in emergency response environments
- Pattern language verification in model driven design
- A new model-based test technique using formal specification of software architectures
- Tool support for pattern selection and use
- Describing pattern languages for checking design models
- Smell detection in UML designs which utilize pattern languages
- A pattern language verifier for web-based enterprise applications
- Critiquing the application of pattern languages on UML models
مقاله‌های فارسی
- ارزیابی ابزارهای مدلسازی و شبیهسازی مبتنی بر عامل بر اساس استاندارد ایزو ۲۵۰۱۰
- تشخیص حمله وکیل سرگردان در برنامههای اندرویدی با استفاده از رویکرد مهندسی معکوس مدل‌رانده
- تولید خودکار یک سیستم چندعاملی برای مدیریت بحران به روش مدل‌رانده
- فرآیندی جهت اعمال الگوهای تبدیل در زبان تبدیل ATL
- ارائه الگوریتم ادغام سهطرفه برای مدلهای یوامال بر اساس مفروضات ذهنی طراحان
- ارائهی روشی جدید برای تبدیل مدل دوسویه بر اساس چارچوب اپسیلون و تکنیکهای ردیابیپذیری
- تعمیر خودکار برنامهها: بررسی ادبیات و مرور نظامیافته فنون شاخص
- نمایه یوامال پیشرفته جهت مدلسازی محاسبات ابری
- تبدیل مدل دوسویه بر اساس چارچوب اپسیلون
- یک روش آزمون مدل‌رانده برای تولید خودکار موارد آزمون براساس نمودار توالی
- انتخاب بهترین سرویس با توجه به معیارهای امنیتی با استفاده از روشهای تحلیل سلسله مراتبی و هدف، سوال و اندازهگیری
- بهبود معیار پوشش شرط/تصمیم اصلاحیافته در آزمون نرم‌افزار بهروش مبتنی بر مدل
- ارائهی زبان و ابزاری جهت مدلسازی معماری سیستمهای سازمانی مبتنی بر وب
- فرآیندی برای تشخیص و پیشنهاد خودکار الگوهای تبدیل
- طراحی یک زبان جهت مدلسازی محیطهای واکنش اضطراری
- تولید خودکار موارد آزمون جهت ارزیابی صحت پیادهسازی سیاستهای کنترل دسترسی
- تولید خودکار مدل معماری از مدل نیازمندی در چرخه حیات TransML
- آزمون فاز اکتشافی جهت کشف خطاهای نرمافزاری
- مکانیابی خطاهای چندگانه با استفاده از خوشهبندی مبتنی بر چگالی گزارههای مظنون به خط
- مدیریت سیستمهای عرضه و تقاضا با خوشهبندی جریانی
- توصیه رفاقتی برای بهبود مدیریت اعتماد در شبکههای اقتضایی حمل و نقل
- خودکارسازی تبدیل مدل جهت تسهیل وارسی رفتار پویای سیستم
- استفاده از بررسی مدل در سیستم های کنترل ترافیک: یک کاربرد عملی