Zeynab Sabahi-Kaviani

According to our database, Zeynab Sabahi-Kaviani authored at least 9 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Mobile App Fingerprinting through Automata Learning and Machine Learning.

Fatemeh Marzani, Fatemeh Ghassemi, Zeynab Sabahi-Kaviani, Thijs van Ede, Maarten van Steen

Proceedings of the IFIP Networking Conference, 2023

2020

Combining Machine and Automata Learning for Network Traffic Classification.

Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi

Proceedings of the Topics in Theoretical Computer Science, 2020

2019

Behavioral model identification and classification of multi-component systems.

Zeynab Sabahi-Kaviani, Fatemeh Ghassemi

Sci. Comput. Program., 2019

2017

Automatic Transition System Model Identification for Network Applications from Packet Traces.

Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

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

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

State Distribution Policy for Distributed Model Checking of Actor Models.

Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi

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

2013

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.

Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.

Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi

Proceedings of the 2nd edition on Programming systems, 2012