Research Interests

• Formal methods in Software Engineering, Model Checking and Reduction Techniques, AI in Software Enginnering, Automata Learning of Complex Systems, Modeling and Verification of Distributed and Concurrent Systems, Process algebra, Software Testing.

Professional Activities

• Current:  Coordination 2026 (PC co-chair)
• Past:   FormaliSE 2025 (PC),   EXPRESS/SOS 2024 (PC),  TAP 2024 (PC),  FORTE 2022, 2023 (PC),  FACS 2021, 2022, 2023,2024 (PC),  FM 2019, 2021 (PC),  FSEN 2011,2013,2015,2017,2019, 2021, 2023, 2025 (PC),  COORDINATION 2019,2020,2021, 2022 (PC),  RTEST 2018 (Publication chair), 2022, 2024 (PC),  TTCS 2015, 2017 (PC),  iFMCloud 2016 (PC),  JCSE (Editor Assitant).

Projects

• Performance Analysis of Embeded System Designs, Crouse Co., 2023-2024
• Formal Verification of Embeded System Designs, Crouse Co., 2020-2021
• Smart Environment in Collaboration with VLSI Lab
• Systematic Testing of a Faminly of Thermostats in Collaboration with VLSI Lab
• Formal Specification of MANETs using Process Algebra - RBPT
• Model Checking MANETs - CACTL Checker (the source code at github )
• Efficient Modeling of MANETs - wRebeca

Publications

• Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasi, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, and Marjan Sirjani, Reachability analysis of Hybrid Rebeca models, Journal of Systems Architecture, Vol. 167, 2025
• Negar Kashef, Fatemeh Ghassemi, Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning, Proc. FSEN,LNCS 15593, pp. 80-96, 2025
• Zahra Moezkarimi, Fatemeh Ghassemi, Efficient analysis of belief properties in process algebra. J. Log. Algebraic Methods Program. Vol. 141, 2024
• Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, An encrypted traffic classifier via combination of deep learning and automata learning, Soft Comput. Vol. 28, No. 23, pp. 13443-13460, 2024
• Mahdi Farzandway and Fatemeh Ghassemi, "SpecNLP: A Pre-trained Model Enhanced with Spectrum Profile for Bug Localization", Proc. IEEE International Conference on Artificial Intelligence Testing, pp. 81-86, IEEE, 2024
• Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, and Marjan Sirjani, "Actors Upgraded for Variability, Adaptability, and Determinism", Active Object Languages: Current Research Trends, 2024: 226-260
• M. Samadi, F. Ghassemi, and R. Khosravi, Decentralized Deadlock-Free Enforcement of Message Orderings in Message-Based Systems, Journal of Computer and System Sciences, Vol. 144, 2024
• S. Riahi, R. Khosravi, and F. Ghassemi, Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model, J. Univers. Comput. Sci. Vol. 30, No. 4, pp. 462-501, 2024
• F. Marzani, F. Ghassemi, Z. Sabahi, T. van Ede, and M. van Steen, "Mobile App Fingerprinting Through Automata Learning and Machine Learning", Proc. IFIP Networking Conference, pp. 1-9, IEEE, 2023
• F. Ghassemi, M. Sirjani, E. Khamespanah, and M. Mirani, H. Hojjat, "Transparent Actor Model", Proc. 11th International Conference on Formal Methods in Software Engineering – FormaliSE’ 23, pp. 97-107, IEEE, 2023
• M. Samadi, F. Ghassemi, and R. Khosravi, "Decentralized Runtime Verification of Message Sequences in Message-Based Systems", Acta Informatica, Vol. 60, No. 2, pp. 145-178, 2023
• M Zarneshan, F. Ghassemi, E. Khamespanah, M. Sirjani, and J. Hatcliff, "Specification and Verification of Timing Properties in Interoperable Medical Systems", Logical Methods in Computer Science, Vol. 18, No. 2, pp. 13:1-13:37, 2022.
• Z. Moezkarimi, F. Ghassemi, and MR Mousavi, "A Policy-Aware Epistemic Framework for Social Networks", Journal of Logic and Computation, 2022.
• I. Jahandideh, F. Ghassemi, and M. Sirjani, "An actor-based framework for asynchronous event-based cyber-physical systems", Software and Systems Modeling, Vol. 20, No. 3, pp.641-665, 2021.
• M. Samadi, F. Ghassemi, and R. Khosravi, "Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems", Proc. 24th International Conference on Principles of Distributed Systems, Vol. 184, LIPIcs, pp.21:1-21:18, 2021.
• Z. Sabahi, F. Ghassemi, and Z. Alimadadi, "Combining Machine and Automata Learning for Network Traffic Classification", Proc. Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science – TTCS’20, LNCS 122814, pp.1-15, Springer, 2020.
• M. Zarneshan, F. Ghassemi, and M. Sirjani, "Formal Modeling and Analysis of Medical Systems", Proc. 22nd International Conference on Coordination Models and Language – COORD’20, LNCS 12134, pp.386-402, Springer, 2020.
• M. Sirjani, E. Khamespanah, and F. Ghassemi, "Reactive Actors: Isolation for Efficient Analysis of Distributed Systems", Proc. IEEE/ACM 23rd International symbosium on Distributed Simulation and Real Time Applications, pp.1-10, 2019.
• A. Shamsaie, H. Habibi, E. Abdi, and F. Ghassemi, "RUbIn: A framework for reliable and ubiquitous inference in WSNs", Scientia Iranica, Vol. 26, No. 6, pp.3520-3555, 2019.
• S. Sabahi and F. Ghassemi, "Behavioral Model Identification and Classification of Multi-component Systems", Science of Computer Programming, Vol. 177, pp.41-66, 2019.
• R. Abbasi, F. Ghassemi, and R. Khosravi, "Verification of Asynchronous Systems with an Unspecified Component", Acta Informatica, Vol. 56, No. 2, pp. 161-203, 2019.
• F. Ghassemi and W. Fokkink, "Reliable Restricted Process Theory", Fundamenta Informaticae, Vol. 165, No. 1, pp. 1-41, 2019.
• I. Jahandideh, F. Ghassemi, and M. Sirjani, "Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems", Accepted in Model-Based Design of Cyber Physical Systems, 2018.
• F. Ghassemi, "Verification of Mobile Ad hoc Network Processes with Data", The CSI Journal on Computer Science and Engineering, Vol. 15, No. 2, pp. 44-52, 2018.
• M. Sirjani, F. Ghassemi, and B. Pourvatan, "Reo Connectors and Components as Tagged Signal Models", It's All About Coordination, LNCS 10865, pp. 160-173, Springer, 2018.
• B. Yousefi, F. Ghassemi, and R. Khosravi, "Modeling and Efficient Verification of Wireless Ad hoc Networks", Formal Aspects of Computing, Vol. 29, No. 6, pp. 1051-1086, 2017.
• G. Jahandoust and F. Ghassemi, "An Adaptive Sinkhole Aware Algorithm in Wireless Sensor Networks", Ad Hoc Networks, Vol. 59, pp. 24-34, 2017.
• S. Sabahi and F. Ghassemi, "Automatic Transition System Model Identifications for Network Applications from Packet Traces", Proc. 7th Conference on Fundamentals of Software Engineering - FSEN'17, Tehran, LNCS 10522, pp. 212-227, Springer-Verlag, 2017.[Technical Report]
• S. Riahi, R. Khosravi, and F. Ghassemi, "Purpose-based Policy Enforcement in Actor-based Systems", Proc. 7th Conference on Fundamentals of Software Engineering - FSEN'17, Tehran, LNCS 10522, pp. 196-211, Springer-Verlag, 2017.
• F. Ghassemi, and W. Fokkink, "Model Checking Mobile Ad Hoc Networks", Formal Methods in System Design, Vol. 49, No. 3, pp. 59-189, 2016.
• F. Ghassemi, and MR. Mousavi, "Product Line Process Theory", Journal of Logical and Algebraic Methods in Programming ,Vol. 85, No. 1, pp. 200–226, 2016.
• M. Ahmadi, M. Gharib, F. Ghassemi, and A. Movaghar, "Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic", in Proc. of 29th IEEE International Conference on Advanced Information Networking and Applications- AINA' 15, Gwangju, pp. 185-192, IEEE Computer Society, 2015.
• B. Yousefi, F. Ghassemi , and R. Khosravi, "Modeling and Efficient Verification of Broadcasting Actors", in Proc. 6th Conference on Fundamentals of Software Engineering - FSEN'15, Tehran, LNCS 9392, pp. 69-83, Springer-Verlag, 2015.
• F. Ghassemi, S. Ahmadi, W. Fokkink, and A. Movaghar, "Model Checking MANETs with Arbitrary Mobility", in Proc. 5th Conference on Fundamentals of Software Engineering - FSEN'13, Tehran, LNCS 8161, pp. 217-232, Springer-Verlag, 2013.
• SM. Razavian, H. Khani, N. Yazdani, and F. Ghassemi, "An analysis of vendor lock-in problem in cloud storage", in Proc. 3rd International eConference on Computer and Knowledge Engineering (ICCKE) , pp. 331-335, IEEE, 2013.
• F. Ghassemi, W. Fokkink, and A. Movaghar,"Verification of mobile ad hoc networks: An algebraic approach", Theoretical Computer Science, Vol. 412, No. 28, pp. 3262-3282, 2011.
• F. Ghassemi, M. Talebi, A. Movaghar, and Wan Fokkink, "Stochastic Restricted Broadcast Process Theory", in Proc. 8th European Performance Engineering Workshop - EPEW'11, , Borrowdale, LNCS 6977, pp. 72-86, Springer-Verlag, 2011.
• F. Ghassemi, W. Fokkink, and A. Movaghar, "Equational Reasoning on Mobile Ad Hoc Networks", Fundamenta Informaticae, Vol. 105, No. 4, pp. 375-415, 2010.
• F. Ghassemi, A. Movaghar, and W. Fokkink, "Towards Performance Evaluation of Mobile Ad Hoc Network Protocols", in Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10, Braga, pp. 85-92, IEEE Computer Society, 2010.
• F. Ghassemi, W. Fokkink, and A. Movaghar, "Equational Reasoning on Ad Hoc Networks", Proc. 3rd Conference on Fundamentals of Software Engineering - FSEN' 09, LNCS 5961, pp. 113-128, Springer-Verlag, 2009.
• F. Ghassemi, W. Fokkink, and A. Movaghar, "Restricted Broadcast Process Theory", in Proc. 6th Conference on Software Engineering and Formal Methods - SEFM'08, Cape Town, pp. 345-354, IEEE , 2008.
• F. Ghassemi, and A. Movaghar, "Modeling Routing Protocols in Adhoc Networks", in Proc. of 13th International Computer Conference of CSI - CSICC'08, Kish, Vol. 6, pp. 419-426, Springer, 2008.
• A. Ghassempouri, F. Ghassemi, and A. Movaghar, "A New Tool for Model Checking of Probabilistic Constraint Automata", in Proc. 13th International Computer Conference of CSI -CSICC'08, Kish, 2008 (in Persian).
• F. Ghassemi, and A. Movaghar, "Formal Modeling Routing Protocols in Mobile Ad Hoc Networks", CSI Journal on Computer Science and Engineering, Vol. 5, No. 2&4 (b), pp. 46-55, 2007.
• A. Shamsaie, J. Habibi, and F. Ghassemi, "Tierpeer: A Three-Tier Framework for P2P Applications", International Journal of Computer Science and Network Security, Vol. 7, No. 2, pp. 292-301, 2007.
• F. Ghassemi, N. Nematbakhsh, B. Tork Ladani, and M. Sirjani, "Specification and Implementation of Multi-Agent Organizations", in Proc. of the Second International Conference on Web Information Systems and Technologies: Internet Technology, Web Interface and Applications- WEBST'06, Portugal, pp. 447-453, INSTICC Press, 2006.
• F. Ghassemi, N. Nemat-Bakhsh, B. Tork Ladani, and M. Sirjani, "A Formal Model for Coordination Behavior of the Organization in Multi Agent Systems", in Proc. 2nd International Conference on Information & Communication Technologies: from Theory to Applications, Syria, IEEE, 2006.
• F. Ghassemi, N. Nemat-Bakhsh, B. Tork Ladani, and M. Sirjani, "A Formal Model for Organization of Multi-agent Systems", in Proc. the Symposium on Information Technology Development, Esfahan, 2005.
• F. Ghassemi, S. Tasharofi, and Marjan Sirjani, "Automated Mapping of Reo Circuits to Constraint Automata", Electronic Notes in Theoretical Computer Science, Vol. 159: pp. 99-115, 2005 (Best paper Award).