فاطمه قاسمی اصفهانی

1. Estimating Energy Wastage in Embedded Systems Using Model Checking of Timed Automata

Shabani Peyman، Ghassemi Esfahani Fatemeh، Kargahi Mehdi (2024)., CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory), 16-17 October, Tehran, Iran.

2. An Encrypted Traffic Classifier via Combination of Deep Learning and Automata Learning

Sabahi Kaviani Zeynab، Ghassemi Esfahani Fatemeh (2024)., soft computing, 29(11).

3. SpecNLP: A Pre-trained Model Enhanced with Spectrum Profile for Bug Localization

Farzandway Mahdi، Ghassemi Esfahani Fatemeh (2024)., The 6th IEEE International Conference on Artificial Intelligence Testing, 15-18 July, Shanghai, China.

4. Efficient analysis of belief properties in process algebra

Moezkarimi Zahra، Ghassemi Esfahani Fatemeh (2024)., Journal of Logical and Algebraic Methods in Programming, 141(-), 101001.

5. Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model

Riahi Shahrzad، Khosravi Ramtin، Ghassemi Esfahani Fatemeh (2024)., JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 30(4), 462-501.

6. Decentralized deadlock-free enforcement of message orderings in message-based systems

Samadi Mahboubeh، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2024)., JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 144(1).

1. Actors Upgraded for Variability, Adaptability, and Determinism

Khosravi Ramtin، Khamespanah Ehsan، Ghassemi Esfahani Fatemeh، Sirjani Marjan (2023)., Fifth International ABS Workshop, 4-6 October, Lyon, France.

3. Mobile App Fingerprinting through Automata Learning and Machine Learning

Marzani Fateme، Ghassemi Esfahani Fatemeh، Sabahi Kaviani Zeynab، van Ede Thijs، van Steen Maarten (2023)., 2023 IFIP International Conference on Networking Conference (IFIP Networking), 12-15 June, Barcelona, Spain.

4. Transparent Actor Model

Ghassemi Esfahani Fatemeh، Sirjani Marjan، Khamespanah Ehsan، Mirani mahrokh، Hojat Hosein (2023)., 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 14-15 May, Melbourne, Australia.

1. Decentralized runtime verification of message sequences in message-based systems

Samadi Mahboubeh، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2022)., ACTA INFORMATICA, 60(2), 145-178.

2. Specification and Verification of Timing Properties in Interoperable Medical Systems

Zarneshan Mahsa، Ghassemi Esfahani Fatemeh، Khamespanah Ehsan، Sirjani Marjan، Hotcliff John (2022)., LOGICAL METHODS IN COMPUTER SCIENCE, 18(2).

3. A Policy-Aware Epistemic Framework for Social Networks

Moezkarimi Zahra، Ghassemi Esfahani Fatemeh، Mousavi Mohammad Reza (2022)., JOURNAL OF LOGIC AND COMPUTATION, 1(1), 1-38.

1. An actor-based framework for asynchronous event-based cyber-physical systems

Jahandideh Iman، Ghassemi Esfahani Fatemeh، Sirjani Marjan (2021)., SOFTWARE AND SYSTEMS MODELING, 1(1).

1. Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems

Samadi Mahboubeh، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2020)., 24th International Conference on Principles of Distributed Systems, 14-16 December, Strasbourg, France.

2. Combining Machine and Automata Learning for Network Traffic Classification

Sabahi Kaviani Zeynab، Ghassemi Esfahani Fatemeh، Alimadadi Zahra (2020)., The Third IFIP International Conference on Topics in Theoretical Computer Science, 1-2 July, Tehran, Iran.

3. Formal Modeling and Analysis of Medical Systems

Zarneshan Mahsa، Ghassemi Esfahani Fatemeh، Sirjani Marjan (2020)., 22nd International Conference on Coordination Models and Languages, 25-30 June, Valletta, Malta.

1. Reactive Actors: Isolation for Efficient Analysis of Distributed Systems

Sirjani Marjan، Khamespanah Ehsan، Ghassemi Esfahani Fatemeh (2019)., 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 7-9 October, Cosenza, Italy.

2. Behavioral model identification and classification of multi-component systems

Sabahi Kaviani Zeynab، Ghassemi Esfahani Fatemeh (2019)., SCIENCE OF COMPUTER PROGRAMMING, 177(1), 41-66.

3. RUbIn: A Framework for Reliable and Ubiquitous Inference in WSNs

Shamsaie Abolhassan، Habibi Jafar، Abdi Erfan، Ghassemi Esfahani Fatemeh (2019)., Scientia Iranica, 26-27(1), 1-22.

1. Reliable Restricted Process Theory

Ghassemi Esfahani Fatemeh، Wan Fokkink (2019)., FUNDAMENTA INFORMATICAE, 165(1), 1-41.

2. Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

Jahandideh Iman، Ghassemi Esfahani Fatemeh، Sirjani Marjan (2018)., 8th International Workshop on Model-Based Design of Cyber Physical Systems (cyphy2018), 4-5 October, Toronto, Italy.

3. Verification of Mobile Ad hoc Network Processes with Data

Ghassemi Esfahani Fatemeh (2018)., The CSI Journal on Computer Science and Engineeringn, 15(2), 44-52.

4. Reo Connectors and Components as Tagged Signal Models

Sirjani Marjan، Ghassemi Esfahani Fatemeh، Pourvatan Bahman (2018)., It s All About Coordination, 7 May, Amsterdam, Netherlands.

1. Verification of asynchronous systems with an unspecified component

Abbasi Boroujeni Rosa، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2018)., ACTA INFORMATICA, 56(1), 1-43.