نام و نامخانوادگی:
فاطمه قاسمی اصفهانی
پست الکترونیک:
مرتبه علمی:
استادیار
آدرس محل کار:
---
دانشکده/گروه:
گروه آموزشی مهندسی کامپیوتر- نرم افزار
تلفن محل کار:
02182084995
نمابر:
---
ادرس وب سایت:
http://fghassemi.adhoc.ir/
تحصیلات
کارشناسی ارشد, 1384, مهندسی کامپیوتر, دانشگاه اصفهان
کارشناسی, 1383, مهندسی کامپیوتر, دانشگاه تهران
دکتری, 1390, مهندسی کامپیوتر, صنعتی شریف
کتاب های غیر از تالیف و ترجمه
Mahsa Zarneshan, Fatemeh Ghassemi Esfahani, and Marjan Sirjani. "None." : Springer, 2020.
مقالات چاپ شده در نشریات بینالمللی
Fatemeh Ghassemi Esfahani, Wan Fokkink , and Ali Movaghar . "Equational Reasoning on Mobile Ad Hoc Networks." FUNDAMENTA INFORMATICAE 105, no. 4 (2010): 375-415.
Fatemeh Ghassemi Esfahani, and Seyed Mohammad Reza Mousavi. "Product Line Process Theory." Journal of Logical and Algebraic Methods in Programming 85, no. 1 (2015): 200--226.
Fatemeh Ghassemi Esfahani, and . "Model checking mobile ad hoc networks." FORMAL METHODS IN SYSTEM DESIGN 48, no. 1-2 (2016): 1-31.
Behnaz Yousefi, Fatemeh Ghassemi Esfahani, and Ramtin Khosravi. "Modeling and efficient verification of wireless ad hoc networks." FORMAL ASPECTS OF COMPUTING 30, no. 2 (2017): 1-36.
Ghazaleh Jahandoust, and Fatemeh Ghassemi Esfahani. "An adaptive sinkhole aware algorithm in wireless sensor networks." Ad Hoc Networks 59, no. 1 (2017): 24-34.
Rosa Abbasi Boroujeni, Fatemeh Ghassemi Esfahani, and Ramtin Khosravi. "Verification of asynchronous systems with an unspecified component." ACTA INFORMATICA 56, no. 1 (2018): 1-43.
Fatemeh Ghassemi Esfahani, and . "Reliable Restricted Process Theory." FUNDAMENTA INFORMATICAE 165, no. 1 (2019): 1-41.
Abolhassan Shamsaie, Jafar Habibi, Erfan Abdi, and Fatemeh Ghassemi Esfahani. "RUbIn: A Framework for Reliable and Ubiquitous Inference in WSNs." Scientia Iranica 26-27, no. 1 (2019): 1-22.
Zeynab Sabahi Kaviani, and Fatemeh Ghassemi Esfahani. "Behavioral model identification and classification of multi-component systems." SCIENCE OF COMPUTER PROGRAMMING 177, no. 1 (2019): 41-66.
Iman Jahandideh, Fatemeh Ghassemi Esfahani, and Marjan Sirjani. "An actor-based framework for asynchronous event-based cyber-physical systems." Software and Systems Modeling 1, no. 1 (2021): .
Zahra Moezkarimi, Fatemeh Ghassemi Esfahani, and Mohammad Reza Mousavi. "A Policy-Aware Epistemic Framework for Social Networks." JOURNAL OF LOGIC AND COMPUTATION 1, no. 1 (2022): 1-38.
Mahsa Zarneshan, Fatemeh Ghassemi Esfahani, Ehsan Khamespanah, Marjan Sirjani, and John Hotcliff. "Specification and Verification of Timing Properties in Interoperable Medical Systems." Logical Methods in Computer Science 18, no. 2 (2022): .
Mahboubeh Samadi, Fatemeh Ghassemi Esfahani, and Ramtin Khosravi. "Decentralized runtime verification of message sequences in message-based systems." ACTA INFORMATICA 60, no. 2 (2022): 145-178.
مقالات چاپ شده در نشریات داخلی
Fatemeh Ghassemi Esfahani, and Ali Movaghar . "Formal Modeling Routing Protocols in Mobile Ad-hoc Networks." The CSI Journal on Computer Science and Engineeringn 5, no. 24 (2008): 46-55.
Fatemeh Ghassemi Esfahani. "Verification of Mobile Ad hoc Network Processes with Data." The CSI Journal on Computer Science and Engineeringn 15, no. 2 (2018): 44-52.
همایشهای بینالمللی
Fatemeh Ghassemi Esfahani, , , and . "Stochastic Restricted Broadcast Process Theory." 8th European Performance Engineering Workshop-EPEW11,.
Fatemeh Ghassemi Esfahani, , , and . "Model checking MANETs with arbitrary mobility." 5th International Conference on Fundamentals of Software Engineering-FSEN13, Tehran.
Majid Razavian, Hadi Khani, Naser Yazdani, and Fatemeh Ghassemi Esfahani. "An Analysis of Vendor Lock-in Problem in Cloud Storage." International Conference on Computer and Knowledge Eng. 2013, Mashhad.
, Mohammad Gharib, Fatemeh Ghassemi Esfahani, and . "Probabilistic Key Pre-distribution for Heterogeneous Mobile Ad hoc Networks Using Subjective Logic." The 29th IEEE International Conference on Advanced Information Networking and Applications,.
Zeynab Sabahi Kaviani, Fatemeh Ghassemi Esfahani, and Fateme Bajelan. "Automatic Transition System Model Identifications for Network Applications from Packet Traces." 7th International Conference on Fundamentals of Software Engineering, Tehran.
Shahrzad Riahi, Ramtin Khosravi, and Fatemeh Ghassemi Esfahani. "Purpose-based Policy Enforcement in Actor-based Systems." 7th International Conference on Fundamentals of Software Engineering, Tehran.
Marjan Sirjani, Fatemeh Ghassemi Esfahani, and Bahman Pourvatan. "Reo Connectors and Components as Tagged Signal Models." It s All About Coordination, Amsterdam.
Iman Jahandideh, Fatemeh Ghassemi Esfahani, and Marjan Sirjani. "Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems." 8th International Workshop on Model-Based Design of Cyber Physical Systems (cyphy2018), Torino.
Marjan Sirjani, Ehsan Khamespanah, and Fatemeh Ghassemi Esfahani. "Reactive Actors: Isolation for Efficient Analysis of Distributed Systems." 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT),.
Zeynab Sabahi Kaviani, Fatemeh Ghassemi Esfahani, and Zahra Alimadadi. "Combining Machine and Automata Learning for Network Traffic Classification." The Third IFIP International Conference on Topics in Theoretical Computer Science, Tehran.
Mahboubeh Samadi, Fatemeh Ghassemi Esfahani, and Ramtin Khosravi. "Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems." 24th International Conference on Principles of Distributed Systems,.
Fatemeh Ghassemi Esfahani, Marjan Sirjani, Ehsan Khamespanah, mahrokh Mirani, and Hosein Hojat. "Transparent Actor Model." 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), Melbourne.
Fateme Marzani, Fatemeh Ghassemi Esfahani, Zeynab Sabahi Kaviani, Thijs van Ede, and Maarten van Steen. "Mobile App Fingerprinting through Automata Learning and Machine Learning." 2023 IFIP International Conference on Networking Conference (IFIP Networking), Barcelona.
Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani, and Marjan Sirjani. "Actors Upgraded for Variability, Adaptability, and Determinism." Fifth International ABS Workshop, Lyon.
همایشهای داخلی
فاطمه قاسمی اصفهانی. "حرکت به سوی درستیسنجی و اعتبارسنجی قراردادهای ارتباطی برای اینترنت اشیا." سومین کنفرانس ملی شهر سایبری،.
فعالیتهای اجرایی
همکاری در برنامه اراسموس پالس در پروژه "Things of Internet in Engineering of Master "، 1400/03/11، 1400/06/31، ایران، تهران
راهنمایی پایاننامه
مدل سازي و تحليل اكتورها با قابليت همه پخشي، بهناز یوسفی، دانشگاه تهران، 1394/06/09