Zeynab Sabahi-Kaviani

According to our database1, Zeynab Sabahi-Kaviani authored at least 10 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An encrypted traffic classifier via combination of deep learning and automata learning.
Soft Comput., December, 2024

2023
Mobile App Fingerprinting through Automata Learning and Machine Learning.
Proceedings of the IFIP Networking Conference, 2023

2020
Combining Machine and Automata Learning for Network Traffic Classification.
Proceedings of the Topics in Theoretical Computer Science, 2020

2019
Behavioral model identification and classification of multi-component systems.
Sci. Comput. Program., 2019

2017
Automatic Transition System Model Identification for Network Applications from Packet Traces.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2015
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.
Sci. Comput. Program., 2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.
Sci. Comput. Program., 2015

State Distribution Policy for Distributed Model Checking of Actor Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

2013
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.
Proceedings of the 2nd edition on Programming systems, 2012


  Loading...