Zeynab Sabahi-Kaviani

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 4

Top Topics

Linear Temporal Logic

Automated Verification

Formal Semantics

Multi Component

Top Venues

Sci. Comput. Program.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

IFIP Networking

Publications

Fatemeh Marzani, Fatemeh Ghassemi, Zeynab Sabahi-Kaviani, Thijs van Ede, Maarten van Steen
Mobile App Fingerprinting through Automata Learning and Machine Learning. IFIP Networking (2023)
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi
Combining Machine and Automata Learning for Network Traffic Classification. TTCS (2020)
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi
Behavioral model identification and classification of multi-component systems. Sci. Comput. Program. 177 (2019)
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan
Automatic Transition System Model Identification for Network Applications from Packet Traces. FSEN (2017)
Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98 (2015)
Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi
State Distribution Policy for Distributed Model Checking of Actor Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. 113 (2015)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS (2013)
Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. AGERE!@SPLASH (2012)