Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. - Ehsan Khamespanah; Zeynab Sabahi-Kaviani; Ramtin Khosravi; Marjan Sirjani; Mohammad-Javad Izadi (AGERE!@SPLASH, 2012)

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. - Zeynab Sabahi-Kaviani; Ramtin Khosravi; Marjan Sirjani; Peter Csaba Ölveczky; Ehsan Khamespanah (FTSCS, 2013)

State Distribution Policy for Distributed Model Checking of Actor Models. - Ehsan Khamespanah; Marjan Sirjani; Mohammad Reza Mousavi 001; Zeynab Sabahi-Kaviani; Mohamadreza Razzazi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. - Ehsan Khamespanah; Marjan Sirjani; Zeynab Sabahi-Kaviani; Ramtin Khosravi; Mohammad-Javad Izadi (Sci. Comput. Program., 2015)

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. - Zeynab Sabahi-Kaviani; Ramtin Khosravi; Peter Csaba Ölveczky; Ehsan Khamespanah; Marjan Sirjani (Sci. Comput. Program., 2015)

Automatic Transition System Model Identification for Network Applications from Packet Traces. - Zeynab Sabahi-Kaviani; Fatemeh Ghassemi; Fateme Bajelan (FSEN, 2017)

Behavioral model identification and classification of multi-component systems. - Zeynab Sabahi-Kaviani; Fatemeh Ghassemi (Sci. Comput. Program., 2019)

Combining Machine and Automata Learning for Network Traffic Classification. - Zeynab Sabahi-Kaviani; Fatemeh Ghassemi; Zahra Alimadadi (TTCS, 2020)

Mobile App Fingerprinting through Automata Learning and Machine Learning. - Fatemeh Marzani; Fatemeh Ghassemi; Zeynab Sabahi-Kaviani; Thijs van Ede; Maarten van Steen (IFIP Networking, 2023)

An encrypted traffic classifier via combination of deep learning and automata learning. - Zeynab Sabahi-Kaviani; Fatemeh Ghassemi (Soft Comput., 2024)